public static AMkTypeExp newAMkTypeExp(ILexNameToken typeName, PType type, List<PExp> arglist) { AMkTypeExp mktype = new AMkTypeExp(); mktype.setType(type); if (type instanceof ARecordInvariantType) { mktype.setRecordType((ARecordInvariantType) type.clone()); } mktype.setTypeName(typeName); mktype.setArgs(arglist); return mktype; }
node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); node.setType(rec); return rec; node.setType(rec); return rec; node.setType(rec); return rec; node.setType(node.getRecordType().clone()); return question.assistantFactory.createPTypeAssistant().checkConstraint(question.constraint, node.getRecordType(), node.getLocation());