TypeValidation
com.ossuminc.riddl.passes.validate.TypeValidation
trait TypeValidation(using pc: PlatformContext) extends DefinitionValidation
Unit Tests For TypeValidationState
Attributes
- Source
- TypeValidation.scala
- Graph
-
- Supertypes
- Known subtypes
-
trait StreamingValidationclass ValidationPass
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def check(predicate: Boolean, message: => String, kind: KindOfMessage, loc: At): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def checkMessageRef(ref: MessageRef, parents: Parents, kinds: Seq[AggregateUseCase]): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
def checkNonEmpty(list: Seq[_], name: String, thing: Definition, loc: At, kind: KindOfMessage, required: Boolean): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def checkNonEmpty(list: Seq[_], name: String, thing: Definition, kind: KindOfMessage, required: Boolean): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def checkNonEmptyValue(value: RiddlValue, name: String, thing: Definition, loc: At, kind: KindOfMessage, required: Boolean): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def checkNonEmptyValue(value: RiddlValue, name: String, thing: Definition, kind: KindOfMessage, required: Boolean): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
def checkRefAndExamine[T <: Definition : ClassTag](reference: Reference[T], parents: Parents)(examiner: T => Unit): BasicValidation.this.type
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Inherited and Abstract methods
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- BasicValidation
- Source
- BasicValidation.scala
Attributes
- Inherited from:
- DefinitionValidation
- Source
- DefinitionValidation.scala
In this article