c

info.kwarc.mmt.jedit

JElemAsset

class JElemAsset extends JAsset with MMTElemAsset

node for structural elements

Source
Asset.scala
Linear Supertypes
MMTElemAsset, JAsset, MMTAsset, SourceAsset, Asset, IAsset, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JElemAsset
  2. MMTElemAsset
  3. JAsset
  4. MMTAsset
  5. SourceAsset
  6. Asset
  7. IAsset
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new JElemAsset(elem: StructuralElement, name: String, reg: SourceRegion)

    elem

    the node in the MMT syntax tree

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. val elem: StructuralElement
    Definition Classes
    JElemAsset → MMTElemAsset
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def getEnd(): Position
    Definition Classes
    Asset → IAsset
  12. def getIcon(): Icon
    Definition Classes
    SourceAsset → IAsset
  13. def getLineNo(): Int
    Definition Classes
    SourceAsset
  14. def getLongDescription(): String
    Definition Classes
    SourceAsset
  15. def getLongString(): String
    Definition Classes
    SourceAsset → IAsset
  16. def getName(): String
    Definition Classes
    Asset → IAsset
  17. def getScope: Option[MPath]

    the base URIto use in the context of this asset

    the base URIto use in the context of this asset

    Definition Classes
    MMTElemAsset → MMTAsset
  18. def getShortDescription(): String
    Definition Classes
    SourceAsset
  19. def getShortString(): String
    Definition Classes
    SourceAsset → IAsset
  20. def getStart(): Position
    Definition Classes
    Asset → IAsset
  21. def get_type(): Int
    Definition Classes
    SourceAsset
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. val label: String
    Attributes
    protected
    Definition Classes
    JAsset → MMTAsset
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def path: ComponentParent
    Definition Classes
    MMTElemAsset
  29. val region: SourceRegion
    Definition Classes
    JAsset → MMTAsset
  30. def setEnd(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  31. def setIcon(arg0: ImageIcon): Unit
    Definition Classes
    SourceAsset
  32. def setLong(arg0: String): Unit
    Definition Classes
    SourceAsset
  33. def setLongDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  34. def setName(arg0: String): Unit
    Definition Classes
    Asset → IAsset
  35. def setShort(arg0: String): Unit
    Definition Classes
    SourceAsset
  36. def setShortDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  37. def setStart(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  38. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  39. def toSelection: Range

    can be used with TextArea.setSelection to select this asset

    can be used with TextArea.setSelection to select this asset

    Definition Classes
    JAsset
  40. def toString(): String
    Definition Classes
    SourceAsset → AnyRef → Any
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MMTElemAsset

Inherited from JAsset

Inherited from MMTAsset

Inherited from SourceAsset

Inherited from Asset

Inherited from IAsset

Inherited from AnyRef

Inherited from Any

Ungrouped