class Renamer extends OMSReplacer
- Alphabetic
- By Inheritance
- Renamer
- OMSReplacer
- StatelessTraverser
- Traverser
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Renamer(rename: (GlobalName) ⇒ Option[GlobalName])
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()
-
def
replace(p: GlobalName): Option[OMID]
The replacement function called to replace references to GlobalNames by the returned term.
The replacement function called to replace references to GlobalNames by the returned term. If the return value is None, no replacement is preformed in that specific instance.
- p
The GlobalName to be replaced.
- Definition Classes
- Renamer → OMSReplacer
-
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, state: State): Term
- Definition Classes
- OMSReplacer → 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()