SpecStructure

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def apply(header: SpecHeader, arguments: Arguments): SpecStructure

7. def apply(header: SpecHeader): SpecStructure

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def create(header: SpecHeader, arguments: Arguments, fragments: ⇒ Fragments): SpecStructure

11. def create(header: SpecHeader, fragments: ⇒ Fragments): SpecStructure

12. val dependsOn: (SpecStructure, SpecStructure) ⇒ Boolean

    return true if s1 depends on s2, i.

    return true if s1 depends on s2, i.e, s1 has a link to s2

13. def empty(klass: Class[_]): SpecStructure

14. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

18. def hashCode(): Int

    Definition Classes

    AnyRef → Any

19. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

20. def linkedSpecStructuresRefs(spec: SpecStructure): List[SpecificationRef]

    returns

    the class names of all the linked specifications

21. def linkedSpecifications(spec: SpecStructure, env: Env, classLoader: ClassLoader): Action[Seq[SpecStructure]]

    returns

    all the linked specifications

22. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

23. final def notify(): Unit

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    Definition Classes

    AnyRef

25. def referencedSpecStructures(spec: SpecStructure, env: Env, classLoader: ClassLoader): Action[Seq[SpecStructure]]

    returns

    all the referenced specifications

26. def referencedSpecStructuresRefs(spec: SpecStructure): List[SpecificationRef]

    returns

    the class names of all the referenced specifications

27. def reverseTopologicalSort(specifications: Seq[SpecStructure]): 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

    dependents last!

28. def seeSpecStructuresRefs(spec: SpecStructure): List[SpecificationRef]

    returns

    the class names of all the see specifications

29. def seeSpecifications(spec: SpecStructure, env: Env, classLoader: ClassLoader): Action[Seq[SpecStructure]]

    returns

    all the see specifications

30. def specStructuresRefs(spec: SpecStructure, env: Env, classLoader: ClassLoader)(refs: (SpecStructure) ⇒ List[SpecificationRef]): Action[Seq[SpecStructure]]

    returns

    all the referenced spec structures

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

    Definition Classes

    AnyRef

32. def toString(): String

    Definition Classes

    AnyRef → Any

33. def topologicalSort(specifications: Seq[SpecStructure]): 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

    dependents first!

34. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )