Packages

c

info.kwarc.mmt.api.objects

DiagramArrow

case class DiagramArrow(label: LocalName, from: LocalName, to: LocalName, morphism: AnonymousMorphism, isImplicit: Boolean) extends DiagramElement with Product with Serializable

an arrow in an AnonymousDiagram

label

the label of this arrow

from

the label of the domain node in the same diagram

to

the label of the codomain node in the same diagram

morphism

the morphism attached to this arrow (the same theory may be attached to multiple nodes)

Source
AnonymousModules.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DiagramArrow
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. DiagramElement
  7. ShortURIPrinter
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DiagramArrow(label: LocalName, from: LocalName, to: LocalName, morphism: AnonymousMorphism, isImplicit: Boolean)

    label

    the label of this arrow

    from

    the label of the domain node in the same diagram

    to

    the label of the codomain node in the same diagram

    morphism

    the morphism attached to this arrow (the same theory may be attached to multiple nodes)

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  8. val from: LocalName
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. val isImplicit: Boolean
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. val label: LocalName
    Definition Classes
    DiagramArrowDiagramElement
  13. val morphism: AnonymousMorphism
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. val to: LocalName
  19. def toStr(implicit shortURIs: Boolean): String

    configurable string representation

    configurable string representation

    shortURIs

    print OMS without namespace, theory

    Definition Classes
    DiagramArrowShortURIPrinter
  20. def toString(): String

    defaults to toStr(false)

    defaults to toStr(false)

    Definition Classes
    ShortURIPrinter → AnyRef → Any
  21. def toTerm: OML
    Definition Classes
    DiagramArrowDiagramElement
  22. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from DiagramElement

Inherited from ShortURIPrinter

Inherited from AnyRef

Inherited from Any

Ungrouped