Package | Description |
---|---|
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Modifier and Type | Method and Description |
---|---|
int |
CommandLine.getInteger(java.lang.String param,
int defaultValue)
Gets the value of an integer command line option.
|
long |
CommandLine.getLong(java.lang.String param,
long defaultValue)
Gets the value of a long integer command line option.
|
void |
CommandLine.parse(java.lang.String[] args)
Parses the command line.
|
Copyright © 2003-2019 The KeY-Project.