@Override public PType defaultSSetType(SSetType type, Newquestion question) throws AnalysisException { if (type.getResolved()) { return type; } else { type.setResolved(true); } try { type.setSetof(af.createPTypeAssistant().typeResolve(type.getSetof(), question.root, question.rootVisitor, question.question)); if (question.root != null) { question.root.setInfinite(false); // Could be empty } return type; } catch (TypeCheckException e) { type.apply(af.getTypeUnresolver()); throw e; } }
somType.setSetof(mapEnumExp.getType().clone()); setOfMaplets.setType(somType); domM1.setExp(getVarExp(m1, mapEnumExp.getType())); SSetType domType = new ASetSetType(); domType.setSetof(af.createPTypeAssistant().getMap(mapEnumExp.getType().clone())); domM1.setType(domType.clone()); AMapDomainUnaryExp domM2 = new AMapDomainUnaryExp();