private void handleCond(SDeclIR cond) throws AnalysisException { if (cond != null) { inPreOrPost = true; cond.apply(this); inPreOrPost = false; } }
@Override public void caseAModuleDeclIR(AModuleDeclIR node) throws AnalysisException { node.getDecls().clear(); for (SDeclIR d : sorted) { node.getDecls().add(d.clone()); } }
public String toString() { return (_def!=null?_def.toString():this.getClass().getSimpleName()); }
SourceNode sourceNode = postCond.getSourceNode();
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node, question); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outATypeExportIR(node, question); }
recClass.setInvariant(recDecl.getInvariant().clone());
public String toString() { return (_name!=null?_name.toString():this.getClass().getSimpleName())+ (_invariant!=null?_invariant.toString():this.getClass().getSimpleName())+ (_fields!=null?_fields.toString():this.getClass().getSimpleName())+ (_methods!=null?_methods.toString():this.getClass().getSimpleName()); }
/** * Called by the {@link AAllExportIR} node from {@link AAllExportIR#apply(IAnalysis)}. * @param node the calling {@link AAllExportIR} node */ public void caseAAllExportIR(AAllExportIR node) throws AnalysisException { _visitedNodes.add(node); inAAllExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAllExportIR(node); }
public String toString() { return (_preCond!=null?_preCond.toString():this.getClass().getSimpleName())+ (_postCond!=null?_postCond.toString():this.getClass().getSimpleName())+ (_access!=null?_access.toString():this.getClass().getSimpleName())+ (_abstract!=null?_abstract.toString():this.getClass().getSimpleName())+ (_methodType!=null?_methodType.toString():this.getClass().getSimpleName())+ (_name!=null?_name.toString():this.getClass().getSimpleName())+ (_formalParams!=null?_formalParams.toString():this.getClass().getSimpleName())+ (_templateTypes!=null?_templateTypes.toString():this.getClass().getSimpleName())+ (_implicit!=null?_implicit.toString():this.getClass().getSimpleName())+ (_raises!=null?_raises.toString():this.getClass().getSimpleName())+ (_body!=null?_body.toString():this.getClass().getSimpleName()); }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATypeExportIR(node); }
public String toString() { return (_def!=null?_def.toString():this.getClass().getSimpleName())+ (_stm!=null?_stm.toString():this.getClass().getSimpleName())+ (_type!=null?_type.toString():this.getClass().getSimpleName()); }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IIsaAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATypeExportIR(node); }
/** * Sets the {@code _inv} child of this {@link ATypeDeclIR} node. * @param value the new {@code _inv} child of this {@link ATypeDeclIR} node */ public void setInv(SDeclIR value) { if (this._inv != null) { this._inv.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._inv = value; }
/** * Called by the {@link AAllExportIR} node from {@link AAllExportIR#apply(IIsaAnalysis)}. * @param node the calling {@link AAllExportIR} node */ public void caseAAllExportIR(AAllExportIR node) throws AnalysisException { _visitedNodes.add(node); inAAllExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAllExportIR(node); }