public static org.overture.ast.node.INode getVdmNode(PIR irNode) { if (irNode != null && irNode.getSourceNode() != null) { return irNode.getSourceNode().getVdmNode(); } else { return null; } }
public boolean isLoopCondition(SExpIR exp) { INode node = exp.parent(); while (node instanceof SExpIR) { node = node.parent(); } return node instanceof AWhileStmIR || node instanceof AForLoopStmIR; // The ForLoopStmIR is only used in the transformation process. It corresponds // to the standard for loop in Java, e.g. for(int i = 0; i < 10; i++){...} }
public void setSettings(IRSettings settings) { generator.getIRInfo().setSettings(settings); }
/** * Given an IR status this method determines if it represents a test case or not. * * @param status * The IR status. * @return True if the <code>status</code> represents a test case - false otherwise. */ protected boolean isTestCase(IRStatus<? extends PIR> status) { return getInfo().getDeclAssistant().isTestCase(status.getIrNode().getSourceNode().getVdmNode()); }
public String genThreadName() { return info.getTempVarNameGen().nextVarName("nextThread_"); }
public IRSettings getSettings() { return generator.getIRInfo().getSettings(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }