/** * Creates a new tree field only constructor {@code ASetEnumSetExp TAG=setEnum} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param members_ the {@link NodeList} node for the {@code members} child of this {@link ASetEnumSetExp} node */ public ASetEnumSetExp(ILexLocation location_, List<? extends PExp> members_) { super(null,location_,null); this.setMembers(members_); }
/** * Creates a new complete constructor {@code ASetEnumSetExp} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param members_ the {@link NodeList} node for the {@code members} child of this {@link ASetEnumSetExp} node * @param types_ the {@link GraphNodeList} <b>graph</a> node for the {@code types} child of this {@link ASetEnumSetExp} node. * <i>The parent of this {@code types } will not be changed by adding it to this node.</i> */ public ASetEnumSetExp(PType type_, ILexLocation location_, SSetType setType_, List<? extends PExp> members_, List<? extends PType> types_) { super(type_,location_,setType_); this.setMembers(members_); this.setTypes(types_); }
public static ASetEnumSetExp newASetEnumSetExp(ILexLocation start) { ASetEnumSetExp result = new ASetEnumSetExp(); initExpression(result, start); result.setMembers(new Vector<PExp>()); return result; }
public static ASetEnumSetExp newASetEnumSetExp(ILexLocation start, List<PExp> members) { ASetEnumSetExp result = new ASetEnumSetExp(); initExpression(result, start); result.setMembers(members); return result; }
public PExp caseASetPattern(ASetPattern node) throws AnalysisException { ASetEnumSetExp set = new ASetEnumSetExp(); List<PExp> values = new Vector<PExp>(); for (PPattern p : node.getPlist()) { values.add(p.apply(this).clone()); } set.setMembers(values); return addPossibleType(set, node); }
public NonEmptySetObligation(PExp exp, IPOContextStack ctxt, IPogAssistantFactory af) throws AnalysisException { super(exp, POType.NON_EMPTY_SET, ctxt, exp.getLocation(), af); // exp <> {} ASetEnumSetExp setExp = new ASetEnumSetExp(); setExp.setMembers(new LinkedList<PExp>()); // empty list ANotEqualBinaryExp notEqualsExp = AstExpressionFactory.newANotEqualBinaryExp(exp.clone(), setExp); stitch = notEqualsExp; valuetree.setPredicate(ctxt.getPredWithContext(notEqualsExp)); } }
List<PExp> member = new LinkedList<PExp>(); member.add(mapCompExp.getFirst().clone()); setEnumExp.setMembers(member); setExp.setFirst(setEnumExp); setExp.setBindings(cloneListMultipleBind(mapCompExp.getBindings()));
setOfMaplets.setMembers(singleMaplets); List<PMultipleBind> m1m2binding = getMultipleSetBindList(setOfMaplets, m1, m2);
ne.setOp(new LexKeywordToken(VDMToken.NE, exp.getLocation())); ASetEnumSetExp empty = new ASetEnumSetExp(); empty.setMembers(new Vector<PExp>()); ne.setRight(empty);