Package de.saar.chorus.domgraph

Provides classes for accessing global properties of the system, such as the Domgraph version number and the example database.

See:
          Description

Class Summary
ExampleManager An example manager for facilitating access to example input files.
GlobalDomgraphProperties Provides methods for accessing global properties of the Domgraph system, such as the version number.
 

Exception Summary
ExampleManager.ParserException A parser exception that occurred while reading an examples specification file.
 

Package de.saar.chorus.domgraph Description

Provides classes for accessing global properties of the system, such as the Domgraph version number and the example database.