c

info.kwarc.mmt.jedit

JURIAsset

class JURIAsset extends JAsset with MMTURIAsset

a node for URIs

Source
Asset.scala
Linear Supertypes
MMTURIAsset, JAsset, MMTAsset, SourceAsset, Asset, IAsset, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JURIAsset
  2. MMTURIAsset
  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 JURIAsset(path: Path, r: SourceRegion)

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 equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def getEnd(): Position
    Definition Classes
    Asset → IAsset
  11. def getIcon(): Icon
    Definition Classes
    SourceAsset → IAsset
  12. def getLineNo(): Int
    Definition Classes
    SourceAsset
  13. def getLongDescription(): String
    Definition Classes
    SourceAsset
  14. def getLongString(): String
    Definition Classes
    SourceAsset → IAsset
  15. def getName(): String
    Definition Classes
    Asset → IAsset
  16. def getScope: Option[MPath]
    Definition Classes
    MMTURIAsset
  17. def getShortDescription(): String
    Definition Classes
    SourceAsset
  18. def getShortString(): String
    Definition Classes
    SourceAsset → IAsset
  19. def getStart(): Position
    Definition Classes
    Asset → IAsset
  20. def get_type(): Int
    Definition Classes
    SourceAsset
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. val label: String
    Attributes
    protected
    Definition Classes
    JURIAsset → MMTURIAsset → JAsset → MMTAsset
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. val path: Path
    Definition Classes
    JURIAsset → MMTURIAsset
  28. val region: SourceRegion
    Definition Classes
    JAsset → MMTAsset
  29. def setEnd(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  30. def setIcon(arg0: ImageIcon): Unit
    Definition Classes
    SourceAsset
  31. def setLong(arg0: String): Unit
    Definition Classes
    SourceAsset
  32. def setLongDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  33. def setName(arg0: String): Unit
    Definition Classes
    Asset → IAsset
  34. def setShort(arg0: String): Unit
    Definition Classes
    SourceAsset
  35. def setShortDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  36. def setStart(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  37. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  38. 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
  39. def toString(): String
    Definition Classes
    SourceAsset → AnyRef → Any
  40. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MMTURIAsset

Inherited from JAsset

Inherited from MMTAsset

Inherited from SourceAsset

Inherited from Asset

Inherited from IAsset

Inherited from AnyRef

Inherited from Any

Ungrouped