org
.
kiama
.
example
.
imperative
Generator
trait
Generator
extends
AnyRef
ScalaCheck generators for programs in the imperative language.
Linear Supertypes
AnyRef
,
Any
Known Subclasses
ImperativeGen
,
RewriterTests
,
UniplateTests
Ordering
Alphabetic
By inheritance
Inherited
Generator
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
implicit
def
arbAsgn
:
Arbitrary
[
Asgn
]
implicit
def
arbExp
:
Arbitrary
[
Exp
]
implicit
def
arbNum
:
Arbitrary
[
Num
]
implicit
def
arbSeqn
:
Arbitrary
[
Seqn
]
implicit
def
arbStmt
:
Arbitrary
[
Stmt
]
implicit
def
arbWhile
:
Arbitrary
[
While
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
def
genAdd
(
sz:
Int
)
:
Gen
[
Add
]
def
genAsgn
(
sz:
Int
)
:
Gen
[
Asgn
]
def
genDiv
(
sz:
Int
)
:
Gen
[
Div
]
val
genDouble
:
Gen
[
Num
]
def
genExp
(
sz:
Int
)
:
Gen
[
Exp
]
val
genIdn
:
Gen
[
String
]
val
genInteger
:
Gen
[
Num
]
def
genInternalExp
(
sz:
Int
)
:
Gen
[
Exp
]
def
genInternalStmt
(
sz:
Int
)
:
Gen
[
Stmt
]
val
genLeafExp
:
Gen
[
Exp
with
Serializable
]
val
genLeafStmt
:
Gen
[
Null
]
def
genMul
(
sz:
Int
)
:
Gen
[
Mul
]
def
genNeg
(
sz:
Int
)
:
Gen
[
Neg
]
val
genNum
:
Gen
[
Num
]
def
genSeqn
(
sz:
Int
)
:
Gen
[
Seqn
]
def
genStmt
(
sz:
Int
)
:
Gen
[
Stmt
]
def
genSub
(
sz:
Int
)
:
Gen
[
Sub
]
val
genVar
:
Gen
[
Var
]
def
genWhile
(
sz:
Int
)
:
Gen
[
While
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
Inherited from
AnyRef
Inherited from
Any
Ungrouped
ScalaCheck generators for programs in the imperative language.