org
.
kiama
.
machine
.
MachineTests
M
object
M
extends
Machine
Linear Supertypes
Machine
,
PrettyPrinter
,
PrettyPrinterBase
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
M
Machine
PrettyPrinter
PrettyPrinterBase
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
class
Doc
extends ((
output.PrettyPrinter.Indent
,
output.PrettyPrinter.Width
)) ⇒ ((
Int
,
Queue
[(
Int
, (
Boolean
) ⇒ ((
Int
) ⇒
output.PrettyPrinter.Layout
) ⇒ (
Int
) ⇒
output.PrettyPrinter.Layout
)]) ⇒ (
Int
) ⇒
output.PrettyPrinter.Layout
) ⇒ (
Int
,
Queue
[(
Int
, (
Boolean
) ⇒ ((
Int
) ⇒
output.PrettyPrinter.Layout
) ⇒ (
Int
) ⇒
output.PrettyPrinter.Layout
)]) ⇒ (
Int
) ⇒
output.PrettyPrinter.Layout
with
output.PrettyPrinter.DocOps
Definition Classes
PrettyPrinter → PrettyPrinterBase
trait
DocOps
extends
AnyRef
Definition Classes
PrettyPrinterBase
type
Indent
=
Int
Definition Classes
PrettyPrinterBase
type
Layout
=
String
Definition Classes
PrettyPrinterBase
class
ParamState
[
T
,
U
]
extends
State
[
HashMap
[
T
,
U
]]
Definition Classes
Machine
class
ParamUpdate
[
T
,
U
]
extends
Update
Definition Classes
Machine
class
ParamUpdater
[
T
,
U
]
extends
AnyRef
Definition Classes
Machine
trait
PrettyPrintable
extends
AnyRef
Definition Classes
PrettyPrinterBase
class
ScalarUpdate
[
T
]
extends
Update
Definition Classes
Machine
class
State
[
T
]
extends
AnyRef
Definition Classes
Machine
abstract
class
Update
extends
AnyRef
Definition Classes
Machine
type
Width
=
Int
Definition Classes
PrettyPrinterBase
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
def
angles
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
any
(
a:
Any
)
:
Doc
Definition Classes
PrettyPrinterBase
implicit
def
anyToPrettyPrintable
(
a:
Any
)
:
PrettyPrintable
Definition Classes
PrettyPrinterBase
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
backslash
:
Doc
Definition Classes
PrettyPrinterBase
def
braces
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
brackets
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
cat
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
implicit
def
char
(
c:
Char
)
:
Doc
Definition Classes
PrettyPrinterBase
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
def
colon
:
Doc
Definition Classes
PrettyPrinterBase
def
comma
:
Doc
Definition Classes
PrettyPrinterBase
val
debug
:
Boolean
Definition Classes
M
→ Machine
val
defaultIndent
:
Int
Definition Classes
PrettyPrinterBase
val
defaultWidth
:
Int
Definition Classes
PrettyPrinterBase
def
dot
:
Doc
Definition Classes
PrettyPrinterBase
def
dquote
:
Doc
Definition Classes
PrettyPrinterBase
def
dquotes
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
empty
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
enclose
(
l:
Doc
,
d:
Doc
,
r:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equal
:
Doc
Definition Classes
PrettyPrinterBase
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
fillcat
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
fillsep
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
fillsep
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
def
finit
:
Unit
Definition Classes
Machine
def
forwslash
:
Doc
Definition Classes
PrettyPrinterBase
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
group
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
hcat
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
hsep
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
hsep
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
init
:
Unit
Definition Classes
Machine
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
langle
:
Doc
Definition Classes
PrettyPrinterBase
def
lbrace
:
Doc
Definition Classes
PrettyPrinterBase
def
lbracket
:
Doc
Definition Classes
PrettyPrinterBase
def
line
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
linebreak
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
list
[
T
]
(
l:
List
[
T
]
,
prefix:
String
,
elemToDoc: (
T
) ⇒
Doc
,
sep:
Doc
,
sepfn: (
Seq
[
Doc
],
Doc
) ⇒
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
lparen
:
Doc
Definition Classes
PrettyPrinterBase
def
lsep
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
lsep2
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
lterm
(
ds:
Seq
[
Doc
]
,
term:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
main
:
Unit
Definition Classes
M
→ Machine
val
name
:
String
Definition Classes
Machine
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
nest
(
d:
Doc
,
j:
Indent
)
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
implicit
def
paramUpdaterToU
[
T
,
U
,
V >:
U
]
(
up:
ParamUpdater
[
T
,
U
]
)
:
V
Definition Classes
Machine
def
parens
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
performUpdates
:
Boolean
Definition Classes
Machine
def
plist
(
l:
List
[
PrettyPrintable
]
,
prefix:
String
,
elemToDoc: (
PrettyPrintable
) ⇒
Doc
,
sep:
Doc
,
sepfn: (
Seq
[
Doc
],
Doc
) ⇒
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
pretty
(
d:
Doc
,
w:
Width
)
:
Layout
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
pretty
(
p:
PrettyPrintable
)
:
Layout
Definition Classes
PrettyPrinterBase
def
pretty_any
(
a:
Any
)
:
Layout
Definition Classes
PrettyPrinterBase
def
rangle
:
Doc
Definition Classes
PrettyPrinterBase
def
rbrace
:
Doc
Definition Classes
PrettyPrinterBase
def
rbracket
:
Doc
Definition Classes
PrettyPrinterBase
def
reset
:
Unit
Definition Classes
Machine
def
rparen
:
Doc
Definition Classes
PrettyPrinterBase
def
run
:
Unit
Definition Classes
Machine
def
semi
:
Doc
Definition Classes
PrettyPrinterBase
def
sep
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
softbreak
:
Doc
Definition Classes
PrettyPrinterBase
def
softline
:
Doc
Definition Classes
PrettyPrinterBase
def
space
:
Doc
Definition Classes
PrettyPrinterBase
def
spaces
(
n:
Int
)
:
Doc
Definition Classes
PrettyPrinterBase
def
squote
:
Doc
Definition Classes
PrettyPrinterBase
def
squotes
(
d:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
ssep
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
implicit
def
stateTToT
[
T
,
U >:
T
]
(
t:
State
[
T
]
)
:
U
Definition Classes
Machine
def
step
:
Boolean
Definition Classes
Machine
def
steps
:
Unit
Definition Classes
Machine
def
sterm
(
ds:
Seq
[
Doc
]
,
term:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
string
(
s:
String
)
:
Doc
Definition Classes
PrettyPrinterBase
def
surround
(
d:
Doc
,
b:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
implicit
def
text
(
t:
String
)
:
Doc
Definition Classes
PrettyPrinter → PrettyPrinterBase
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
value
(
v:
Any
)
:
Doc
Definition Classes
PrettyPrinterBase
def
vcat
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
def
vsep
(
ds:
Seq
[
Doc
]
,
sep:
Doc
)
:
Doc
Definition Classes
PrettyPrinterBase
def
vsep
(
ds:
Seq
[
Doc
]
)
:
Doc
Definition Classes
PrettyPrinterBase
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
()
Deprecated Value Members
def
product
(
p:
Any
)
:
Doc
Definition Classes
PrettyPrinterBase
Annotations
@deprecated
Deprecated
(Since version 1.2.1)
Use PrettyPrinter.any instead.
Inherited from
Machine
Inherited from
PrettyPrinter
Inherited from
PrettyPrinterBase
Inherited from
AnyRef
Inherited from
Any
No Group