SrcCtxCallbackRewriter

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(s: ⇒ Strategy): Strategy

   

   Definition Classes

   Rewriter

5. def allIterable[CC[U] <: Iterable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

   

   Definition Classes

   Rewriter

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

   Rewriter

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

   

   Definition Classes

   Rewriter

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

   

   Definition Classes

   Rewriter

9. def allbu(s: Strategy): Strategy

   

   Definition Classes

   Rewriter

10. def alldownup2(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

11. def alltd(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

12. def alltdfold(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

13. def and(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

14. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

15. def attempt(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

16. def bottomup(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

17. def bottomupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    

    Definition Classes

    Rewriter

18. def breadthfirst(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

19. def build(t: Any): Strategy

    

    Definition Classes

    Rewriter

20. def child(i: Int, s: ⇒ Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

22. 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

    Rewriter

23. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

24. def collect[CC[X] <: Iterable[X], U](f: ==>[Any, U])(implicit cbf: Factory[U, CC[U]]): (Any) ⇒ CC[U]

    

    Definition Classes

    Rewriter

25. def collectall[CC[X] <: Iterable[X], U](f: ==>[Any, CC[U]])(implicit cbf: Factory[U, CC[U]]): (Any) ⇒ CC[U]

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

28. def congruence(ss: Strategy*): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

33. def dispatch(s: Strategy): Strategy

    

    Definition Classes

    CallbackRewriter

34. def doloop(s: Strategy, r: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

36. def downup(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

37. def downup(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

39. def downupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    CallbackRewriter → Rewriter

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

    

    Definition Classes

    AnyRef

42. val eq: Strategy

    

    Definition Classes

    Rewriter

43. val equal: Strategy

    

    Definition Classes

    Rewriter

44. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    Rewriter

46. def everywhere(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

47. def everywherebu(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

48. def everywheretd(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

49. val fail: Strategy

    

    Definition Classes

    Rewriter

50. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

52. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

53. val id: Strategy

    

    Definition Classes

    Rewriter

54. def innermost(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

55. def innermost2(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

56. def ior(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

57. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

58. val isinnernode: Strategy

    

    Definition Classes

    Rewriter

59. val isleaf: Strategy

    

    Definition Classes

    Rewriter

60. val ispropersubterm: Strategy

    

    Definition Classes

    Rewriter

61. val ispropersuperterm: Strategy

    

    Definition Classes

    Rewriter

62. val issubterm: Strategy

    

    Definition Classes

    Rewriter

63. val issuperterm: Strategy

    

    Definition Classes

    Rewriter

64. def lastly(s: Strategy, f: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

66. def leaves(s: Strategy, isleaf: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

69. def loop(c: Strategy, s: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

71. def loopiter(i: Strategy, r: Strategy, s: Strategy): Strategy

    

    Definition Classes

    Rewriter

72. def loopnot(r: Strategy, s: Strategy): Strategy

    

    Definition Classes

    Rewriter

73. def makechild(c: Any): AnyRef

    

    Attributes

    protected

    Definition Classes

    Rewriter

74. def manybu(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

75. def manytd(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

76. def map(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

77. def memo(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

78. def mkStrategy(f: (Any) ⇒ Option[Any]): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    AnyRef

80. def not(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

81. final def notify(): Unit

    

    Definition Classes

    AnyRef

82. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

83. def oncebu(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

84. def oncetd(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

85. def one(s: ⇒ Strategy): Strategy

    

    Definition Classes

    Rewriter

86. def oneIterable[CC[U] <: Iterable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    

    Definition Classes

    Rewriter

87. 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

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

91. def or(s1: Strategy, s2: Strategy): Strategy

    

    Definition Classes

    Rewriter

92. def outermost(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

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

    

    Definition Classes

    Rewriter

95. def queryf(f: (Any) ⇒ Unit): Strategy

    

    Definition Classes

    Rewriter

96. def reduce(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

97. def repeat(s: Strategy, n: Int): Strategy

    

    Definition Classes

    Rewriter

98. def repeat(s: Strategy, r: Strategy): Strategy

    

    Definition Classes

    Rewriter

99. def repeat(s: Strategy): Strategy

    

    Definition Classes

    Rewriter

100. def repeat1(s: Strategy, r: Strategy): Strategy

     

     Definition Classes

     Rewriter

101. def repeat1(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

102. def repeatuntil(s: Strategy, r: Strategy): Strategy

     

     Definition Classes

     Rewriter

103. def restore(s: Strategy, rest: Strategy): Strategy

     

     Definition Classes

     Rewriter

104. def restorealways(s: Strategy, rest: Strategy): Strategy

     

     Definition Classes

     Rewriter

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

     

     Definition Classes

     Rewriter

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

     

     Definition Classes

     Rewriter

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

     

     Definition Classes

     SrcCtxCallbackRewriter → CallbackRewriter

108. def rule[T](f: ===>[T]): Strategy

     

     Definition Classes

     CallbackRewriter → Rewriter

109. def rulef(f: (Any) ⇒ Any): Strategy

     

     Definition Classes

     CallbackRewriter → Rewriter

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

     

     Definition Classes

     CallbackRewriter → Rewriter

111. def some(s: ⇒ Strategy): Strategy

     

     Definition Classes

     Rewriter

112. def someIterable[CC[U] <: Iterable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

     

     Definition Classes

     Rewriter

113. 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

     Rewriter

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

     

     Definition Classes

     Rewriter

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

     

     Definition Classes

     Rewriter

116. def somebu(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

117. def somedownup(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

118. def sometd(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

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

     

     Definition Classes

     CallbackRewriter → Rewriter

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

     

     Definition Classes

     CallbackRewriter → Rewriter

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

     

     Definition Classes

     AnyRef

122. def term[T](t: T): Strategy

     

     Definition Classes

     Rewriter

123. def test(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

124. def toString(): String

     

     Definition Classes

     AnyRef → Any

125. def topdown(s: Strategy): Strategy

     

     Definition Classes

     Rewriter

126. def topdownS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

     

     Definition Classes

     Rewriter

127. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

130. def where(s: Strategy): Strategy

     

     Definition Classes

     Rewriter