private String getInitName(APlainCallStmIR node) { if (node.getSourceNode() != null && node.getSourceNode().getVdmNode() != null) { INode vdmNode = node.getSourceNode().getVdmNode(); if (vdmNode instanceof ACallStm) { ACallStm c = (ACallStm) vdmNode; PDefinition rootDef = c.getRootdef(); while (rootDef instanceof AInheritedDefinition) { rootDef = ((AInheritedDefinition) rootDef).getSuperdef(); } if (rootDef instanceof AExplicitOperationDefinition) { AExplicitOperationDefinition op = (AExplicitOperationDefinition) rootDef; if (op.getIsConstructor()) { return getObjectInitializerCall(op); } } } } return null; }
SourceNode source = call.getSourceNode(); if (source != null)
definingClass.setSourceNode(node.getSourceNode()); call.setIsStatic(false); call.setMetaData(node.getMetaData()); call.setSourceNode(node.getSourceNode()); call.setTag(node.getTag()); call.setType(node.getType().clone());
SourceNode source = plainCall.getSourceNode(); if (source != null)
String name = callStmIR.getName(); SourceNode sourceNode = callStmIR.getSourceNode(); apply.setType(type.clone()); apply.setRoot(field); apply.setSourceNode(callStmIR.getSourceNode());