af.createPTypeAssistant(); type.setRecType(af.createPTypeAssistant().getRecord(AstFactory.newAUnknownType(type.getLocation()))); type.setRecType(fields.isEmpty() ? null : AstFactory.newARecordInvariantType(type.getLocation(), fields));
type.setRecType(af.createPTypeAssistant().getRecord(AstFactory.newAUnknownType(type.getLocation()))); type.setRecType(fields.isEmpty() ? null : AstFactory.newARecordInvariantType(type.getLocation(), fields));
this.setNumType(numType_); this.setRecDone(recDone_); this.setRecType(recType_); this.setClassDone(classDone_); this.setClassType(classType_);