/** * Called by the {@link AApplyObjectDesignatorIR} node from {@link AApplyObjectDesignatorIR#apply(IIsaAnalysis)}. * @param node the calling {@link AApplyObjectDesignatorIR} node */ public void caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node) throws AnalysisException { _visitedNodes.add(node); inAApplyObjectDesignatorIR(node); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this); } { List<SExpIR> copy = new ArrayList<SExpIR>(node.getArgs()); for( SExpIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAApplyObjectDesignatorIR(node); }
/** * Called by the {@link AApplyObjectDesignatorIR} node from {@link AApplyObjectDesignatorIR#apply(IAnalysis)}. * @param node the calling {@link AApplyObjectDesignatorIR} node */ public void caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node) throws AnalysisException { _visitedNodes.add(node); inAApplyObjectDesignatorIR(node); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this); } { List<SExpIR> copy = new ArrayList<SExpIR>(node.getArgs()); for( SExpIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAApplyObjectDesignatorIR(node); }
/** * Called by the {@link AApplyObjectDesignatorIR} node from {@link AApplyObjectDesignatorIR#apply(IAnalysis)}. * @param node the calling {@link AApplyObjectDesignatorIR} node */ public void caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAApplyObjectDesignatorIR(node, question); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this, question); } { List<SExpIR> copy = new ArrayList<SExpIR>(node.getArgs()); for( SExpIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outAApplyObjectDesignatorIR(node, question); }
/** * Called by the {@link AApplyObjectDesignatorIR} node from {@link AApplyObjectDesignatorIR#apply(IAnalysis)}. * @param node the calling {@link AApplyObjectDesignatorIR} node */ public A caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAApplyObjectDesignatorIR(node)); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { mergeReturns(retVal,node.getObject().apply(this)); } { List<SExpIR> copy = new ArrayList<SExpIR>(node.getArgs()); for( SExpIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this)); } } } mergeReturns(retVal,outAApplyObjectDesignatorIR(node)); return retVal; }
/** * Called by the {@link AApplyObjectDesignatorIR} node from {@link AApplyObjectDesignatorIR#apply(IAnalysis)}. * @param node the calling {@link AApplyObjectDesignatorIR} node */ public A caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAApplyObjectDesignatorIR(node, question)); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { mergeReturns(retVal,node.getObject().apply(this, question)); } { List<SExpIR> copy = new ArrayList<SExpIR>(node.getArgs()); for( SExpIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this, question)); } } } mergeReturns(retVal,outAApplyObjectDesignatorIR(node, question)); return retVal; }
@Override public SObjectDesignatorIR caseAApplyObjectDesignator( AApplyObjectDesignator node, IRInfo question) throws AnalysisException { PObjectDesignator obj = node.getObject(); SObjectDesignatorIR objCg = obj.apply(question.getObjectDesignatorVisitor(), question); AApplyObjectDesignatorIR applyObjDesignator = new AApplyObjectDesignatorIR(); applyObjDesignator.setObject(objCg); LinkedList<SExpIR> newExpArgs = applyObjDesignator.getArgs(); for (PExp arg : node.getArgs()) { SExpIR argCg = arg.apply(question.getExpVisitor(), question); if (argCg != null) { newExpArgs.add(argCg); } else { return null; } } return applyObjDesignator; }
public STypeIR getFieldExpType(IRInfo info, String fieldName, String fieldModule, SObjectDesignatorIR obj, INode parent) throws AnalysisException, org.overture.codegen.ir.analysis.AnalysisException { if (parent instanceof AApplyObjectDesignatorIR) { AApplyObjectDesignatorIR apply = (AApplyObjectDesignatorIR) parent; LinkedList<SExpIR> args = apply.getArgs(); if (fieldModule != null) { // It is a class SClassDeclIR clazz = info.getDeclAssistant().findClass(info.getClasses(), fieldModule); AFieldDeclIR field = info.getDeclAssistant().getFieldDecl(clazz, fieldModule); if (field != null) { return field.getType().clone(); } else { // It must be a method return info.getTypeAssistant().getMethodType(info, fieldModule, fieldName, args); } } } return getFieldType(info, fieldName, fieldModule, obj); }
@SuppressWarnings("unchecked") @Override public SExpIR caseAApplyObjectDesignatorIR(AApplyObjectDesignatorIR node) throws AnalysisException { SObjectDesignatorIR object = node.getObject(); SourceNode sourceNode = node.getSourceNode(); LinkedList<SExpIR> args = node.getArgs(); SExpIR root = object.apply(this); STypeIR rootType = root.getType(); STypeIR applyType = null; if (rootType instanceof SSeqTypeIR) { applyType = ((SSeqTypeIR) rootType).getSeqOf(); } else if (rootType instanceof SMapTypeIR) { applyType = ((SMapTypeIR) rootType).getTo(); } else if (rootType instanceof AMethodTypeIR) { applyType = ((AMethodTypeIR) rootType).getResult(); } applyType = applyType.clone(); AApplyExpIR applyExp = new AApplyExpIR(); applyExp.setArgs((List<? extends SExpIR>) args.clone()); applyExp.setRoot(root); applyExp.setType(applyType); applyExp.setSourceNode(sourceNode); return applyExp; }