State
com.reactific.riddl.language.ast.Definitions.State
case class State(loc: At, id: Identifier, typ: TypeRef, types: Seq[Type], handlers: Seq[Handler], invariants: Seq[Invariant], brief: Option[LiteralString], description: Option[Description]) extends EntityDefinition
Represents the state of an entity. The MorphAction can cause the state definition of an entity to change.
Value parameters
- brief
-
A brief description (one sentence) for use in documentation
- description
-
An optional description of the state.
- handlers
-
The handler definitions that may occur when this state is active
- id
-
The name of the state definition
- invariants
-
Expressions of boolean logic that must always evaluate to true before and after an entity changes when this state is active.
- loc
-
The location of the state definition
- typ
-
A reference to a type definition that provides the range of values that the state may assume.
- types
-
Types defined within the body of the state
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait EntityDefinitiontrait Definitiontrait Container[Definition]trait BrieflyDescribedValuetrait DescribedValuetrait RiddlValuetrait RiddlNodeclass Objecttrait Matchableclass Any
Members list
In this article