public AClassTypeIR consClassType(String classTypeName) { AClassTypeIR classType = new AClassTypeIR(); classType.setName(classTypeName); return classType; }
/** * Creates a deep clone of this {@link AClassTypeIR} node while putting all * old node-new node relations in the map {@code oldToNewMap}. * @param oldToNewMap the map filled with the old node-new node relation * @return a deep clone of this {@link AClassTypeIR} node */ public AClassTypeIR clone(Map<INode,INode> oldToNewMap) { AClassTypeIR node = new AClassTypeIR( _sourceNode, _tag, _metaData, _optional, cloneNode(_namedInvType, oldToNewMap), cloneList(_types, oldToNewMap), _name ); oldToNewMap.put(this, node); return node; }
/** * Returns a deep clone of this {@link AClassTypeIR} node. * @return a deep clone of this {@link AClassTypeIR} node */ public AClassTypeIR clone() { return new AClassTypeIR( _sourceNode, _tag, _metaData, _optional, cloneNode(_namedInvType), cloneList(_types), _name ); }
@Override public STypeIR caseAClassType(AClassType node, IRInfo question) throws AnalysisException { String typeName = node.getClassdef().getName().getName(); AClassTypeIR classType = new AClassTypeIR(); classType.setName(typeName); return classType; }
private SVarExpIR consExplicitVar(String className, String name, boolean isLambda, STypeIR typeCg, boolean isLocalDef) { AExplicitVarExpIR varExp = new AExplicitVarExpIR(); AClassTypeIR classType = new AClassTypeIR(); classType.setName(className); varExp.setType(typeCg); varExp.setIsLocal(isLocalDef); varExp.setClassType(classType); varExp.setName(name); varExp.setIsLambda(isLambda); return varExp; }
@Override public SExpIR caseASelfObjectDesignatorIR(ASelfObjectDesignatorIR node) throws AnalysisException { ADefaultClassDeclIR enclosingClass = node.getAncestor(ADefaultClassDeclIR.class); String className = enclosingClass.getName(); SourceNode sourceNode = node.getSourceNode(); AClassTypeIR classType = new AClassTypeIR(); classType.setName(className); ASelfExpIR self = new ASelfExpIR(); self.setType(classType); self.setSourceNode(sourceNode); return self; }
private AFieldDeclIR consInstanceField(String name) { AClassTypeIR quoteClassType = new AClassTypeIR(); quoteClassType.setName(name); AFieldDeclIR field = new AFieldDeclIR(); field.setAccess(IJavaConstants.PRIVATE); field.setVolatile(false); field.setFinal(false); field.setStatic(true); field.setName(INSTANCE_FIELD); field.setType(quoteClassType); field.setInitial(info.getExpAssistant().consNullExp()); return field; }
innerclassType = new AClassTypeIR(); innerclassType.setName(enclosingClass.getName() + "_sentinel"); history.setSentinelType(innerclassType);
private AMethodDeclIR consEqualsMethod(String name) { AIdentifierVarExpIR paramVar = transAssistant.getInfo().getExpAssistant().consIdVar(EQUALS_METHOD_PARAM, new AObjectTypeIR()); AClassTypeIR quoteClass = new AClassTypeIR(); quoteClass.setName(name); AIsOfClassExpIR instanceCheck = new AIsOfClassExpIR(); instanceCheck.setType(new ABoolBasicTypeIR()); instanceCheck.setExp(paramVar); instanceCheck.setCheckedType(quoteClass); AReturnStmIR checkReturned = new AReturnStmIR(); checkReturned.setExp(instanceCheck); AMethodDeclIR equalsMethod = consEqualMethodSignature(EQUALS_METHOD_PARAM); ABlockStmIR body = new ABlockStmIR(); body.getStatements().add(checkReturned); equalsMethod.setBody(body); return equalsMethod; }
public AMethodDeclIR consDefaultContructor(String name) { AMethodDeclIR constructor = new AMethodDeclIR(); AClassTypeIR classType = new AClassTypeIR(); classType.setName(name); AMethodTypeIR methodType = new AMethodTypeIR(); methodType.setResult(classType); constructor.setMethodType(methodType); constructor.setAccess(IRConstants.PUBLIC); constructor.setAbstract(false); constructor.setIsConstructor(true); constructor.setName(name); constructor.setImplicit(false); constructor.setBody(new ABlockStmIR()); return constructor; }
histcount.setType(new AIntNumericBasicTypeIR()); AClassTypeIR innerclass = new AClassTypeIR(); innerclass.setName(node.getName() + concPrefixes.sentinelClassPostFix()); perpred.setOpname(((ATokenNameIR) operation).getName()); AClassTypeIR innerclass = new AClassTypeIR(); innerclass.setName(node.getName() + concPrefixes.sentinelClassPostFix());
classType = new AClassTypeIR(); classType.setName(className);
AClassTypeIR classType = new AClassTypeIR(); classType.setName(defClass);
String moduleName = rd.getDef().getName().getModule(); AClassTypeIR definingClass = new AClassTypeIR(); definingClass.setName(moduleName); definingClass.setSourceNode(node.getSourceNode());
innerClass.setName(className); AClassTypeIR innerClassType = new AClassTypeIR(); innerClassType.setName(classname);
AClassTypeIR sentinel = new AClassTypeIR(); sentinel.setName(concPrefixes.sentinelInstanceName());
private AMethodDeclIR consGetInstanceMethod(String name) AClassTypeIR quoteClassType = new AClassTypeIR(); quoteClassType.setName(name);
public SVarExpIR idStateDesignatorToExp(AIdentifierStateDesignatorIR node) { if (node.getExplicit()) { AClassTypeIR classType = new AClassTypeIR(); classType.setName(node.getClassName()); AExplicitVarExpIR explicitVar = new AExplicitVarExpIR(); explicitVar.setClassType(classType); explicitVar.setIsLambda(false); explicitVar.setIsLocal(node.getIsLocal()); explicitVar.setName(node.getName()); explicitVar.setSourceNode(node.getSourceNode()); explicitVar.setTag(node.getTag()); explicitVar.setType(node.getType().clone()); return explicitVar; } else { AIdentifierVarExpIR idVar = consIdVar(node.getName(), node.getType().clone()); idVar.setTag(node.getTag()); idVar.setSourceNode(node.getSourceNode()); idVar.setIsLocal(node.getIsLocal()); return idVar; } }
@Override public void caseAIdentifierVarExpIR(AIdentifierVarExpIR node) throws AnalysisException { INode var = AssistantBase.getVdmNode(node); if(var instanceof AVariableExp) { PDefinition def = ((AVariableExp) var).getVardef(); if(def instanceof ARenamedDefinition) { ARenamedDefinition renamedDef = (ARenamedDefinition) def; AClassTypeIR definingClass = new AClassTypeIR(); definingClass.setName(renamedDef.getDef().getName().getModule()); definingClass.setSourceNode(node.getSourceNode()); AExplicitVarExpIR expVar = new AExplicitVarExpIR(); expVar.setName(renamedDef.getDef().getName().getName()); expVar.setType(node.getType().clone()); expVar.setIsLambda(node.getIsLambda()); expVar.setIsLocal(node.getIsLocal()); expVar.setMetaData(node.getMetaData()); expVar.setTag(node.getTag()); expVar.setSourceNode(node.getSourceNode()); expVar.setClassType(definingClass); assist.replaceNodeWith(node, expVar); } } }
body.getStatements().add(hashcodeCheck); AClassTypeIR quoteClassType = new AClassTypeIR(); quoteClassType.setName(name);