public AVarDeclIR consIdConstDecl(String idConstName) { ANatNumericBasicTypeIR intType = new ANatNumericBasicTypeIR(); AClassTypeIR idGenType = transAssistant.consClassType(tracePrefixes.idGeneratorClassName()); SExpIR init = transAssistant.consInstanceCall(idGenType, tracePrefixes.idGeneratorVarName(), intType, tracePrefixes.idGeneratorIncrementMethodName()); AVarDeclIR idConstDecl = transAssistant.consDecl(idConstName, intType.clone(), init); idConstDecl.setFinal(true); return idConstDecl; }