object SpecStructure extends Serializable
Create SpecStructures from header, arguments, fragments
- Alphabetic
- By Inheritance
- SpecStructure
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- implicit class SpecStructureOps extends AnyRef
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
- def apply(header: SpecHeader, arguments: Arguments): SpecStructure
- def apply(header: SpecHeader): SpecStructure
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def create(header: SpecHeader, arguments: Arguments, fragments: => Fragments): SpecStructure
- def create(header: SpecHeader, fragments: => Fragments): SpecStructure
- def dependsOn(ee: ExecutionEnv): (SpecStructure, SpecStructure) => Boolean
return true if s1 depends on s2, i.e, s1 has a link to s2
- def empty(klass: Class[_]): SpecStructure
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def linkedSpecStructuresRefs(env: Env)(spec: SpecStructure): List[SpecificationRef]
- returns
the class names of all the linked specifications
- def linkedSpecifications(spec: SpecStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecStructure]]
- returns
all the linked specifications
- 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()
- def referencedSpecStructures(spec: SpecStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecStructure]]
- returns
all the referenced specifications
- def referencedSpecStructuresRefs(env: Env)(spec: SpecStructure): List[SpecificationRef]
- returns
the class names of all the referenced specifications
- def reverseTopologicalSort(specifications: Seq[SpecStructure])(ee: ExecutionEnv): Option[Vector[SpecStructure]]
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
means "dependents last"!
- def seeSpecStructuresRefs(env: Env)(spec: SpecStructure): List[SpecificationRef]
- returns
the class names of all the see specifications
- def seeSpecifications(spec: SpecStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecStructure]]
- returns
all the see specifications
- def select(env: Env)(spec: SpecStructure): SpecStructure
- returns
select only the fragments according to the current arguments
- def specStructuresRefs(spec: SpecStructure, env: Env, classLoader: ClassLoader)(refs: (SpecStructure) => List[SpecificationRef]): Operation[Seq[SpecStructure]]
- returns
all the referenced spec structures
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def topologicalSort(specifications: Seq[SpecStructure])(ee: ExecutionEnv): Option[Vector[SpecStructure]]
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
means "dependents first"!
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()