public static ALetBeStBindingTraceDefinition newALetBeStBindingTraceDefinition( ILexLocation location, PMultipleBind bind, PExp stexp, PTraceDefinition body) { return new ALetBeStBindingTraceDefinition(location, bind, stexp, body, null); }
/** * Creates a deep clone of this {@link ALetBeStBindingTraceDefinition} node while putting all * old node-new node relations in the map {@code oldToNewMap}. * @param oldToNewMap the map filled with the old node-new node relation * @return a deep clone of this {@link ALetBeStBindingTraceDefinition} node */ public ALetBeStBindingTraceDefinition clone(Map<INode,INode> oldToNewMap) { ALetBeStBindingTraceDefinition node = new ALetBeStBindingTraceDefinition( _location, cloneNode(_bind, oldToNewMap), cloneNode(_stexp, oldToNewMap), cloneNode(_body, oldToNewMap), cloneNode(_def, oldToNewMap) ); oldToNewMap.put(this, node); return node; }
/** * Returns a deep clone of this {@link ALetBeStBindingTraceDefinition} node. * @return a deep clone of this {@link ALetBeStBindingTraceDefinition} node */ public ALetBeStBindingTraceDefinition clone() { return new ALetBeStBindingTraceDefinition( _location, cloneNode(_bind), cloneNode(_stexp), cloneNode(_body), cloneNode(_def) ); }