/** * Creates a deep clone of this {@link ALetBeStExp} 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 ALetBeStExp} node */ public ALetBeStExp clone(Map<INode,INode> oldToNewMap) { ALetBeStExp node = new ALetBeStExp( _type, _location, cloneNode(_bind, oldToNewMap), cloneNode(_suchThat, oldToNewMap), cloneNode(_value, oldToNewMap), cloneNode(_def, oldToNewMap) ); oldToNewMap.put(this, node); return node; }
public static ALetBeStExp newALetBeStExp(ILexLocation start, PMultipleBind bind, PExp suchThat, PExp value) { ALetBeStExp result = new ALetBeStExp(); initExpression(result, start); result.setBind(bind); result.setSuchThat(suchThat); result.setValue(value); return result; }
/** * Returns a deep clone of this {@link ALetBeStExp} node. * @return a deep clone of this {@link ALetBeStExp} node */ public ALetBeStExp clone() { return new ALetBeStExp( _type, _location, cloneNode(_bind), cloneNode(_suchThat), cloneNode(_value), cloneNode(_def) ); }