/** * Creates a new complete constructor {@code ALetDefBindingTraceDefinition} 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 localDefs_ the {@link NodeList} node for the {@code localDefs} child of this {@link ALetDefBindingTraceDefinition} node * @param body_ the {@link PTraceDefinition} node for the {@code body} child of this {@link ALetDefBindingTraceDefinition} node */ public ALetDefBindingTraceDefinition(ILexLocation location_, List<? extends PDefinition> localDefs_, PTraceDefinition body_) { super(location_); this.setLocalDefs(localDefs_); this.setBody(body_); }