o

sigmastate.lang

SrcCtxCallbackRewriter

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
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def all(name: String, s: ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  5. macro def all(s: Strategy): Strategy
    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]]
    Definition Classes
    RewriterCore
  7. def allProduct(s: Strategy, p: Product): Option[Any]
    Definition Classes
    RewriterCore
  8. def allRewritable(s: Strategy, r: Rewritable): Option[Any]
    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]]
    Definition Classes
    RewriterCore
  10. def allbu(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  11. macro def allbu(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  12. def alldownup2(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  13. macro def alldownup2(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  14. def alltd(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  15. macro def alltd(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  16. def alltdfold(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  17. macro def alltdfold(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  18. def and(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  19. macro def and(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def attempt(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  22. macro def attempt(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  23. def bottomup(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  24. macro def bottomup(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  25. def bottomupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  26. macro def bottomupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  27. def breadthfirst(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  28. macro def breadthfirst(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  29. def build(name: String, t: ⇒ Any): Strategy
    Definition Classes
    RewriterCore
  30. macro def build(t: Any): Strategy
    Definition Classes
    RewriterCore
  31. def child(name: String, i: Int, s: ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  32. macro def child(i: Int, s: Strategy): Strategy
    Definition Classes
    RewriterCore
  33. def childProduct(s: Strategy, i: Int, p: Product): Option[Any]
    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]]
    Definition Classes
    RewriterCore
  35. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  36. 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
  37. 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
  38. 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
  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]
    Definition Classes
    Rewriter
  40. def collectl[U](f: ==>[Any, U]): (Any) ⇒ List[U]
    Definition Classes
    Rewriter
  41. def collects[U](f: ==>[Any, U]): (Any) ⇒ Set[U]
    Definition Classes
    Rewriter
  42. def congruence(name: String, ss: Strategy*): Strategy
    Definition Classes
    RewriterCore
  43. macro def congruence(ss: Strategy*): Strategy
    Definition Classes
    RewriterCore
  44. def congruenceProduct(p: Product, ss: Strategy*): Option[Any]
    Definition Classes
    RewriterCore
  45. def copy[T <: Product](t: T): T
    Definition Classes
    RewriterCore
  46. def count(name: String, f: ==>[Any, Int]): (Any) ⇒ Int
    Definition Classes
    Rewriter
  47. macro def count(f: ==>[Any, Int]): (Any) ⇒ Int
    Definition Classes
    RewriterCore
  48. def debug(name: String, msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  49. macro def debug(msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  50. def dispatch(name: String, s: Strategy): Strategy
    Definition Classes
    CallbackRewriter
  51. def doloop(name: String, s: Strategy, r: Strategy): Strategy
    Definition Classes
    Rewriter
  52. macro def doloop(s: Strategy, r: Strategy): Strategy
    Definition Classes
    RewriterCore
  53. def dontstop(s: ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  54. def downup(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  55. def downup(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  56. macro def downup(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  57. macro def downup(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  58. def downupS(name: String, s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  59. def downupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  60. macro def downupS(s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  61. macro def downupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  62. def dup[T <: Product](t: T, children: Array[AnyRef]): T
    Definition Classes
    CallbackRewriter → RewriterCore
  63. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  64. val eq: Strategy
    Definition Classes
    Rewriter
  65. val equal: Strategy
    Definition Classes
    Rewriter
  66. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  67. def everything[T](name: String, v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T
    Definition Classes
    Rewriter
  68. macro def everything[T](v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T
    Definition Classes
    RewriterCore
  69. def everywhere(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  70. macro def everywhere(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  71. def everywherebu(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  72. macro def everywherebu(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  73. def everywheretd(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  74. macro def everywheretd(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  75. val fail: Strategy
    Definition Classes
    RewriterCore
  76. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  77. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  78. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  79. val id: Strategy
    Definition Classes
    RewriterCore
  80. def innermost(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  81. macro def innermost(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  82. def innermost2(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  83. macro def innermost2(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  84. def ior(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  85. macro def ior(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  86. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  87. val isinnernode: Strategy
    Definition Classes
    Rewriter
  88. val isleaf: Strategy
    Definition Classes
    Rewriter
  89. val ispropersubterm: Strategy
    Definition Classes
    Rewriter
  90. val ispropersuperterm: Strategy
    Definition Classes
    Rewriter
  91. val issubterm: Strategy
    Definition Classes
    Rewriter
  92. val issuperterm: Strategy
    Definition Classes
    Rewriter
  93. def lastly(name: String, s: Strategy, f: Strategy): Strategy
    Definition Classes
    Rewriter
  94. macro def lastly(s: Strategy, f: Strategy): Strategy
    Definition Classes
    RewriterCore
  95. def leaves(name: String, s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  96. def leaves(name: String, s: Strategy, isleaf: Strategy): Strategy
    Definition Classes
    Rewriter
  97. macro def leaves(s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  98. macro def leaves(s: Strategy, isleaf: Strategy): Strategy
    Definition Classes
    RewriterCore
  99. def log(name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  100. macro def log(s: Strategy, msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  101. def logfail[T](name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  102. macro def logfail[T](s: Strategy, msg: String, emitter: Emitter): Strategy
    Definition Classes
    RewriterCore
  103. def loop(name: String, c: Strategy, s: Strategy): Strategy
    Definition Classes
    Rewriter
  104. macro def loop(r: Strategy, s: Strategy): Strategy
    Definition Classes
    RewriterCore
  105. def loopiter(name: String, s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy
    Definition Classes
    Rewriter
  106. def loopiter(name: String, i: Strategy, r: Strategy, s: Strategy): Strategy
    Definition Classes
    Rewriter
  107. macro def loopiter(s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy
    Definition Classes
    RewriterCore
  108. macro def loopiter(i: Strategy, r: Strategy, s: Strategy): Strategy
    Definition Classes
    RewriterCore
  109. def loopnot(name: String, r: Strategy, s: Strategy): Strategy
    Definition Classes
    Rewriter
  110. macro def loopnot(r: Strategy, s: Strategy): Strategy
    Definition Classes
    RewriterCore
  111. def makechild(c: Any): AnyRef
    Attributes
    protected
    Definition Classes
    RewriterCore
  112. def manybu(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  113. macro def manybu(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  114. def manytd(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  115. macro def manytd(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  116. def map(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  117. macro def map(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  118. def memo(name: String, s: ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  119. macro def memo(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  120. def mkStrategy(name: String, f: (Any) ⇒ Option[Any]): Strategy
    Definition Classes
    RewriterCore
  121. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  122. def not(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  123. macro def not(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  124. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  125. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  126. def oncebu(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  127. macro def oncebu(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  128. def oncetd(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  129. macro def oncetd(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  130. def one(name: String, s: ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  131. macro def one(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  132. 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
  133. def oneProduct(s: Strategy, p: Product): Option[Any]
    Definition Classes
    RewriterCore
  134. def oneRewritable(s: Strategy, r: Rewritable): Option[Any]
    Definition Classes
    RewriterCore
  135. 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
  136. def option(name: String, o: ⇒ Option[Any]): Strategy
    Definition Classes
    RewriterCore
  137. macro def option(o: Option[Any]): Strategy
    Definition Classes
    RewriterCore
  138. def or(name: String, s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    Rewriter
  139. macro def or(s1: Strategy, s2: Strategy): Strategy
    Definition Classes
    RewriterCore
  140. def outermost(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  141. macro def outermost(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  142. def para[T](f: (Any, Seq[T]) ⇒ T): (Any) ⇒ T
    Definition Classes
    RewriterCore
  143. macro def query[T](f: ==>[T, Unit]): Strategy
    Definition Classes
    RewriterCore
  144. def queryWithName[T](name: String, f: ==>[T, Unit]): Strategy
    Definition Classes
    RewriterCore
  145. def queryf(name: String, f: (Any) ⇒ Unit): Strategy
    Definition Classes
    RewriterCore
  146. macro def queryf(f: (Any) ⇒ Unit): Strategy
    Definition Classes
    RewriterCore
  147. def reduce(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  148. macro def reduce(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  149. def repeat(name: String, s: Strategy, n: Int): Strategy
    Definition Classes
    Rewriter
  150. def repeat(name: String, s: Strategy, r: Strategy): Strategy
    Definition Classes
    Rewriter
  151. def repeat(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  152. macro def repeat(s: Strategy, n: Int): Strategy
    Definition Classes
    RewriterCore
  153. macro def repeat(s: Strategy, r: Strategy): Strategy
    Definition Classes
    RewriterCore
  154. macro def repeat(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  155. def repeat1(name: String, s: Strategy, r: Strategy): Strategy
    Definition Classes
    Rewriter
  156. def repeat1(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  157. macro def repeat1(s: Strategy, r: Strategy): Strategy
    Definition Classes
    RewriterCore
  158. macro def repeat1(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  159. def repeatuntil(name: String, s: Strategy, r: Strategy): Strategy
    Definition Classes
    Rewriter
  160. macro def repeatuntil(s: Strategy, r: Strategy): Strategy
    Definition Classes
    RewriterCore
  161. def restore(name: String, s: Strategy, rest: Strategy): Strategy
    Definition Classes
    Rewriter
  162. macro def restore(s: Strategy, rest: Strategy): Strategy
    Definition Classes
    RewriterCore
  163. def restorealways(name: String, s: Strategy, rest: Strategy): Strategy
    Definition Classes
    Rewriter
  164. macro def restorealways(s: Strategy, rest: Strategy): Strategy
    Definition Classes
    RewriterCore
  165. def rewrite[T](s: Strategy)(t: T): T
    Definition Classes
    Rewriter
  166. def rewriteTree[T <: Product, U <: T](s: Strategy)(t: Tree[T, U], shape: TreeShape): Tree[T, U]
    Definition Classes
    Rewriter
  167. def rewriting[T](oldTerm: T, newTerm: T): T
    Definition Classes
    SrcCtxCallbackRewriter → CallbackRewriter
  168. macro def rule[T](f: ==>[T, T]): Strategy
    Definition Classes
    RewriterCore
  169. def ruleWithName[T](n: String, f: ==>[T, T]): Strategy
    Definition Classes
    CallbackRewriter → RewriterCore
  170. def rulef(n: String, f: (Any) ⇒ Any): Strategy
    Definition Classes
    CallbackRewriter → RewriterCore
  171. macro def rulef(f: (Any) ⇒ Any): Strategy
    Definition Classes
    RewriterCore
  172. macro def rulefs[T](f: ==>[T, Strategy]): Strategy
    Definition Classes
    RewriterCore
  173. def rulefsWithName[T](n: String, f: ==>[T, Strategy]): Strategy
    Definition Classes
    CallbackRewriter → RewriterCore
  174. def some(name: String, s: ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  175. macro def some(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  176. 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
  177. def someProduct(s: Strategy, p: Product): Option[Any]
    Definition Classes
    RewriterCore
  178. def someRewritable(s: Strategy, r: Rewritable): Option[Any]
    Definition Classes
    RewriterCore
  179. 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
  180. def somebu(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  181. macro def somebu(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  182. def somedownup(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  183. macro def somedownup(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  184. def sometd(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  185. macro def sometd(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  186. macro def strategy[T](f: ==>[T, Option[T]]): Strategy
    Definition Classes
    RewriterCore
  187. def strategyWithName[T](n: String, f: ==>[T, Option[T]]): Strategy
    Definition Classes
    CallbackRewriter → RewriterCore
  188. def strategyf(n: String, f: (Any) ⇒ Option[Any]): Strategy
    Definition Classes
    CallbackRewriter → RewriterCore
  189. macro def strategyf(f: (Any) ⇒ Option[Any]): Strategy
    Definition Classes
    RewriterCore
  190. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  191. macro def term[T](t: T): Strategy
    Definition Classes
    RewriterCore
  192. def termWithName[T](name: String, t: T): Strategy
    Definition Classes
    RewriterCore
  193. def test(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  194. macro def test(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  195. def toString(): String
    Definition Classes
    AnyRef → Any
  196. def topdown(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  197. macro def topdown(s: Strategy): Strategy
    Definition Classes
    RewriterCore
  198. def topdownS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    Rewriter
  199. macro def topdownS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy
    Definition Classes
    RewriterCore
  200. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  201. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  202. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  203. def where(name: String, s: Strategy): Strategy
    Definition Classes
    Rewriter
  204. 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