/** * Creates a new tree field only constructor {@code AForAllStm TAG=forAll} 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 pattern_ the {@link PPattern} node for the {@code pattern} child of this {@link AForAllStm} node * @param set_ the {@link PExp} node for the {@code set} child of this {@link AForAllStm} node * @param statement_ the {@link PStm} node for the {@code statement} child of this {@link AForAllStm} node */ public AForAllStm(ILexLocation location_, PPattern pattern_, PExp set_, PStm statement_) { super(location_,null); this.setPattern(pattern_); this.setSet(set_); this.setStatement(statement_); }
/** * Creates a new complete constructor {@code AForAllStm} 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 pattern_ the {@link PPattern} node for the {@code pattern} child of this {@link AForAllStm} node * @param set_ the {@link PExp} node for the {@code set} child of this {@link AForAllStm} node * @param statement_ the {@link PStm} node for the {@code statement} child of this {@link AForAllStm} node */ public AForAllStm(ILexLocation location_, PType type_, PPattern pattern_, PExp set_, PStm statement_) { super(location_,type_); this.setPattern(pattern_); this.setSet(set_); this.setStatement(statement_); }
public static AForAllStm newAForAllStm(ILexLocation token, PPattern pattern, PExp set, PStm stmt) { AForAllStm result = new AForAllStm(); initStatement(result, token); result.setPattern(pattern); result.setSet(set); result.setStatement(stmt); return result; }