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
NameAlreadyDefined
public static boolean isDefined(String name)
Copyright © 2016 JacORB. All rights reserved.