@Override public void caseAMethodDeclIR(AMethodDeclIR node) throws AnalysisException { handleMethodOrFunc(node.getBody(), node.getPreCond(), node.getPostCond()); }
inAMethodDeclIR(node, question); if(node.getPreCond() != null && !_visitedNodes.contains(node.getPreCond())) node.getPreCond().apply(this, question);
inAMethodDeclIR(node); if(node.getPreCond() != null && !_visitedNodes.contains(node.getPreCond())) node.getPreCond().apply(this);
inAMethodDeclIR(node); if(node.getPreCond() != null && !_visitedNodes.contains(node.getPreCond())) node.getPreCond().apply(this);
enclosingClass.getMethods().add(method); if (method.getPreCond() != null) method.getPreCond().apply(this);
mergeReturns(retVal,inAMethodDeclIR(node, question)); if(node.getPreCond() != null && !_visitedNodes.contains(node.getPreCond())) mergeReturns(retVal,node.getPreCond().apply(this, question));
mergeReturns(retVal,inAMethodDeclIR(node)); if(node.getPreCond() != null && !_visitedNodes.contains(node.getPreCond())) mergeReturns(retVal,node.getPreCond().apply(this));
SDeclIR preCond = node.getPreCond(); if (preCond instanceof AMethodDeclIR) { AMethodDeclIR preCondMethod = (AMethodDeclIR) preCond;
SDeclIR preCond = node.getPreCond();
if (m.getPreCond() != null) annotator.makeCondPublic(m.getPreCond()); annotator.appendMetaData(m, consMethodCond(m.getPreCond(), m.getFormalParams(), JML_REQ_ANNOTATION));