@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.setInitPattern(initPattern_); this.setInitExpression(initExpression_); this.setInitdef(initdef_); this.setStateDefs(stateDefs_); this.setRecordDefinition(recordDefinition_);