Uses of Class
de.saar.chorus.domgraph.ExampleManager.ParserException

Packages that use ExampleManager.ParserException

Package	Description
de.saar.chorus.domgraph	Provides classes for accessing global properties of the system, such as the Domgraph version number and the example database.

Uses of ExampleManager.ParserException in de.saar.chorus.domgraph

Methods in de.saar.chorus.domgraph that throw ExampleManager.ParserException

Modifier and Type	Method	Description
void	ExampleManager.addAllExamples(String directory)	Adds all examples from a given example specification file.