Packages

t

reqT

ConstrVectorType

trait ConstrVectorType extends VectorType[Constr]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstrVectorType
  2. VectorType
  3. AttributeType
  4. HasDefault
  5. TypeObject
  6. Key
  7. Selector
  8. DSL
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def apply(cs: Vector[Constr]): VectorAttribute[Constr]
    Definition Classes
    VectorType → AttributeType
  2. abstract def productPrefix: String
    Definition Classes
    DSL

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def &&(that: Selector): AndSelector
    Definition Classes
    Selector
  4. def *(that: Model): Model
    Definition Classes
    Selector
  5. def /: AttrRef[Vector[Constr]]
    Definition Classes
    AttributeType
  6. def =*=(that: Elem): Boolean

    * old to be removed def isTypeMatch(that: HasType): Boolean = this.isInstanceOf[TypeObject] && that.myType == this def selects(that: Selector): Boolean = ( this == that ) || ( that match { case Head(e,l) if this.isInstanceOf[HeadType] => HeadType(e.myType, l) == this case Relation(e,l,t) if this.isInstanceOf[HeadType] => HeadType(e.myType, l) == this case ht: HasType => isTypeMatch(ht) case _ => false } ) **---

    * old to be removed def isTypeMatch(that: HasType): Boolean = this.isInstanceOf[TypeObject] && that.myType == this def selects(that: Selector): Boolean = ( this == that ) || ( that match { case Head(e,l) if this.isInstanceOf[HeadType] => HeadType(e.myType, l) == this case Relation(e,l,t) if this.isInstanceOf[HeadType] => HeadType(e.myType, l) == this case ht: HasType => isTypeMatch(ht) case _ => false } ) **---

    Definition Classes
    Selector
  7. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def apply(cs: Constr*): Constraints
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  11. val default: Vector[Constr]
    Definition Classes
    VectorType → AttributeType → HasDefault
  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(): java.lang.Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def isInt: Boolean
    Definition Classes
    AttributeType
  19. def isMatch(that: Elem): Boolean
    Definition Classes
    Selector
  20. def isString: Boolean
    Definition Classes
    AttributeType
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. def prefix: String
    Definition Classes
    DSL
  25. def restrict(that: Model): Model
    Definition Classes
    Selector
  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toScala: String

    Concrete DSL classes should have an executable string representation.

    Concrete DSL classes should have an executable string representation. If the default toString is not executable Scala-embedded DSL syntax, then this method is overridden by an executable string.

    Definition Classes
    DSL
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. def unary_!: NotSelector
    Definition Classes
    Selector
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  33. def ||(that: Selector): OrSelector
    Definition Classes
    Selector

Inherited from VectorType[Constr]

Inherited from AttributeType[Vector[Constr]]

Inherited from HasDefault[Vector[Constr]]

Inherited from TypeObject

Inherited from Key

Inherited from Selector

Inherited from DSL

Inherited from AnyRef

Inherited from Any

Ungrouped