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
NameAlreadyDefined
public static boolean isDefined(java.lang.String name)
public static boolean isDefined(java.lang.String name, java.lang.String kind)