/** * Called by the {@link AFieldObjectDesignator} node from {@link AFieldObjectDesignator#apply(IPOFAnalysis)}. * @param node the calling {@link AFieldObjectDesignator} node */ public void caseAFieldObjectDesignator(AFieldObjectDesignator node) throws AnalysisException { _visitedNodes.add(node); inAFieldObjectDesignator(node); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this); } if(node.getClassName() != null ) { node.getClassName().apply(this); } if(node.getFieldName() != null ) { node.getFieldName().apply(this); } if(node.getField() != null ) { node.getField().apply(this); } outAFieldObjectDesignator(node); }
/** * Called by the {@link AFieldObjectDesignator} node from {@link AFieldObjectDesignator#apply(IAnalysis)}. * @param node the calling {@link AFieldObjectDesignator} node */ public void caseAFieldObjectDesignator(AFieldObjectDesignator node) throws AnalysisException { _visitedNodes.add(node); inAFieldObjectDesignator(node); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this); } if(node.getClassName() != null ) { node.getClassName().apply(this); } if(node.getFieldName() != null ) { node.getFieldName().apply(this); } if(node.getField() != null ) { node.getField().apply(this); } outAFieldObjectDesignator(node); }
/** * Called by the {@link AFieldObjectDesignator} node from {@link AFieldObjectDesignator#apply(IAnalysis)}. * @param node the calling {@link AFieldObjectDesignator} node */ public void caseAFieldObjectDesignator(AFieldObjectDesignator node, Q question) throws AnalysisException { _visitedNodes.add(node); inAFieldObjectDesignator(node, question); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { node.getObject().apply(this, question); } if(node.getClassName() != null ) { node.getClassName().apply(this, question); } if(node.getFieldName() != null ) { node.getFieldName().apply(this, question); } if(node.getField() != null ) { node.getField().apply(this, question); } outAFieldObjectDesignator(node, question); }
/** * Called by the {@link AFieldObjectDesignator} node from {@link AFieldObjectDesignator#apply(IAnalysis)}. * @param node the calling {@link AFieldObjectDesignator} node */ public A caseAFieldObjectDesignator(AFieldObjectDesignator node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAFieldObjectDesignator(node, question)); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { mergeReturns(retVal,node.getObject().apply(this, question)); } if(node.getClassName() != null ) { mergeReturns(retVal,node.getClassName().apply(this, question)); } if(node.getFieldName() != null ) { mergeReturns(retVal,node.getFieldName().apply(this, question)); } if(node.getField() != null ) { mergeReturns(retVal,node.getField().apply(this, question)); } mergeReturns(retVal,outAFieldObjectDesignator(node, question)); return retVal; }
/** * Called by the {@link AFieldObjectDesignator} node from {@link AFieldObjectDesignator#apply(IAnalysis)}. * @param node the calling {@link AFieldObjectDesignator} node */ public A caseAFieldObjectDesignator(AFieldObjectDesignator node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAFieldObjectDesignator(node)); if(node.getObject() != null && !_visitedNodes.contains(node.getObject())) { mergeReturns(retVal,node.getObject().apply(this)); } if(node.getClassName() != null ) { mergeReturns(retVal,node.getClassName().apply(this)); } if(node.getFieldName() != null ) { mergeReturns(retVal,node.getFieldName().apply(this)); } if(node.getField() != null ) { mergeReturns(retVal,node.getField().apply(this)); } mergeReturns(retVal,outAFieldObjectDesignator(node)); return retVal; }
if (ofd.getClassName() != null) return AstFactory.newACallObjectStm(ofd.getObject(), ofd.getClassName(), args); } else
Value rv = ov.get(node.getField(), node.getClassName() != null);
if (node.getClassName() == null) node.setField(node.getClassName()); : node.getClassName().toString(); ARecordInvariantType rec = question.assistantFactory.createPTypeAssistant().getRecord(type); AFieldField rf = question.assistantFactory.createARecordInvariantTypeAssistant().findField(rec, sname);