public static APerSyncDefinition newAPerSyncDefinition( ILexLocation location, ILexNameToken opname, PExp guard) { APerSyncDefinition result = new APerSyncDefinition(); // Definition initialization initDefinition(result, Pass.DEFS, location, opname.getPerName(location), NameScope.GLOBAL); result.setOpname(opname); result.setGuard(guard); if(guard != null) { guard.parent(result); } return result; }