/** * Returns a deep clone of this {@link ANamedInvariantType} node. * @return a deep clone of this {@link ANamedInvariantType} node */ public ANamedInvariantType clone() { return new ANamedInvariantType( _location, _resolved, _definitions, _inNarrower, _opaque, _invDef, _eqDef, _ordDef, _name, _type ); }
/** * Creates a deep clone of this {@link ANamedInvariantType} 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 ANamedInvariantType} node */ public ANamedInvariantType clone(Map<INode,INode> oldToNewMap) { ANamedInvariantType node = new ANamedInvariantType( _location, _resolved, _definitions, _inNarrower, _opaque, _invDef, _eqDef, _ordDef, _name, _type ); oldToNewMap.put(this, node); return node; }
public static ANamedInvariantType newANamedInvariantType( ILexNameToken typeName, PType type) { ANamedInvariantType result = new ANamedInvariantType(); initType(result, typeName.getLocation()); initInvariantType(result); result.setName(typeName); result.setType(type); return result; }