public interface LabeledStructure
| Modifier and Type | Method and Description |
|---|---|
void |
addLabel(Element element,
java.lang.String tableName,
java.lang.String label)
Adds a label label to the graph element element
|
void |
checkInLabelSet(LabelSet labelSet)
Checks in a label set.
|
LabelSet |
checkOutNewLabelSet()
Checks out a new label set from the structure.
|
void |
clear()
Resets the structure.
|
SymbolTableHandler |
getSymbolTables()
Returns the symbol table handler.
|
void |
setSymbolTables(SymbolTableHandler symbolTables)
Sets the symbol table handler.
|
SymbolTableHandler getSymbolTables()
void setSymbolTables(SymbolTableHandler symbolTables)
symbolTables - a symbol table handler.void addLabel(Element element, java.lang.String tableName, java.lang.String label) throws MaltChainedException
element - a graph element element (a node or a edge).tableName - the name of the symbol table.label - the string value of the label.MaltChainedExceptionLabelSet checkOutNewLabelSet() throws MaltChainedException
MaltChainedExceptionvoid checkInLabelSet(LabelSet labelSet) throws MaltChainedException
labelSet - a label set.MaltChainedExceptionvoid clear() throws MaltChainedException
MaltChainedExceptionCopyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.