/**
* copy()
*
* <p>A mechanism for copying a Symbol. Not broken like clone(). NEVER use clone().
*/
public Symbol copy() {
Symbol dup = new Symbol(this.repr, this.type);
dup.setContext(this.getLine(), this.getLineNumber(), this.getErrorColumn());
return dup;
}
