/** * Creates a new complete constructor {@code ALetBeStBindingTraceDefinition} 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 bind_ the {@link PMultipleBind} node for the {@code bind} child of this {@link ALetBeStBindingTraceDefinition} node * @param stexp_ the {@link PExp} node for the {@code stexp} child of this {@link ALetBeStBindingTraceDefinition} node * @param body_ the {@link PTraceDefinition} node for the {@code body} child of this {@link ALetBeStBindingTraceDefinition} node * @param def_ the {@link AMultiBindListDefinition} node for the {@code def} child of this {@link ALetBeStBindingTraceDefinition} node */ public ALetBeStBindingTraceDefinition(ILexLocation location_, PMultipleBind bind_, PExp stexp_, PTraceDefinition body_, AMultiBindListDefinition def_) { super(location_); this.setBind(bind_); this.setStexp(stexp_); this.setBody(body_); this.setDef(def_); }