Create SpecStructures from header, arguments, fragments
Attributes
- Companion
- class
- Graph
-
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
SpecStructure.type
Members list
Type members
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
return true if s1 depends on s2, i.e, s1 has a link to s2
return true if s1 depends on s2, i.e, s1 has a link to s2
Attributes
Attributes
- Returns
-
the class names of all the linked specifications
Attributes
- Returns
-
all the linked specifications
Attributes
- Returns
-
all the referenced specifications
Attributes
- Returns
-
the class names of all the referenced specifications
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"!
Attributes
Attributes
- Returns
-
the class names of all the see specifications
Attributes
- Returns
-
all the see specifications
Attributes
- Returns
-
select only the fragments according to the current arguments
Attributes
- Returns
-
all the referenced spec structures
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"!