c

info.kwarc.mmt.jedit

JObjAsset

class JObjAsset extends JAsset with MMTObjAsset

node for objects

Source
Asset.scala
Linear Supertypes
MMTObjAsset, JAsset, MMTAsset, SourceAsset, Asset, IAsset, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JObjAsset
  2. MMTObjAsset
  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 JObjAsset(mmtplugin: MMTPlugin, obj: Obj, pragmatic: Obj, context: Context, parent: CPath, name: String, reg: SourceRegion)

    obj

    the node in the MMT syntax tree

    parent

    the component containing the term

    reg

    the region of the term

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 context: Context
    Definition Classes
    JObjAssetMMTObjAsset
  7. val controller: Controller
    Attributes
    protected
    Definition Classes
    JObjAssetMMTObjAsset
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def getEnd(): Position
    Definition Classes
    Asset → IAsset
  13. def getFullContext: Context
    Definition Classes
    MMTObjAsset
  14. def getIcon(): Icon
    Definition Classes
    SourceAsset → IAsset
  15. def getLineNo(): Int
    Definition Classes
    SourceAsset
  16. def getLongDescription(): String
    Definition Classes
    SourceAsset
  17. def getLongString(): String
    Definition Classes
    JObjAsset → SourceAsset → IAsset
  18. def getName(): String
    Definition Classes
    Asset → IAsset
  19. 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
    MMTObjAssetMMTAsset
  20. def getShortDescription(): String
    Definition Classes
    SourceAsset
  21. def getShortString(): String
    Definition Classes
    SourceAsset → IAsset
  22. def getStart(): Position
    Definition Classes
    Asset → IAsset
  23. def get_type(): Int
    Definition Classes
    SourceAsset
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def inferType: Option[Term]

    tries to infer the type of this asset (may throw exceptions)

    tries to infer the type of this asset (may throw exceptions)

    Definition Classes
    MMTObjAsset
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. val label: String
    Attributes
    protected
    Definition Classes
    JAssetMMTAsset
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. val obj: Obj
    Definition Classes
    JObjAssetMMTObjAsset
  32. val parent: CPath
    Definition Classes
    JObjAssetMMTObjAsset
  33. val pragmatic: Obj
    Definition Classes
    JObjAssetMMTObjAsset
  34. val region: SourceRegion
    Definition Classes
    JAssetMMTAsset
  35. def setEnd(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  36. def setIcon(arg0: ImageIcon): Unit
    Definition Classes
    SourceAsset
  37. def setLong(arg0: String): Unit
    Definition Classes
    SourceAsset
  38. def setLongDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  39. def setName(arg0: String): Unit
    Definition Classes
    Asset → IAsset
  40. def setShort(arg0: String): Unit
    Definition Classes
    SourceAsset
  41. def setShortDescription(arg0: String): Unit
    Definition Classes
    SourceAsset
  42. def setStart(arg0: Position): Unit
    Definition Classes
    Asset → IAsset
  43. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  44. 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
  45. def toString(): String
    Definition Classes
    SourceAsset → AnyRef → Any
  46. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MMTObjAsset

Inherited from JAsset

Inherited from MMTAsset

Inherited from SourceAsset

Inherited from Asset

Inherited from IAsset

Inherited from AnyRef

Inherited from Any

Ungrouped