public List<PatternInfo> extractFromParams( List<AFormalParamLocalParamIR> params) { List<PatternInfo> patternInfo = new LinkedList<PatternInfo>(); for (AFormalParamLocalParamIR param : params) { STypeIR type = param.getType(); SPatternIR pattern = param.getPattern(); patternInfo.add(new PatternInfo(type, pattern, null)); } return patternInfo; }
/** * Called by the {@link AFormalParamLocalParamIR} node from {@link AFormalParamLocalParamIR#apply(IAnalysis)}. * @param node the calling {@link AFormalParamLocalParamIR} node */ public void caseAFormalParamLocalParamIR(AFormalParamLocalParamIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAFormalParamLocalParamIR(node, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getPattern() != null && !_visitedNodes.contains(node.getPattern())) { node.getPattern().apply(this, question); } outAFormalParamLocalParamIR(node, question); }
/** * Called by the {@link AFormalParamLocalParamIR} node from {@link AFormalParamLocalParamIR#apply(IIsaAnalysis)}. * @param node the calling {@link AFormalParamLocalParamIR} node */ public void caseAFormalParamLocalParamIR(AFormalParamLocalParamIR node) throws AnalysisException { _visitedNodes.add(node); inAFormalParamLocalParamIR(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getPattern() != null && !_visitedNodes.contains(node.getPattern())) { node.getPattern().apply(this); } outAFormalParamLocalParamIR(node); }
/** * Called by the {@link AFormalParamLocalParamIR} node from {@link AFormalParamLocalParamIR#apply(IAnalysis)}. * @param node the calling {@link AFormalParamLocalParamIR} node */ public void caseAFormalParamLocalParamIR(AFormalParamLocalParamIR node) throws AnalysisException { _visitedNodes.add(node); inAFormalParamLocalParamIR(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getPattern() != null && !_visitedNodes.contains(node.getPattern())) { node.getPattern().apply(this); } outAFormalParamLocalParamIR(node); }
/** * Called by the {@link AFormalParamLocalParamIR} node from {@link AFormalParamLocalParamIR#apply(IAnalysis)}. * @param node the calling {@link AFormalParamLocalParamIR} node */ public A caseAFormalParamLocalParamIR(AFormalParamLocalParamIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAFormalParamLocalParamIR(node, question)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this, question)); } if(node.getPattern() != null && !_visitedNodes.contains(node.getPattern())) { mergeReturns(retVal,node.getPattern().apply(this, question)); } mergeReturns(retVal,outAFormalParamLocalParamIR(node, question)); return retVal; }
/** * Called by the {@link AFormalParamLocalParamIR} node from {@link AFormalParamLocalParamIR#apply(IAnalysis)}. * @param node the calling {@link AFormalParamLocalParamIR} node */ public A caseAFormalParamLocalParamIR(AFormalParamLocalParamIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAFormalParamLocalParamIR(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getPattern() != null && !_visitedNodes.contains(node.getPattern())) { mergeReturns(retVal,node.getPattern().apply(this)); } mergeReturns(retVal,outAFormalParamLocalParamIR(node)); return retVal; }
public AIdentifierVarExpIR getInvParamVar(AMethodDeclIR invMethod) { AFormalParamLocalParamIR formalParam = getInvFormalParam(invMethod); if (formalParam == null) { return null; } String paramName = getName(formalParam.getPattern()); if (paramName == null) { return null; } STypeIR paramType = formalParam.getType().clone(); return jmlGen.getJavaGen().getInfo().getExpAssistant().consIdVar(paramName, paramType); }
STypeIR paramType = paramLocalDeclIR.getType(); SPatternIR pattern = paramLocalDeclIR.getPattern();
call.getArgs().add(assist.getInfo().getExpAssistant().consIdVar(argName, param.getType().clone()));
paramArg.setType(p.getType().clone()); paramArg.setIsLocal(true); paramArg.setIsLambda(false);
var.setType(param.getType().clone()); var.setName(idPattern.getName()); var.setIsLambda(false);