SpecStructure

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

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

   

5. def apply(header: SpecHeader): SpecStructure

   

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

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

   

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

    

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

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

    

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

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    
    returns

    the class names of all the linked specifications

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

    
    returns

    all the linked specifications

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

    

    Definition Classes

    AnyRef

21. final def notify(): Unit

    

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    
    returns

    all the referenced specifications

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

    
    returns

    the class names of all the referenced specifications

25. 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!

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

    
    returns

    the class names of all the see specifications

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

    
    returns

    all the see specifications

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

    
    returns

    all the referenced spec structures

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

    

    Definition Classes

    AnyRef

30. def toString(): String

    

    Definition Classes

    AnyRef → Any

31. 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!

32. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )