| Package | Description |
|---|---|
| org.corpus_tools.salt.exceptions | |
| org.corpus_tools.salt.graph.impl | |
| org.corpus_tools.salt.util |
| Modifier and Type | Class and Description |
|---|---|
class |
SaltElementNotInGraphException
|
class |
SaltInvalidModelException
This exception class is used, in case of a Salt model is not valid respecting
the constraints of Salt.
|
class |
SaltParameterException
This exception class is thrown, when a wrong parameter was passed to a method
in the Salt api.
|
class |
SaltResourceException
This exception is used for exceptions occuring while loading or storing Salt
data from or to disk.
|
class |
SaltSampleException
An Exception class used by the
SampleGenerator. |
class |
SaltTokenizerException |
class |
SaltTraverserException |
| Modifier and Type | Method and Description |
|---|---|
protected void |
GraphImpl.update(Object oldValue,
Object container,
org.corpus_tools.salt.graph.impl.GraphImpl.UPDATE_TYPE updateType)
Updates all graph internal indexes, concerning the kind of the update
which has been made.
|
| Modifier and Type | Method and Description |
|---|---|
void |
VisJsVisualizer.buildJSON()
By invoking of this method the graph of the salt document specified by
the constructor will be traversed.
|
void |
VisJsVisualizer.visualize(org.eclipse.emf.common.util.URI outputFolderUri)
This method writes the html document, which visualizes the Salt document,
specified by constructor.
|
Copyright © 2009–2019 Humboldt-Universität zu Berlin, INRIA. All rights reserved.