c

info.kwarc.mmt.jedit

JNotAsset

class JNotAsset extends JAsset with MMTNotAsset

Source
Asset.scala
Linear Supertypes
MMTNotAsset, JAsset, MMTAsset, SourceAsset, Asset, IAsset, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JNotAsset
  2. MMTNotAsset
  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 JNotAsset(owner: ContentPath, label: String, not: TextNotation, reg: 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: Some[MPath]

    the base URIto use in the context of this asset

    the base URIto use in the context of this asset

    Definition Classes
    MMTNotAsset → MMTAsset
  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
    JAsset → MMTAsset
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. val not: TextNotation
    Attributes
    protected
    Definition Classes
    JNotAsset → MMTNotAsset
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. val owner: ContentPath
    Attributes
    protected
    Definition Classes
    JNotAsset → MMTNotAsset
  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 MMTNotAsset

Inherited from JAsset

Inherited from MMTAsset

Inherited from SourceAsset

Inherited from Asset

Inherited from IAsset

Inherited from AnyRef

Inherited from Any

Ungrouped