RDF

Type Members

sealed case class Triple(subject: String, predicate: String, object: Body = Nil, resource: String = "") extends Product with Serializable

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
object Property
def alt(items: List[Body]): Elem
final def asInstanceOf[T0]: T0

Definition Classes
Any
def bag(items: List[Body]): Elem
def bool(x: Boolean): Body
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def collection(kind: String, items: List[Body]): Elem
val date_format: Format
def date_time_stamp(x: Date): Body
val dcterms: Namespace
val default_namespaces: List[Namespace]
def description(subject: String, body: Body, attributes: Attributes = Nil): Elem
def document(body: Body, namespaces: List[Namespace] = default_namespaces, attributes: Attributes = Nil): Elem
def double(x: Double): Body
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def int(x: Int): Body
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def long(x: Long): Body
def meta_data(props: T): T
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val rdf: Namespace
def seconds(x: Time): Body
def seq(items: List[Body]): Elem
def string(x: String): Body
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def triples(args: List[Triple]): Body
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( ... )

Related Doc: package isabelle

object RDF

Type Members

sealed case class Triple(subject: String, predicate: String, object: Body = Nil, resource: String = "") extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Property

def alt(items: List[Body]): Elem

final def asInstanceOf[T0]: T0

def bag(items: List[Body]): Elem

def bool(x: Boolean): Body

def clone(): AnyRef

def collection(kind: String, items: List[Body]): Elem

val date_format: Format

def date_time_stamp(x: Date): Body

val dcterms: Namespace

val default_namespaces: List[Namespace]

def description(subject: String, body: Body, attributes: Attributes = Nil): Elem

def document(body: Body, namespaces: List[Namespace] = default_namespaces, attributes: Attributes = Nil): Elem

def double(x: Double): Body

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def int(x: Int): Body

final def isInstanceOf[T0]: Boolean

def long(x: Long): Body

def meta_data(props: T): T

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val rdf: Namespace

def seconds(x: Time): Body

def seq(items: List[Body]): Elem

def string(x: String): Body

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def triples(args: List[Triple]): Body

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped