+
Point of view
NATIVE_JAVA
class ASSERTION
exported features
- tag: TAG_NAME
- expression: EXPRESSION
- comment: COMMENT
- start_position: POSITION
- pretty (indent_level: INTEGER_32)
- short (type: TYPE, h01: STRING, r01: STRING, h02: STRING, r02: STRING, h03: STRING, r03: STRING, h04: STRING, r04: STRING, h05: STRING, r05: STRING, h06: STRING, r06: STRING, h07: STRING, r07: STRING, h08: STRING, r08: STRING, h09: STRING, r09: STRING, h10: STRING, r10: STRING, h11: STRING, r11: STRING, h12: STRING, r12: STRING, h13: STRING, r13: STRING)
- use_current (type: TYPE): BOOLEAN
- compile_to_c (type: TYPE)
- is_always_true: BOOLEAN
- safety_check (type: TYPE)
- accept (visitor: ASSERTION_VISITOR)
short (type:
TYPE, h01:
STRING, r01:
STRING, h02:
STRING, r02:
STRING, h03:
STRING, r03:
STRING, h04:
STRING, r04:
STRING, h05:
STRING, r05:
STRING, h06:
STRING, r06:
STRING, h07:
STRING, r07:
STRING, h08:
STRING, r08:
STRING, h09:
STRING, r09:
STRING, h10:
STRING, r10:
STRING, h11:
STRING, r11:
STRING, h12:
STRING, r12:
STRING, h13:
STRING, r13:
STRING)
effective procedure
compile_to_c (type:
TYPE)
effective procedure
safety_check (type:
TYPE)
effective procedure