Gets the text of this symbol, throwing an exception if its unknown. @return the text of the symbol, not null. @throws UnknownSymbolException if the symbol text isn't known.
()
| 55 | * @throws UnknownSymbolException if the symbol text isn't known. |
| 56 | */ |
| 57 | public String assumeText(); |
| 58 | |
| 59 | |
| 60 | /** |
no outgoing calls