@Override public void caseAStateDefinition(AStateDefinition node, Environment question) throws AnalysisException { if (node.getInvPattern() != null) { node.setInvdef(getInvDefinition(node)); } if (node.getInitPattern() != null) { node.setInitdef(getInitDefinition(node)); } }
this.setInvPattern(invPattern_); this.setInvExpression(invExpression_); this.setInvdef(invdef_); this.setInitPattern(initPattern_); this.setInitExpression(initExpression_);