- protected void regPostcondition(ConditionKey key, Object value) {\r
- registerQuery(key, value, getCValuePostcondition(), "PostCondition", "Postcondition", "postcondition");\r
- }\r
- protected void registerInlinePostcondition(ConditionKey key, Object value) {\r
- registerInlineQuery(key, value, getCValuePostcondition(), "PostCondition", "Postcondition", "postcondition");\r
- }\r
+ /**\r
+ * IsNotNull(is not null). And OnlyOnceRegistered.\r
+ */\r
+ public void setPostcondition_IsNotNull() { regPostcondition(CK_ISNN, DOBJ); }\r
+\r
+ protected void regPostcondition(ConditionKey k, Object v) { regQ(k, v, getCValuePostcondition(), "PostCondition"); }\r