class DefinitionExpander extends StatelessTraverser
traverses the syntax tree (depth first, argument order) and expands (only) the first defined constant it encounters
does not expand in contexts and scopes at the moment
- Source
- DefinitionExpander.scala
- Alphabetic
- By Inheritance
- DefinitionExpander
- StatelessTraverser
- Traverser
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new DefinitionExpander(controller: Controller)
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
apply(t: Term, con: Context): Term
- Definition Classes
- StatelessTraverser
-
def
apply(t: Term, init: State, con: Context = Context()): Term
the main method to call the traverser, context defaults to empty
the main method to call the traverser, context defaults to empty
- Definition Classes
- Traverser
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
compose(that: Traverser[Unit]): Traverser[Unit]
diagrammatic composition (first this, then that)
diagrammatic composition (first this, then that)
- Definition Classes
- Traverser
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
toTranslator(): UniformTranslator
- Definition Classes
- StatelessTraverser
-
def
toTranslator(newInit: () ⇒ Unit): UniformTranslator
this traverser as a translator
-
def
traverse(t: Term)(implicit con: Context, init: Unit): Term
- Definition Classes
- DefinitionExpander → Traverser
-
def
traverseContext(cont: Context)(implicit con: Context, state: State): Context
- Definition Classes
- Traverser
-
def
traverseObject(obj: Obj)(implicit con: Context, state: State): ThisType
traverses any object by mapping all the terms in it
traverses any object by mapping all the terms in it
- Definition Classes
- Traverser
-
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( ... ) @native()