it
.
unibo
.
scafi
.
simulation
.
frontend
SimulationCmdLine
Related Doc:
package frontend
object
SimulationCmdLine
extends
OptionParser
[
Settings
.type]
Linear Supertypes
OptionParser
[
Settings
.type],
OptionDefCallback
[
Settings
.type],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
SimulationCmdLine
OptionParser
OptionDefCallback
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
arg
[
A
]
(
name:
String
)
(
implicit
arg0:
Read
[
A
]
)
:
OptionDef
[
A
,
Settings
.type]
Definition Classes
OptionParser
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
checkConfig
(
f: (
Settings
.type) ⇒
Either
[
String
,
Unit
]
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
@throws
(
...
)
def
cmd
(
name:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
def
displayToErr
(
msg:
String
)
:
Unit
Definition Classes
OptionParser
def
displayToOut
(
msg:
String
)
:
Unit
Definition Classes
OptionParser
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
errorOnUnknownArgument
:
Boolean
Definition Classes
OptionParser
def
failure
(
msg:
String
)
:
Either
[
String
,
Unit
]
Definition Classes
OptionParser
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate
()
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate
()
def
head
(
xs:
String
*
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
def
header
:
String
Definition Classes
OptionParser
def
help
(
x:
Char
,
name:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
def
help
(
name:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
makeDef
[
A
]
(
kind:
OptionDefKind
,
name:
String
)
(
implicit
arg0:
Read
[
A
]
)
:
OptionDef
[
A
,
Settings
.type]
Attributes
protected
Definition Classes
OptionParser
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
note
(
x:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
final
def
notify
()
:
Unit
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
def
opt
[
A
]
(
x:
Char
,
name:
String
)
(
implicit
arg0:
Read
[
A
]
)
:
OptionDef
[
A
,
Settings
.type]
Definition Classes
OptionParser
def
opt
[
A
]
(
name:
String
)
(
implicit
arg0:
Read
[
A
]
)
:
OptionDef
[
A
,
Settings
.type]
Definition Classes
OptionParser
val
options
:
ListBuffer
[
OptionDef
[_,
Settings
.type]]
Attributes
protected
Definition Classes
OptionParser
def
parse
(
args:
Seq
[
String
]
,
init:
Settings
.type
)
:
Option
[
Settings
.type]
Definition Classes
OptionParser
def
parse
(
args:
Seq
[
String
]
)
(
implicit
ev:
Zero
[
Settings
.type]
)
:
Boolean
Definition Classes
OptionParser
def
renderingMode
:
RenderingMode
Definition Classes
OptionParser
def
reportError
(
msg:
String
)
:
Unit
Definition Classes
OptionParser
def
reportWarning
(
msg:
String
)
:
Unit
Definition Classes
OptionParser
def
showUsageOnError
:
Option
[
Boolean
]
Definition Classes
OptionParser
def
success
:
Either
[
String
,
Unit
]
Definition Classes
OptionParser
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
terminate
(
exitState:
Either
[
String
,
Unit
]
)
:
Unit
Definition Classes
OptionParser
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
usage
:
String
Definition Classes
OptionParser
def
version
(
x:
Char
,
name:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
def
version
(
name:
String
)
:
OptionDef
[
Unit
,
Settings
.type]
Definition Classes
OptionParser
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Deprecated Value Members
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@Deprecated
@deprecated
@throws
(
classOf[java.lang.Throwable]
)
Deprecated
(Since version )
see corresponding Javadoc for more information.
Inherited from
OptionParser
[
Settings
.type]
Inherited from
OptionDefCallback
[
Settings
.type]
Inherited from
AnyRef
Inherited from
Any
Ungrouped