public class NameTable
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.util.Map |
parsed_interfaces |
| Constructor and Description |
|---|
NameTable() |
| Modifier and Type | Method and Description |
|---|---|
static void |
define(java.lang.String name,
java.lang.String kind)
define a name.
|
static void |
inheritFrom(java.lang.String name,
SymbolList ancestors)
copy names declared in an ancestor interface to the local scope
|
static void |
init() |
static boolean |
isDefined(java.lang.String name)
check whether name is already defined
|
static boolean |
isDefined(java.lang.String name,
java.lang.String kind) |
public static void init()
public static void define(java.lang.String name,
java.lang.String kind)
throws NameAlreadyDefined
name - The name to be definedkind - the type of name, e.g. "type"NameAlreadyDefined - if the name is already definedpublic static void inheritFrom(java.lang.String name,
SymbolList ancestors)
throws NameAlreadyDefined
NameAlreadyDefinedpublic static boolean isDefined(java.lang.String name)
public static boolean isDefined(java.lang.String name,
java.lang.String kind)