object ReferenceSubstituter
- Annotations
- @deprecated
- Deprecated
(Since version 2019-03-14) Directly use info.kwarc.mmt.api.symbols.Renamer
- Source
- ReferenceSubstituter.scala
- Alphabetic
- By Inheritance
- ReferenceSubstituter
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
substitute(victim: Term, substitutions: scala.Predef.Map[ContentPath, ContentPath]): Term
Substitute references to given GlobalName paths in
victim
by given replacement GlobalName paths.Substitute references to given GlobalName paths in
victim
by given replacement GlobalName paths.The substitutions will only be applied once, e.g. if you have
Map(a -> b, b -> c)
and your term containsf(a, b)
, then the resulting term isf(b, c)
- notf (c, c)
.- victim
The term whose references - after copying - will be replaced.
- substitutions
Substitutions of the form
keyGlobalName -> replacementGlobalName
.- returns
The substituted term. The types OMV, OMID, OMBINDC, OMA and OMATTR are preserved, i.e. if victim was of one of these types, then the returned term is also of the *same* type.
- def substituteDeclaration(decl: Declaration, substitutions: scala.Predef.Map[ContentPath, ContentPath]): Declaration
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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()