case class ITheory(id: URI, name: String, statistics: Option[List[IStatistic]], declarations: List[IDeclarationRef], meta: Option[IModuleRef]) extends IModule with Product with Serializable
Ordering
- Alphabetic
- By Inheritance
Inherited
- ITheory
- Serializable
- Serializable
- Product
- Equals
- IModule
- IReferencable
- IModuleItem
- IAPIObjectItem
- IResponse
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new ITheory(id: URI, name: String, statistics: Option[List[IStatistic]], declarations: List[IDeclarationRef], meta: Option[IModuleRef])
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 declarations: List[IDeclarationRef]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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()
-
val
id: URI
the uri of this IModuleItem
the uri of this IModuleItem
- Definition Classes
- ITheory → IModuleItem → IAPIObjectItem
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
val
kind: String
the kind of object this represents
the kind of object this represents
- Definition Classes
- IModuleItem → IAPIObjectItem
- val meta: Option[IModuleRef]
-
val
name: String
name of the module
name of the module
- Definition Classes
- ITheory → IModuleItem → IAPIObjectItem
-
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
parent: Option[IReference]
there is no parent
there is no parent
- Definition Classes
- IModuleItem → IAPIObjectItem
-
val
ref: Boolean
weather this object is a reference or a full description
weather this object is a reference or a full description
- Definition Classes
- IReferencable → IAPIObjectItem
-
val
statistics: Option[List[IStatistic]]
statistics of this element (if any)
statistics of this element (if any)
- Definition Classes
- ITheory → IAPIObjectItem
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
final
def
toJSON: JSON
serializes this object into a JSON Object
serializes this object into a JSON Object
- Definition Classes
- IAPIObjectItem → IResponse
-
def
toJSONBuffer: JSONObjectBuffer
serializes this response into a JSONObject Buffer
serializes this response into a JSONObject Buffer
- Definition Classes
- ITheory → IModule → IModuleItem → IResponse
-
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()