/** * Creates a new tree field only constructor {@code AMkBasicExp TAG=mkBasic} 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 arg_ the {@link PExp} node for the {@code arg} child of this {@link AMkBasicExp} node */ public AMkBasicExp(ILexLocation location_, PExp arg_) { super(null,location_); this.setArg(arg_); }
/** * Creates a new complete constructor {@code AMkBasicExp} 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 arg_ the {@link PExp} node for the {@code arg} child of this {@link AMkBasicExp} node */ public AMkBasicExp(PType type_, ILexLocation location_, PExp arg_) { super(type_,location_); this.setArg(arg_); }
public static AMkBasicExp newAMkBasicExp(SBasicType type, PExp arg) { AMkBasicExp result = new AMkBasicExp(); initExpression(result, type.getLocation()); result.setType(type); result.setArg(arg); return result; }