Uses of Class
dev.civl.gmc.CommandLineException

Packages that use CommandLineException

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of CommandLineException in dev.civl.gmc

Methods in dev.civl.gmc that throw CommandLineException

Modifier and Type	Method	Description
void	CommandLineParser.parse(GMCConfiguration config, BufferedReader reader)	Parses the reader, interpreting lines as command line args, modifying given configuration accordingly.
void	CommandLineParser.parse(GMCConfiguration config, File file)	Parses a file containing a configuration section, using the command line arguments from that section to modify the given configuration.
void	CommandLineParser.parse(GMCConfiguration config, Collection<String> args)	Given a collection of strings and a configuration compatible with this parser, parses the strings and uses the resulting information to modify the configuration.
GMCConfiguration	CommandLineParser.parse(Collection<String> args)	Given a collection of strings, parses them in the order of their iterator to produce a new configuration.