/** * Returns a deep clone of this {@link AInstanceTraceDefinition} node. * @return a deep clone of this {@link AInstanceTraceDefinition} node */ public AInstanceTraceDefinition clone() { return new AInstanceTraceDefinition( _location ); }
/** * Essentially this.toString().equals(o.toString()). **/ @Override public boolean equals(Object o) { if (o != null && o instanceof AInstanceTraceDefinition) { return toString().equals(o.toString()); } return false; }
/** * Creates a deep clone of this {@link AInstanceTraceDefinition} 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 AInstanceTraceDefinition} node */ public AInstanceTraceDefinition clone(Map<INode,INode> oldToNewMap) { AInstanceTraceDefinition node = new AInstanceTraceDefinition( _location ); oldToNewMap.put(this, node); return node; }