public static ANamedTraceDefinition newANamedTraceDefinition( ILexLocation location, List<String> pathname, List<ATraceDefinitionTerm> terms) { ANamedTraceDefinition result = new ANamedTraceDefinition(); // Definition initialization initDefinition(result, Pass.DEFS, location, new LexNameToken(location.getModule(), Utils.listToString(pathname, "_"), location), NameScope.GLOBAL); List<ClonableString> namesClonable = new Vector<ClonableString>(); for (String string : pathname) { namesClonable.add(new ClonableString(string)); } // List<ATraceDefinitionTerm> tracesTerms = new // Vector<ATraceDefinitionTerm>(); // for (ATraceDefinitionTerm list : terms) // { // tracesTerms.add( new ATraceDefinitionTerm(list)); // } result.setPathname(namesClonable); result.setTerms(terms); result.setAccess(af.createPAccessSpecifierAssistant().getPublic()); result.setType(newAOperationType(location)); return result; }