class JObjAsset extends JAsset with MMTObjAsset
Ordering
- Alphabetic
- By Inheritance
Inherited
- JObjAsset
- MMTObjAsset
- JAsset
- MMTAsset
- SourceAsset
- Asset
- IAsset
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
val
context: Context
- Definition Classes
- JObjAsset → MMTObjAsset
-
val
controller: Controller
- Attributes
- protected
- Definition Classes
- JObjAsset → MMTObjAsset
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getEnd(): Position
- Definition Classes
- Asset → IAsset
-
def
getFullContext: Context
- Definition Classes
- MMTObjAsset
-
def
getIcon(): Icon
- Definition Classes
- SourceAsset → IAsset
-
def
getLineNo(): Int
- Definition Classes
- SourceAsset
-
def
getLongDescription(): String
- Definition Classes
- SourceAsset
-
def
getLongString(): String
- Definition Classes
- JObjAsset → SourceAsset → IAsset
-
def
getName(): String
- Definition Classes
- Asset → IAsset
-
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
- MMTObjAsset → MMTAsset
-
def
getShortDescription(): String
- Definition Classes
- SourceAsset
-
def
getShortString(): String
- Definition Classes
- SourceAsset → IAsset
-
def
getStart(): Position
- Definition Classes
- Asset → IAsset
-
def
get_type(): Int
- Definition Classes
- SourceAsset
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val label: String
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
val
obj: Obj
- Definition Classes
- JObjAsset → MMTObjAsset
-
val
parent: CPath
- Definition Classes
- JObjAsset → MMTObjAsset
-
val
pragmatic: Obj
- Definition Classes
- JObjAsset → MMTObjAsset
- val region: SourceRegion
-
def
setEnd(arg0: Position): Unit
- Definition Classes
- Asset → IAsset
-
def
setIcon(arg0: ImageIcon): Unit
- Definition Classes
- SourceAsset
-
def
setLong(arg0: String): Unit
- Definition Classes
- SourceAsset
-
def
setLongDescription(arg0: String): Unit
- Definition Classes
- SourceAsset
-
def
setName(arg0: String): Unit
- Definition Classes
- Asset → IAsset
-
def
setShort(arg0: String): Unit
- Definition Classes
- SourceAsset
-
def
setShortDescription(arg0: String): Unit
- Definition Classes
- SourceAsset
-
def
setStart(arg0: Position): Unit
- Definition Classes
- Asset → IAsset
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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
-
def
toString(): String
- Definition Classes
- SourceAsset → AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()