c

info.kwarc.mmt.jedit

JAuxAsset

class JAuxAsset extends SourceAsset with MMTAuxAsset

a dummy asset for structuring the tree

Source
Asset.scala
Linear Supertypes
MMTAuxAsset, SourceAsset, Asset, IAsset, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JAuxAsset
  2. MMTAuxAsset
  3. SourceAsset
  4. Asset
  5. IAsset
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new JAuxAsset(label: String)

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 getShortDescription(): String
    Definition Classes
    SourceAsset
  17. def getShortString(): String
    Definition Classes
    SourceAsset → IAsset
  18. def getStart(): Position
    Definition Classes
    Asset → IAsset
  19. def get_type(): Int
    Definition Classes
    SourceAsset
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. val label: String
    Attributes
    protected
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def setEnd(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  27. def setIcon(arg0: ImageIcon): Unit
    Definition Classes
    SourceAsset
  28. def setLong(arg0: String): Unit
    Definition Classes
    SourceAsset
  29. def setLongDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  30. def setName(arg0: String): Unit
    Definition Classes
    Asset → IAsset
  31. def setShort(arg0: String): Unit
    Definition Classes
    SourceAsset
  32. def setShortDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  33. def setStart(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    SourceAsset → AnyRef → Any
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MMTAuxAsset

Inherited from SourceAsset

Inherited from Asset

Inherited from IAsset

Inherited from AnyRef

Inherited from Any

Ungrouped