SpecificationStructure

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def create(className: String, classLoader: ClassLoader = ..., env: Option[Env] = None): Operation[SpecificationStructure]

create a SpecificationStructure from a class name

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def linkedSpecifications(spec: SpecificationStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecificationStructure]]

def linkedSpecificationsRefs(spec: SpecificationStructure, env: Env): List[SpecificationRef]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def referencedSpecifications(spec: SpecificationStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecificationStructure]]

def referencedSpecificationsRefs(spec: SpecificationStructure, env: Env): List[SpecificationRef]

def reverseTopologicalSort(env: Env): (Seq[SpecificationStructure]) ⇒ Option[Vector[SpecificationStructure]]

sort the specifications in topological order where specification i doesn't depend on specification j if i < j

def seeSpecifications(spec: SpecificationStructure, env: Env, classLoader: ClassLoader): Operation[Seq[SpecificationStructure]]

def seeSpecificationsRefs(spec: SpecificationStructure, env: Env): List[SpecificationRef]

def specificationsRefs(spec: SpecificationStructure, env: Env, classLoader: ClassLoader)(refs: (SpecificationStructure, Env) ⇒ List[SpecificationRef]): Operation[Seq[SpecificationStructure]]

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

def toString(): String

def topologicalSort(env: Env): (Seq[SpecificationStructure]) ⇒ Option[Vector[SpecificationStructure]]

sort the specifications in topological order where specification i doesn't depend on specification j if i > j

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit