object LinkUtils
- Source
- LinkUtils.scala
- Alphabetic
- By Inheritance
- LinkUtils
- 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
getDefiniensTerm(decl: Declaration): Term
For a declaration of a Link get its definiens term, i.e.
For a declaration of a Link get its definiens term, i.e. the assignment.
- decl
A declaration from a link, e.g. obtained via Link.getDeclarations
- returns
The assigned term.
- Exceptions thrown
AssertionError
If the declaration has no definiens component or that definiens component does not contain a term.- To do
Figure out what this function returns for non-info.kwarc.mmt.api.symbols.Constant declarations of a link, e.g. info.kwarc.mmt.api.symbols.Structure
-
def
getDomainPathFromLinkDeclarationPath(decl: GlobalName): GlobalName
For a declaration of a link get the GlobalName to the symbol being mapped.
For a declaration of a link get the GlobalName to the symbol being mapped.
For flat theories and flat links (views), this is a GlobalName referring to a symbol within the domain theory. However, if the domain theory includes another theory, S, then the view might as well map symbols from S to something. Hence, the returned GlobalName can also refer to a symbol from a (transitively) included theory.
- decl
A declaration of a link.
- returns
The GlobalName referring to the declaration being mapped.
- Exceptions thrown
AssertionError
If the declaration's local name is not of the form LocalName(List(ComplexStep(mpath), ...)). All link declarations start with a ComplexStep in MMT.
-
def
getLinkDomainPaths(link: Link): List[GlobalName]
As getDomainPathFromLinkDeclarationPath() but for every declaration of
link
as returned by Link.getDeclarations -
def
getTermMappingForLink(link: Link)(implicit ctrl: Controller): scala.Predef.Map[GlobalName, Term]
For a link get the mapping of the declarations.
For a link get the mapping of the declarations.
For example, if the link contains the assignment (c = d), then the mapping will contain OMID(path to c) -> d, where d might be an arbitrary term.
- link
The link.
- returns
The mapping.
-
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
-
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()