Uses of Class
dev.civl.sarl.IF.SARLException

Packages that use SARLException

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.config	The config module provides a SARLConfig type, which encapsulates configuration information such as the list of available theorem provers with information on each.

Uses of SARLException in dev.civl.sarl.IF

Subclasses of SARLException in dev.civl.sarl.IF

Modifier and Type	Class	Description
class	SARLBoundException	An exception that occurs when an index is out of bounds.
class	SARLInternalException	A SARL internal exception represents an error that is "not supposed to happen." It can be used like an assertion, whenever you feel that something should always be true.
class	TheoremProverException

Uses of SARLException in dev.civl.sarl.IF.config

Methods in dev.civl.sarl.IF.config that throw SARLException

Modifier and Type	Method	Description
static SARLConfig	Configurations.newConfiguration(File configFile)	Parses the specified SARL configuration file.