public String toString() { return "" + "init "+_state.getInitPattern()+" == "+_state.getInitExpression(); }
@Override public SExpIR caseAStateInitExp(AStateInitExp node, IRInfo question) throws AnalysisException { return node.getState().getInitExpression().apply(question.getExpVisitor(), question); }
@Override public PExp caseAStateDefinition(AStateDefinition def, Integer lineno) throws AnalysisException { if (def.getInvExpression() != null) { PExp found = af.createPExpAssistant().findExpression(def.getInvExpression(), lineno); if (found != null) { return found; } } if (def.getInitExpression() != null) { if (def.getInitExpression() instanceof AEqualsBinaryExp) { AEqualsBinaryExp ee = (AEqualsBinaryExp) def.getInitExpression(); PExp found = af.createPExpAssistant().findExpression(ee.getRight(), lineno); if (found != null) { return found; } } } return null; }
public static AStateInitExp newAStateInitExp(AStateDefinition state) { AStateInitExp result = new AStateInitExp(); initExpression(result, state.getInitExpression().getLocation()); result.setState(state); result.getLocation().executable(false); return result; }
if(node.getInitExpression() != null && !_visitedNodes.contains(node.getInitExpression())) node.getInitExpression().apply(this);
if(node.getInitExpression() != null && !_visitedNodes.contains(node.getInitExpression())) node.getInitExpression().apply(this, question);
if(node.getInitExpression() != null && !_visitedNodes.contains(node.getInitExpression())) node.getInitExpression().apply(this);
if(node.getInitExpression() != null && !_visitedNodes.contains(node.getInitExpression())) mergeReturns(retVal,node.getInitExpression().apply(this));
if(node.getInitExpression() != null && !_visitedNodes.contains(node.getInitExpression())) mergeReturns(retVal,node.getInitExpression().apply(this, question));
|| !(definition.getInitExpression() instanceof AEqualsBinaryExp)) AEqualsBinaryExp ee = (AEqualsBinaryExp) definition.getInitExpression(); ee.getLocation().hit(); ee.getLeft().getLocation().hit();
PExp exp = node.getState().getInitExpression(); boolean canBeExecuted = false;
ILexNameToken name = node.getName(); AExplicitFunctionDefinition initdef = node.getInitdef(); PExp initExp = node.getInitExpression(); PPattern initPattern = node.getInitPattern(); AExplicitFunctionDefinition invdef = node.getInvdef();