Lines Matching defs:post
2822 /* append a string of pre and post assertions to a proc
2828 Tcl_Obj *postAss = AssertionList(interp, procs->post);
2848 Tcl_AppendElement(interp, "post");
2870 TclObjListFreeList(procAss->post);
2879 Tcl_Obj *pre, Tcl_Obj *post) {
2886 procs->post = AssertionNewList(interp, post);
3076 result = AssertionCheckList(interp, obj, procs->post, method);
6168 Tcl_AppendElement(interp, "pre"); Tcl_AppendElement(interp, "post");
8789 } else if (!strcmp(cmd, "post")) {
8792 return XOTclObjErrArgCnt(interp, obj->cmdName, "info post <proc>");
8795 if (procs) Tcl_SetObjResult(interp, AssertionList(interp, procs->post));
9812 "check (?all? ?pre? ?post? ?invar? ?instinvar?)");
9833 } else if (strcmp(option, "post") == 0) {
9850 "', valid: all pre post invar instinvar",
11205 } else if (!strcmp(cmdTail, "post")) {
11212 if (procs) Tcl_SetObjResult(interp, AssertionList(interp, procs->post));