case class Invariant(loc: Location, id: Identifier, expression: Condition, brief: Option[LiteralString] = Option.empty[LiteralString], description: Option[Description] = None) extends EntityDefinition with Product with Serializable
An invariant expression that can be used in the definition of an entity. Invariants provide conditional expressions that must be true at all times in the lifecycle of an entity.
- loc
The location of the invariant definition
- id
The name of the invariant
- expression
The conditional expression that must always be true.
- brief
A brief description (one sentence) for use in documentation
- description
An optional description of the invariant.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Invariant
- Serializable
- Product
- Equals
- EntityDefinition
- Definition
- BrieflyDescribedValue
- DescribedValue
- RiddlValue
- RiddlNode
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new Invariant(loc: Location, id: Identifier, expression: Condition, brief: Option[LiteralString] = Option.empty[LiteralString], description: Option[Description] = None)
- loc
The location of the invariant definition
- id
The name of the invariant
- expression
The conditional expression that must always be true.
- brief
A brief description (one sentence) for use in documentation
- description
An optional description of the invariant.
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- val brief: Option[LiteralString]
- Definition Classes
- Invariant → BrieflyDescribedValue
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- val description: Option[Description]
- Definition Classes
- Invariant → DescribedValue
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val expression: Condition
- def format: String
- Definition Classes
- RiddlNode
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- val id: Identifier
- Definition Classes
- Invariant → Definition
- def identify: String
- Definition Classes
- Definition
- def identifyWithLoc: String
- Definition Classes
- Definition
- def isContainer: Boolean
- Definition Classes
- RiddlValue
- def isEmpty: Boolean
- def isImplicit: Boolean
- Definition Classes
- Definition
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def kind: String
- Definition Classes
- Definition
- def kindId: String
- Definition Classes
- Definition
- val loc: Location
- Definition Classes
- Invariant → RiddlValue
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nonEmpty: Boolean
- Definition Classes
- RiddlNode
- Annotations
- @deprecatedOverriding()
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated