Fragments

Value Members

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

   Attributes

   final

   Definition Classes

   AnyRef

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

   Attributes

   final

   Definition Classes

   Any

3. def ## (): Int

   Attributes

   final

   Definition Classes

   AnyRef → Any

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

   Attributes

   final

   Definition Classes

   AnyRef

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

   Attributes

   final

   Definition Classes

   Any

6. def apply (t: SpecName): Fragments

7. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

8. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

9. def create (fs: Fragment*): Fragments

   returns

   a Fragments object, where the SpecStart might be provided by the passed fragments

10. def createList (fs: Fragment*): Fragments

    returns

    a Fragments object containing only a seq of Fragments.

11. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

12. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

14. implicit def fragmentsIsMonoid : Monoid[Fragments]

    Fragments can be added as a monoid

    Fragments can be added as a monoid

    Attributes

    implicit

15. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

16. def hashCode (): Int

    Definition Classes

    AnyRef → Any

17. def isAStep : PartialFunction[Fragment, Step]

    returns

    the step if the Fragment is a Step

18. def isAnExample : PartialFunction[Fragment, Example]

    returns

    the example if the Fragment is an Example

19. def isExample : Function[Fragment, Boolean]

    returns

    true if the Fragment is an Example

20. def isExampleOrStep : Function[Fragment, Boolean]

    returns

    true if the Fragment is an Example or a Step

21. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

22. def isSomeText : PartialFunction[Fragment, Text]

    returns

    the text if the Fragment is a Text

23. def isSpecStartOrEnd : Function[Fragment, Boolean]

    returns

    true if the Fragment is a SpecStart or a SpecEnd

24. def isStep : Function[Fragment, Boolean]

    returns

    true if the Fragment is a step

25. def isText : Function[Fragment, Boolean]

    returns

    true if the Fragment is a Text

26. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

27. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

28. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

29. def readResolve (): AnyRef

    Attributes

    protected

30. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes

    final

    Definition Classes

    AnyRef

31. def toString (): String

    Definition Classes

    AnyRef → Any

32. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

34. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

35. def withSpecName (fragments: Fragments, s: SpecificationStructure): Fragments

    returns

    a Fragments object with the appropriate name set on the SpecStart fragment

    That name is derived from the specification structure name

36. def withSpecName (fragments: Fragments, name: SpecName): Fragments

    returns

    a Fragments object with the appropriate name set on the SpecStart fragment