Packages

case class ArgumentAlignment(from: LogicalReference, to: LogicalReference, invertible: Boolean, arguments: List[(Int, Int)]) extends FormalAlignment with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ArgumentAlignment
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. FormalAlignment
  7. URIAlignment
  8. Alignment
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ArgumentAlignment(from: LogicalReference, to: LogicalReference, invertible: Boolean, arguments: List[(Int, Int)])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def ->(that: Alignment): Alignment

    the composition (diagram-order) of this with that (not necessarily inducing a translation)

    the composition (diagram-order) of this with that (not necessarily inducing a translation)

    Definition Classes
    ArgumentAlignmentFormalAlignmentAlignment
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. val arguments: List[(Int, Int)]
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. val from: LogicalReference
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. val invertible: Boolean
    Definition Classes
    ArgumentAlignmentFormalAlignment
  13. var isGenerated: Boolean
    Definition Classes
    Alignment
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. var props: List[(String, String)]
    Definition Classes
    Alignment
  19. def reverse: URIAlignment with Product with Serializable

    if this is invertible, the reverse must be a formal alignment as well

    if this is invertible, the reverse must be a formal alignment as well

    Definition Classes
    ArgumentAlignmentFormalAlignmentAlignment
  20. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  21. val to: LogicalReference
  22. def toJSON: (JSONString, JSONObject)
  23. def toString(): String
    Definition Classes
    ArgumentAlignment → AnyRef → Any
  24. def toTerm: Term
    Definition Classes
    FormalAlignment
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from scala.Equals

Inherited from FormalAlignment

Inherited from URIAlignment

Inherited from Alignment

Inherited from AnyRef

Inherited from Any

Ungrouped