sigmastate
.
lang
SrcCtxCallbackRewriter
Related Doc:
package lang
object
SrcCtxCallbackRewriter
extends
CallbackRewriter
Linear Supertypes
CallbackRewriter
,
Rewriter
,
RewriterCore
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
SrcCtxCallbackRewriter
CallbackRewriter
Rewriter
RewriterCore
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
all
(
name:
String
,
s: ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
all
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
allMap
[
CC
[
V
,
W
]
<:
Map
[
V
,
W
]
]
(
s:
Strategy
,
t:
CC
[
Any
,
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
,
Any
], (
Any
,
Any
),
CC
[
Any
,
Any
]]
)
:
Option
[
CC
[
Any
,
Any
]]
Definition Classes
RewriterCore
def
allProduct
(
s:
Strategy
,
p:
Product
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
allRewritable
(
s:
Strategy
,
r:
Rewritable
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
allTraversable
[
CC
[
U
]
<:
Traversable
[
U
]
]
(
s:
Strategy
,
t:
CC
[
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
Any
,
CC
[
Any
]]
)
:
Option
[
CC
[
Any
]]
Definition Classes
RewriterCore
def
allbu
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
allbu
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
alldownup2
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
alldownup2
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
alltd
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
alltd
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
alltdfold
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
alltdfold
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
and
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
and
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
attempt
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
attempt
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
bottomup
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
bottomup
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
bottomupS
(
name:
String
,
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
bottomupS
(
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
breadthfirst
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
breadthfirst
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
build
(
name:
String
,
t: ⇒
Any
)
:
Strategy
Definition Classes
RewriterCore
macro
def
build
(
t:
Any
)
:
Strategy
Definition Classes
RewriterCore
def
child
(
name:
String
,
i:
Int
,
s: ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
child
(
i:
Int
,
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
childProduct
(
s:
Strategy
,
i:
Int
,
p:
Product
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
childSeq
[
CC
[
U
]
<:
Seq
[
U
]
]
(
s:
Strategy
,
i:
Int
,
t:
CC
[
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
Any
,
CC
[
Any
]]
)
:
Option
[
CC
[
Any
]]
Definition Classes
RewriterCore
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
macro
def
collect
[
CC
[
X
]
<:
Traversable
[
X
]
,
U
]
(
f:
==>
[
Any
,
U
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
U
,
CC
[
U
]]
)
: (
Any
) ⇒
CC
[
U
]
Definition Classes
RewriterCore
def
collectWithName
[
CC
[
X
]
<:
Traversable
[
X
]
,
U
]
(
name:
String
,
f:
==>
[
Any
,
U
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
U
,
CC
[
U
]]
)
: (
Any
) ⇒
CC
[
U
]
Definition Classes
Rewriter
macro
def
collectall
[
CC
[
X
]
<:
Traversable
[
X
]
,
U
]
(
f:
==>
[
Any
,
CC
[
U
]]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
U
,
CC
[
U
]]
)
: (
Any
) ⇒
CC
[
U
]
Definition Classes
RewriterCore
def
collectallWithName
[
CC
[
X
]
<:
Traversable
[
X
]
,
U
]
(
name:
String
,
f:
==>
[
Any
,
CC
[
U
]]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
U
,
CC
[
U
]]
)
: (
Any
) ⇒
CC
[
U
]
Definition Classes
Rewriter
def
collectl
[
U
]
(
f:
==>
[
Any
,
U
]
)
: (
Any
) ⇒
List
[
U
]
Definition Classes
Rewriter
def
collects
[
U
]
(
f:
==>
[
Any
,
U
]
)
: (
Any
) ⇒
Set
[
U
]
Definition Classes
Rewriter
def
congruence
(
name:
String
,
ss:
Strategy
*
)
:
Strategy
Definition Classes
RewriterCore
macro
def
congruence
(
ss:
Strategy
*
)
:
Strategy
Definition Classes
RewriterCore
def
congruenceProduct
(
p:
Product
,
ss:
Strategy
*
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
copy
[
T <:
Product
]
(
t:
T
)
:
T
Definition Classes
RewriterCore
def
count
(
name:
String
,
f:
==>
[
Any
,
Int
]
)
: (
Any
) ⇒
Int
Definition Classes
Rewriter
macro
def
count
(
f:
==>
[
Any
,
Int
]
)
: (
Any
) ⇒
Int
Definition Classes
RewriterCore
def
debug
(
name:
String
,
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
macro
def
debug
(
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
def
dispatch
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
CallbackRewriter
def
doloop
(
name:
String
,
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
doloop
(
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
dontstop
(
s: ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
downup
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
downup
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
downup
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
downup
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
downupS
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
downupS
(
name:
String
,
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
downupS
(
s1:
Strategy
,
s2:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
downupS
(
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
dup
[
T <:
Product
]
(
t:
T
,
children:
Array
[
AnyRef
]
)
:
T
Definition Classes
CallbackRewriter → RewriterCore
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
eq
:
Strategy
Definition Classes
Rewriter
val
equal
:
Strategy
Definition Classes
Rewriter
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
everything
[
T
]
(
name:
String
,
v:
T
)
(
f: (
T
,
T
) ⇒
T
)
(
g:
==>
[
Any
,
T
]
)
(
t:
Any
)
:
T
Definition Classes
Rewriter
macro
def
everything
[
T
]
(
v:
T
)
(
f: (
T
,
T
) ⇒
T
)
(
g:
==>
[
Any
,
T
]
)
(
t:
Any
)
:
T
Definition Classes
RewriterCore
def
everywhere
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
everywhere
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
everywherebu
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
everywherebu
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
everywheretd
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
everywheretd
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
val
fail
:
Strategy
Definition Classes
RewriterCore
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
val
id
:
Strategy
Definition Classes
RewriterCore
def
innermost
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
innermost
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
innermost2
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
innermost2
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
ior
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
ior
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
isinnernode
:
Strategy
Definition Classes
Rewriter
val
isleaf
:
Strategy
Definition Classes
Rewriter
val
ispropersubterm
:
Strategy
Definition Classes
Rewriter
val
ispropersuperterm
:
Strategy
Definition Classes
Rewriter
val
issubterm
:
Strategy
Definition Classes
Rewriter
val
issuperterm
:
Strategy
Definition Classes
Rewriter
def
lastly
(
name:
String
,
s:
Strategy
,
f:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
lastly
(
s:
Strategy
,
f:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
leaves
(
name:
String
,
s:
Strategy
,
isleaf:
Strategy
,
skip: (
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
leaves
(
name:
String
,
s:
Strategy
,
isleaf:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
leaves
(
s:
Strategy
,
isleaf:
Strategy
,
skip: (
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
leaves
(
s:
Strategy
,
isleaf:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
log
(
name:
String
,
s: ⇒
Strategy
,
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
macro
def
log
(
s:
Strategy
,
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
def
logfail
[
T
]
(
name:
String
,
s: ⇒
Strategy
,
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
macro
def
logfail
[
T
]
(
s:
Strategy
,
msg:
String
,
emitter:
Emitter
)
:
Strategy
Definition Classes
RewriterCore
def
loop
(
name:
String
,
c:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
loop
(
r:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
loopiter
(
name:
String
,
s: (
Int
) ⇒
Strategy
,
low:
Int
,
high:
Int
)
:
Strategy
Definition Classes
Rewriter
def
loopiter
(
name:
String
,
i:
Strategy
,
r:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
loopiter
(
s: (
Int
) ⇒
Strategy
,
low:
Int
,
high:
Int
)
:
Strategy
Definition Classes
RewriterCore
macro
def
loopiter
(
i:
Strategy
,
r:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
loopnot
(
name:
String
,
r:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
loopnot
(
r:
Strategy
,
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
makechild
(
c:
Any
)
:
AnyRef
Attributes
protected
Definition Classes
RewriterCore
def
manybu
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
manybu
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
manytd
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
manytd
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
map
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
map
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
memo
(
name:
String
,
s: ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
memo
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
mkStrategy
(
name:
String
,
f: (
Any
) ⇒
Option
[
Any
]
)
:
Strategy
Definition Classes
RewriterCore
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
not
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
not
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
oncebu
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
oncebu
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
oncetd
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
oncetd
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
one
(
name:
String
,
s: ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
one
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
oneMap
[
CC
[
V
,
W
]
<:
Map
[
V
,
W
]
]
(
s:
Strategy
,
t:
CC
[
Any
,
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
,
Any
], (
Any
,
Any
),
CC
[
Any
,
Any
]]
)
:
Option
[
CC
[
Any
,
Any
]]
Definition Classes
RewriterCore
def
oneProduct
(
s:
Strategy
,
p:
Product
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
oneRewritable
(
s:
Strategy
,
r:
Rewritable
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
oneTraversable
[
CC
[
U
]
<:
Traversable
[
U
]
]
(
s:
Strategy
,
t:
CC
[
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
Any
,
CC
[
Any
]]
)
:
Option
[
CC
[
Any
]]
Definition Classes
RewriterCore
def
option
(
name:
String
,
o: ⇒
Option
[
Any
]
)
:
Strategy
Definition Classes
RewriterCore
macro
def
option
(
o:
Option
[
Any
]
)
:
Strategy
Definition Classes
RewriterCore
def
or
(
name:
String
,
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
or
(
s1:
Strategy
,
s2:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
outermost
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
outermost
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
para
[
T
]
(
f: (
Any
,
Seq
[
T
]) ⇒
T
)
: (
Any
) ⇒
T
Definition Classes
RewriterCore
macro
def
query
[
T
]
(
f:
==>
[
T
,
Unit
]
)
:
Strategy
Definition Classes
RewriterCore
def
queryWithName
[
T
]
(
name:
String
,
f:
==>
[
T
,
Unit
]
)
:
Strategy
Definition Classes
RewriterCore
def
queryf
(
name:
String
,
f: (
Any
) ⇒
Unit
)
:
Strategy
Definition Classes
RewriterCore
macro
def
queryf
(
f: (
Any
) ⇒
Unit
)
:
Strategy
Definition Classes
RewriterCore
def
reduce
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
reduce
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
repeat
(
name:
String
,
s:
Strategy
,
n:
Int
)
:
Strategy
Definition Classes
Rewriter
def
repeat
(
name:
String
,
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
repeat
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
repeat
(
s:
Strategy
,
n:
Int
)
:
Strategy
Definition Classes
RewriterCore
macro
def
repeat
(
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
repeat
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
repeat1
(
name:
String
,
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
Rewriter
def
repeat1
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
repeat1
(
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
repeat1
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
repeatuntil
(
name:
String
,
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
repeatuntil
(
s:
Strategy
,
r:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
restore
(
name:
String
,
s:
Strategy
,
rest:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
restore
(
s:
Strategy
,
rest:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
restorealways
(
name:
String
,
s:
Strategy
,
rest:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
restorealways
(
s:
Strategy
,
rest:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
rewrite
[
T
]
(
s:
Strategy
)
(
t:
T
)
:
T
Definition Classes
Rewriter
def
rewriteTree
[
T <:
Product
,
U <:
T
]
(
s:
Strategy
)
(
t:
Tree
[
T
,
U
]
,
shape:
TreeShape
)
:
Tree
[
T
,
U
]
Definition Classes
Rewriter
def
rewriting
[
T
]
(
oldTerm:
T
,
newTerm:
T
)
:
T
Definition Classes
SrcCtxCallbackRewriter
→ CallbackRewriter
macro
def
rule
[
T
]
(
f:
==>
[
T
,
T
]
)
:
Strategy
Definition Classes
RewriterCore
def
ruleWithName
[
T
]
(
n:
String
,
f:
==>
[
T
,
T
]
)
:
Strategy
Definition Classes
CallbackRewriter → RewriterCore
def
rulef
(
n:
String
,
f: (
Any
) ⇒
Any
)
:
Strategy
Definition Classes
CallbackRewriter → RewriterCore
macro
def
rulef
(
f: (
Any
) ⇒
Any
)
:
Strategy
Definition Classes
RewriterCore
macro
def
rulefs
[
T
]
(
f:
==>
[
T
,
Strategy
]
)
:
Strategy
Definition Classes
RewriterCore
def
rulefsWithName
[
T
]
(
n:
String
,
f:
==>
[
T
,
Strategy
]
)
:
Strategy
Definition Classes
CallbackRewriter → RewriterCore
def
some
(
name:
String
,
s: ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
some
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
someMap
[
CC
[
V
,
W
]
<:
Map
[
V
,
W
]
]
(
s:
Strategy
,
t:
CC
[
Any
,
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
,
Any
], (
Any
,
Any
),
CC
[
Any
,
Any
]]
)
:
Option
[
CC
[
Any
,
Any
]]
Definition Classes
RewriterCore
def
someProduct
(
s:
Strategy
,
p:
Product
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
someRewritable
(
s:
Strategy
,
r:
Rewritable
)
:
Option
[
Any
]
Definition Classes
RewriterCore
def
someTraversable
[
CC
[
U
]
<:
Traversable
[
U
]
]
(
s:
Strategy
,
t:
CC
[
Any
]
)
(
implicit
cbf:
CanBuildFrom
[
CC
[
Any
],
Any
,
CC
[
Any
]]
)
:
Option
[
CC
[
Any
]]
Definition Classes
RewriterCore
def
somebu
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
somebu
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
somedownup
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
somedownup
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
sometd
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
sometd
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
macro
def
strategy
[
T
]
(
f:
==>
[
T
,
Option
[
T
]]
)
:
Strategy
Definition Classes
RewriterCore
def
strategyWithName
[
T
]
(
n:
String
,
f:
==>
[
T
,
Option
[
T
]]
)
:
Strategy
Definition Classes
CallbackRewriter → RewriterCore
def
strategyf
(
n:
String
,
f: (
Any
) ⇒
Option
[
Any
]
)
:
Strategy
Definition Classes
CallbackRewriter → RewriterCore
macro
def
strategyf
(
f: (
Any
) ⇒
Option
[
Any
]
)
:
Strategy
Definition Classes
RewriterCore
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
macro
def
term
[
T
]
(
t:
T
)
:
Strategy
Definition Classes
RewriterCore
def
termWithName
[
T
]
(
name:
String
,
t:
T
)
:
Strategy
Definition Classes
RewriterCore
def
test
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
test
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
topdown
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
topdown
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
def
topdownS
(
name:
String
,
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
topdownS
(
s:
Strategy
,
stop: (⇒
Strategy
) ⇒
Strategy
)
:
Strategy
Definition Classes
RewriterCore
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
(
...
)
def
where
(
name:
String
,
s:
Strategy
)
:
Strategy
Definition Classes
Rewriter
macro
def
where
(
s:
Strategy
)
:
Strategy
Definition Classes
RewriterCore
Inherited from
CallbackRewriter
Inherited from
Rewriter
Inherited from
RewriterCore
Inherited from
AnyRef
Inherited from
Any
Ungrouped