public class NameTable extends Object
| Modifier and Type | Field and Description |
|---|---|
static Map |
parsed_interfaces |
| Constructor and Description |
|---|
NameTable() |
| Modifier and Type | Method and Description |
|---|---|
static void |
define(String name,
String kind)
define a name.
|
static void |
inheritFrom(String name,
SymbolList ancestors)
copy names declared in an ancestor interface to the local scope
|
static void |
init() |
static boolean |
isDefined(String name)
check whether name is already defined
|
static boolean |
isDefined(String name,
String kind) |
public static final Map parsed_interfaces
public static void init()
public static void define(String name, 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(String name, SymbolList ancestors) throws NameAlreadyDefined
NameAlreadyDefinedpublic static boolean isDefined(String name)
Copyright © 2017 JacORB. All rights reserved.