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.MaltChainedException
LabelSet checkOutNewLabelSet() throws MaltChainedException
MaltChainedException
void checkInLabelSet(LabelSet labelSet) throws MaltChainedException
labelSet
- a label set.MaltChainedException
void clear() throws MaltChainedException
MaltChainedException
Copyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.