object Constraints extends ConstrVectorType with scala.Product with Serializable
- Source
- DSL.scala
- Alphabetic
- By Inheritance
- Constraints
- Serializable
- Serializable
- Product
- Equals
- ConstrVectorType
- VectorType
- AttributeType
- HasDefault
- TypeObject
- Key
- Selector
- DSL
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
&&(that: Selector): AndSelector
- Definition Classes
- Selector
-
def
*(that: Model): Model
- Definition Classes
- Selector
-
def
/: AttrRef[Vector[Constr]]
- Definition Classes
- AttributeType
-
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
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply(s: String): Constraints
-
def
apply(cs: Constr*): Constraints
- Definition Classes
- ConstrVectorType
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
val
default: Vector[Constr]
- Definition Classes
- VectorType → AttributeType → HasDefault
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): java.lang.Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isInt: Boolean
- Definition Classes
- AttributeType
-
def
isMatch(that: Elem): Boolean
- Definition Classes
- Selector
-
def
isString: Boolean
- Definition Classes
- AttributeType
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
prefix: String
- Definition Classes
- DSL
-
def
restrict(that: Model): Model
- Definition Classes
- Selector
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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
-
def
unary_!: NotSelector
- Definition Classes
- Selector
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
||(that: Selector): OrSelector
- Definition Classes
- Selector