public static ARecordInvariantType newARecordInvariantType( ILexLocation location, List<AFieldField> fields) { ARecordInvariantType result = new ARecordInvariantType(); initType(result, location); result.setName(new LexNameToken("?", "?", location)); result.setFields(fields); return result; }
public static ARecordInvariantType newARecordInvariantType( ILexNameToken name, List<AFieldField> fields) { ARecordInvariantType result = new ARecordInvariantType(); initType(result, name.getLocation()); initInvariantType(result); result.setName(name); result.setFields(fields); result.setComposed(false); return result; }