Object

sigmastate.lang

SrcCtxCallbackRewriter

Related Doc: package lang

Permalink

object SrcCtxCallbackRewriter extends CallbackRewriter

Linear Supertypes
CallbackRewriter, Rewriter, RewriterCore, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SrcCtxCallbackRewriter
  2. CallbackRewriter
  3. Rewriter
  4. RewriterCore
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def all(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  5. macro def all(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  6. 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]]

    Permalink
    Definition Classes
    RewriterCore

  7. def allProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  8. def allRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  9. def allTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore

  10. def allbu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  11. macro def allbu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  12. def alldownup2(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  13. macro def alldownup2(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  14. def alltd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  15. macro def alltd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  16. def alltdfold(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  17. macro def alltdfold(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  18. def and(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  19. macro def and(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  20. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  21. def attempt(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  22. macro def attempt(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  23. def bottomup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  24. macro def bottomup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  25. def bottomupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  26. macro def bottomupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  27. def breadthfirst(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  28. macro def breadthfirst(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  29. def build(name: String, t: ⇒ Any): Strategy

    Permalink
    Definition Classes
    RewriterCore

  30. macro def build(t: Any): Strategy

    Permalink
    Definition Classes
    RewriterCore

  31. def child(name: String, i: Int, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  32. macro def child(i: Int, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  33. def childProduct(s: Strategy, i: Int, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  34. def childSeq[CC[U] <: Seq[U]](s: Strategy, i: Int, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore

  35. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  36. macro def collect[CC[X] <: Traversable[X], U](f: ==>[Any, U])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    RewriterCore

  37. def collectWithName[CC[X] <: Traversable[X], U](name: String, f: ==>[Any, U])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    Rewriter

  38. macro def collectall[CC[X] <: Traversable[X], U](f: ==>[Any, CC[U]])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    RewriterCore

  39. def collectallWithName[CC[X] <: Traversable[X], U](name: String, f: ==>[Any, CC[U]])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    Rewriter

  40. def collectl[U](f: ==>[Any, U]): (Any) ⇒ List[U]

    Permalink
    Definition Classes
    Rewriter

  41. def collects[U](f: ==>[Any, U]): (Any) ⇒ Set[U]

    Permalink
    Definition Classes
    Rewriter

  42. def congruence(name: String, ss: Strategy*): Strategy

    Permalink
    Definition Classes
    RewriterCore

  43. macro def congruence(ss: Strategy*): Strategy

    Permalink
    Definition Classes
    RewriterCore

  44. def congruenceProduct(p: Product, ss: Strategy*): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  45. def copy[T <: Product](t: T): T

    Permalink
    Definition Classes
    RewriterCore

  46. def count(name: String, f: ==>[Any, Int]): (Any) ⇒ Int

    Permalink
    Definition Classes
    Rewriter

  47. macro def count(f: ==>[Any, Int]): (Any) ⇒ Int

    Permalink
    Definition Classes
    RewriterCore

  48. def debug(name: String, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  49. macro def debug(msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  50. def dispatch(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    CallbackRewriter

  51. def doloop(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  52. macro def doloop(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  53. def dontstop(s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  54. def downup(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  55. def downup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  56. macro def downup(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  57. macro def downup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  58. def downupS(name: String, s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  59. def downupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  60. macro def downupS(s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  61. macro def downupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  62. def dup[T <: Product](t: T, children: Array[AnyRef]): T

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  63. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  64. val eq: Strategy

    Permalink
    Definition Classes
    Rewriter

  65. val equal: Strategy

    Permalink
    Definition Classes
    Rewriter

  66. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  67. def everything[T](name: String, v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T

    Permalink
    Definition Classes
    Rewriter

  68. macro def everything[T](v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T

    Permalink
    Definition Classes
    RewriterCore

  69. def everywhere(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  70. macro def everywhere(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  71. def everywherebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  72. macro def everywherebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  73. def everywheretd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  74. macro def everywheretd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  75. val fail: Strategy

    Permalink
    Definition Classes
    RewriterCore

  76. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  77. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  78. val id: Strategy

    Permalink
    Definition Classes
    RewriterCore

  79. def innermost(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  80. macro def innermost(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  81. def innermost2(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  82. macro def innermost2(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  83. def ior(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  84. macro def ior(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  85. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  86. val isinnernode: Strategy

    Permalink
    Definition Classes
    Rewriter

  87. val isleaf: Strategy

    Permalink
    Definition Classes
    Rewriter

  88. val ispropersubterm: Strategy

    Permalink
    Definition Classes
    Rewriter

  89. val ispropersuperterm: Strategy

    Permalink
    Definition Classes
    Rewriter

  90. val issubterm: Strategy

    Permalink
    Definition Classes
    Rewriter

  91. val issuperterm: Strategy

    Permalink
    Definition Classes
    Rewriter

  92. def lastly(name: String, s: Strategy, f: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  93. macro def lastly(s: Strategy, f: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  94. def leaves(name: String, s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  95. def leaves(name: String, s: Strategy, isleaf: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  96. macro def leaves(s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  97. macro def leaves(s: Strategy, isleaf: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  98. def log(name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  99. macro def log(s: Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  100. def logfail[T](name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  101. macro def logfail[T](s: Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore

  102. def loop(name: String, c: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  103. macro def loop(r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  104. def loopiter(name: String, s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy

    Permalink
    Definition Classes
    Rewriter

  105. def loopiter(name: String, i: Strategy, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  106. macro def loopiter(s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy

    Permalink
    Definition Classes
    RewriterCore

  107. macro def loopiter(i: Strategy, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  108. def loopnot(name: String, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  109. macro def loopnot(r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  110. def makechild(c: Any): AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    RewriterCore

  111. def manybu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  112. macro def manybu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  113. def manytd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  114. macro def manytd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  115. def map(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  116. macro def map(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  117. def memo(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  118. macro def memo(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  119. def mkStrategy(name: String, f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  120. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  121. def not(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  122. macro def not(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  123. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  124. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  125. def oncebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  126. macro def oncebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  127. def oncetd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  128. macro def oncetd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  129. def one(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  130. macro def one(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  131. 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]]

    Permalink
    Definition Classes
    RewriterCore

  132. def oneProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  133. def oneRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  134. def oneTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore

  135. def option(name: String, o: ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  136. macro def option(o: Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  137. def or(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  138. macro def or(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  139. def outermost(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  140. macro def outermost(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  141. def para[T](f: (Any, Seq[T]) ⇒ T): (Any) ⇒ T

    Permalink
    Definition Classes
    RewriterCore

  142. macro def query[T](f: ==>[T, Unit]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  143. def queryWithName[T](name: String, f: ==>[T, Unit]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  144. def queryf(name: String, f: (Any) ⇒ Unit): Strategy

    Permalink
    Definition Classes
    RewriterCore

  145. macro def queryf(f: (Any) ⇒ Unit): Strategy

    Permalink
    Definition Classes
    RewriterCore

  146. def reduce(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  147. macro def reduce(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  148. def repeat(name: String, s: Strategy, n: Int): Strategy

    Permalink
    Definition Classes
    Rewriter

  149. def repeat(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  150. def repeat(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  151. macro def repeat(s: Strategy, n: Int): Strategy

    Permalink
    Definition Classes
    RewriterCore

  152. macro def repeat(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  153. macro def repeat(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  154. def repeat1(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  155. def repeat1(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  156. macro def repeat1(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  157. macro def repeat1(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  158. def repeatuntil(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  159. macro def repeatuntil(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  160. def restore(name: String, s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  161. macro def restore(s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  162. def restorealways(name: String, s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  163. macro def restorealways(s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  164. def rewrite[T](s: Strategy)(t: T): T

    Permalink
    Definition Classes
    Rewriter

  165. def rewriteTree[T <: Product, U <: T](s: Strategy)(t: Tree[T, U], shape: TreeShape): Tree[T, U]

    Permalink
    Definition Classes
    Rewriter

  166. def rewriting[T](oldTerm: T, newTerm: T): T

    Permalink
    Definition Classes
    SrcCtxCallbackRewriter → CallbackRewriter

  167. macro def rule[T](f: ==>[T, T]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  168. def ruleWithName[T](n: String, f: ==>[T, T]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  169. def rulef(n: String, f: (Any) ⇒ Any): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  170. macro def rulef(f: (Any) ⇒ Any): Strategy

    Permalink
    Definition Classes
    RewriterCore

  171. macro def rulefs[T](f: ==>[T, Strategy]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  172. def rulefsWithName[T](n: String, f: ==>[T, Strategy]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  173. def some(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  174. macro def some(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  175. 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]]

    Permalink
    Definition Classes
    RewriterCore

  176. def someProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  177. def someRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore

  178. def someTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore

  179. def somebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  180. macro def somebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  181. def somedownup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  182. macro def somedownup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  183. def sometd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  184. macro def sometd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  185. macro def strategy[T](f: ==>[T, Option[T]]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  186. def strategyWithName[T](n: String, f: ==>[T, Option[T]]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  187. def strategyf(n: String, f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore

  188. macro def strategyf(f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore

  189. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  190. macro def term[T](t: T): Strategy

    Permalink
    Definition Classes
    RewriterCore

  191. def termWithName[T](name: String, t: T): Strategy

    Permalink
    Definition Classes
    RewriterCore

  192. def test(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  193. macro def test(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  194. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  195. def topdown(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  196. macro def topdown(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  197. def topdownS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  198. macro def topdownS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

  199. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  200. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  201. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  202. def where(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter

  203. macro def where(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    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 CallbackRewriter

Inherited from Rewriter

Inherited from RewriterCore

Inherited from AnyRef

Inherited from Any

Ungrouped