Create SpecStructures from header, arguments, fragments
- Companion
- class
Type members
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
- Returns
all the linked specifications
- Returns
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"!
- Returns
all the see specifications
- 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"!