void function ( @ NotNull GPoPropParser . PropertiesContext arg0 ) { }
the default implementation does nothing . concode_field_sep PlaceHolder placeHolder concode_field_sep void exitExpr concode_elem_sep void enterNegationProp concode_elem_sep void exitNegationProp concode_elem_sep void exitPoProp concode_elem_sep void exitStateFormulae concode_elem_sep void exitPoctl_true concode_elem_sep void enterPoctl_true concode_elem_sep void exitEventuallyProp concode_elem_sep void enterAlwaysProp concode_elem_sep void enterUntilChildProp concode_elem_sep void exitFile concode_elem_sep void exitNextChildProp concode_elem_sep void enterEventuallyProp concode_elem_sep void exitAndProp concode_elem_sep void enterNextChildProp concode_elem_sep void exitEveryRule concode_elem_sep void exitOrProp concode_elem_sep void enterPoProp concode_elem_sep void enterConditionValue concode_elem_sep void enterEveryRule concode_elem_sep void exitAlwaysProp concode_elem_sep void enterAndProp concode_elem_sep void enterPathFormulae concode_elem_sep void enterFile concode_elem_sep void exitPathFormulae concode_elem_sep void exitConditionOperate concode_elem_sep void enterConditionOperate concode_elem_sep void exitPropertyCondition concode_elem_sep void exitConditionValue concode_elem_sep void visitErrorNode concode_elem_sep void exitUntilChildProp concode_elem_sep void visitTerminal concode_elem_sep void enterPropertyCondition concode_elem_sep void enterExpr concode_elem_sep void exitProperties concode_elem_sep void enterOrProp concode_elem_sep void enterStateFormulae