/** * Called by the {@link ARecordTypeIR} node from {@link ARecordTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARecordTypeIR} node */ public void caseARecordTypeIR(ARecordTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inARecordTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } if(node.getName() != null && !_visitedNodes.contains(node.getName())) { node.getName().apply(this, question); } outARecordTypeIR(node, question); }
/** * Called by the {@link ARecordTypeIR} node from {@link ARecordTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARecordTypeIR} node */ public void caseARecordTypeIR(ARecordTypeIR node) throws AnalysisException { _visitedNodes.add(node); inARecordTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } if(node.getName() != null && !_visitedNodes.contains(node.getName())) { node.getName().apply(this); } outARecordTypeIR(node); }
public String formatName(INode node) throws AnalysisException { if (node instanceof ANewExpIR) { ANewExpIR newExp = (ANewExpIR) node; return formatTypeName(node, newExp.getName()); } else if (node instanceof ARecordTypeIR) { ARecordTypeIR record = (ARecordTypeIR) node; ATypeNameIR typeName = record.getName(); return formatTypeName(node, typeName); } throw new AnalysisException("Unexpected node in formatName: " + node.getClass().getName()); }
/** * Called by the {@link ARecordTypeIR} node from {@link ARecordTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link ARecordTypeIR} node */ public void caseARecordTypeIR(ARecordTypeIR node) throws AnalysisException { _visitedNodes.add(node); inARecordTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } if(node.getName() != null && !_visitedNodes.contains(node.getName())) { node.getName().apply(this); } outARecordTypeIR(node); }
public String fullyQualifiedRecType(ARecordTypeIR rt) { String defClass = rt.getName().getDefiningClass(); String recPackage = JmlGenUtil.consRecPackage(defClass, handler.getJmlGen().getJavaGen().getJavaSettings().getJavaRootPackage()); String fullyQualifiedRecType = recPackage + "." + rt.getName().getName(); return fullyQualifiedRecType; }
/** * Called by the {@link ARecordTypeIR} node from {@link ARecordTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARecordTypeIR} node */ public A caseARecordTypeIR(ARecordTypeIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inARecordTypeIR(node)); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { mergeReturns(retVal,node.getNamedInvType().apply(this)); } if(node.getName() != null && !_visitedNodes.contains(node.getName())) { mergeReturns(retVal,node.getName().apply(this)); } mergeReturns(retVal,outARecordTypeIR(node)); return retVal; }
/** * Called by the {@link ARecordTypeIR} node from {@link ARecordTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARecordTypeIR} node */ public A caseARecordTypeIR(ARecordTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inARecordTypeIR(node, question)); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { mergeReturns(retVal,node.getNamedInvType().apply(this, question)); } if(node.getName() != null && !_visitedNodes.contains(node.getName())) { mergeReturns(retVal,node.getName().apply(this, question)); } mergeReturns(retVal,outARecordTypeIR(node, question)); return retVal; }
public AFieldDeclIR getFieldDecl(List<SClassDeclIR> classes, ARecordTypeIR recordType, String memberName) ATypeNameIR name = recordType.getName();
newExp.setName(recordTypeCg.getName().clone());