Package org.jacop.jasat.utils

Class OptParse<E>

java.lang.Object

org.jacop.jasat.utils.OptParse<E>

public class OptParse<E>
extends Object

util to parse command-line arguments

Version:

4.10

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	OptParse.OptHandler<E>	a class to handle one option

Field Summary

Fields

Modifier and Type	Field	Description
private Map<String,OptParse.OptHandler<E>>	handlers
private String	mainHelp
String[]	realArgs

Constructor Summary

Constructors

Constructor	Description
OptParse()

Method Summary

Modifier and Type	Method	Description
void	addHandler(OptParse.OptHandler<E> handler)	add a handler for some option
void	exitParsing()	a handler can call this to interrupt the parsing
E	parse(String[] args, E e)
void	printHelp()	print help of all options
void	setHelp(String helpString)	change the main help string, which will be printed if asked, or if a wrong option is given

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

realArgs

public String[] realArgs

handlers

private Map<String,OptParse.OptHandler<E>> handlers

mainHelp

private String mainHelp

Constructor Details

OptParse

public OptParse()

Method Details

addHandler

public void addHandler(OptParse.OptHandler<E> handler)

add a handler for some option

Parameters:

handler - the handler

setHelp

public void setHelp(String helpString)

change the main help string, which will be printed if asked, or if a wrong option is given

Parameters:

helpString - the help string

parse

public E parse(String[] args,
 E e)

printHelp

public void printHelp()

print help of all options

exitParsing

public void exitParsing()

a handler can call this to interrupt the parsing