public class SymbolRedefinitionException
extends java.lang.Exception
SymbolRedefinitionException
is thrown if a symbol is
redefined improperly or if two symbols exist in the symbol table with
the different versions.Constructor and Description |
---|
SymbolRedefinitionException(SymbolID new_id,
SymbolID old_id)
Create a new exception object for the specified symbol identifiers.
|
Modifier and Type | Method and Description |
---|---|
SymbolID |
getNewSymbolID()
Return the symbol identifier for the new symbol.
|
SymbolID |
getOldSymboID()
Return the symbol identifier for the old symbol.
|