Packages

t

com.reactific.riddl.language.validation

ExampleValidationState

trait ExampleValidationState extends TypeValidationState

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExampleValidationState
  2. TypeValidationState
  3. PathIdValidationState
  4. UsageValidationState
  5. DefinitionValidationState
  6. BasicValidationState
  7. PathResolutionState
  8. State
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type MultiMatchValidationFunction = (ExampleValidationState.this.type, AST.PathIdentifier, List[(AST.Definition, Seq[AST.Definition])]) => Seq[AST.Definition]
    Definition Classes
    BasicValidationState
  2. type SingleMatchValidationFunction = (ExampleValidationState.this.type, Class[_], AST.PathIdentifier, Class[_ <: AST.Definition], AST.Definition) => ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  3. type UseMap = HashMap[AST.Definition, Seq[AST.Definition]]
    Definition Classes
    UsageValidationState

Abstract Value Members

  1. abstract def commonOptions: CommonOptions
    Definition Classes
    BasicValidationStateState
  2. abstract def root: AST.Definition
    Definition Classes
    BasicValidationState
  3. abstract def symbolTable: SymbolTable

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def add(msg: Message): ExampleValidationState.this.type
    Definition Classes
    State
  5. def addEntity(entity: AST.Entity): ExampleValidationState.this.type
    Definition Classes
    UsageValidationState
  6. def addError(loc: At, msg: String): ExampleValidationState.this.type
    Definition Classes
    State
  7. def addFunction(fun: AST.Function): ExampleValidationState.this.type
    Definition Classes
    UsageValidationState
  8. def addIf(predicate: Boolean)(msg: => Message): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  9. def addMissing(loc: At, msg: String): ExampleValidationState.this.type
    Definition Classes
    State
  10. def addSevere(loc: At, msg: String): ExampleValidationState.this.type
    Definition Classes
    State
  11. def addStyle(loc: At, msg: String): ExampleValidationState.this.type
    Definition Classes
    State
  12. def addType(ty: AST.Type): ExampleValidationState.this.type
    Definition Classes
    UsageValidationState
  13. def addWarning(loc: At, msg: String): ExampleValidationState.this.type
    Definition Classes
    State
  14. def areSameType(typ1: Option[AST.Type], typ2: Option[AST.Type]): Boolean
    Definition Classes
    TypeValidationState
  15. def areSameType(tr1: AST.Reference[AST.Type], tr2: AST.Reference[AST.Type], parents: Seq[AST.Definition]): Boolean
    Definition Classes
    TypeValidationState
  16. def article(thing: String): String
    Definition Classes
    BasicValidationState
  17. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  18. def associateUsage(user: AST.Definition, use: AST.Definition): ExampleValidationState.this.type
    Definition Classes
    UsageValidationState
  19. def check(predicate: Boolean = true, message: => String, kind: KindOfMessage, loc: At): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  20. def checkContainer(parents: Seq[AST.Definition], container: AST.Definition): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  21. def checkDefinition(parents: Seq[AST.Definition], definition: AST.Definition): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  22. def checkDescription[TD <: AST.Definition](definition: TD): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  23. def checkDescription[TD <: AST.DescribedValue](id: String, value: TD): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  24. def checkExample(example: AST.Example, parents: Seq[AST.Definition]): ExampleValidationState.this.type
  25. def checkExamples(examples: Seq[AST.Example], parents: Seq[AST.Definition]): ExampleValidationState.this.type
  26. def checkExpression(expression: AST.Expression, defn: AST.Definition, parents: Seq[AST.Definition]): ExampleValidationState.this.type
  27. def checkExpressions(expressions: Seq[AST.Expression], defn: AST.Definition, parents: Seq[AST.Definition]): ExampleValidationState.this.type
  28. def checkIdentifierLength[T <: AST.Definition](d: T, min: Int = 3): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  29. def checkMaybeRef[T <: AST.Definition](reference: Option[AST.Reference[T]], defn: AST.Definition, parents: Seq[AST.Definition], kind: Option[String] = None)(implicit arg0: ClassTag[T]): ExampleValidationState.this.type
    Definition Classes
    PathIdValidationState
  30. def checkMessageRef(ref: AST.MessageRef, topDef: AST.Definition, parents: Seq[AST.Definition], kind: AST.AggregateUseCase): ExampleValidationState.this.type
    Definition Classes
    PathIdValidationState
  31. def checkNonEmpty(list: Seq[_], name: String, thing: AST.Definition, kind: KindOfMessage = Error, required: Boolean = false): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  32. def checkNonEmptyValue(value: AST.RiddlValue, name: String, thing: AST.Definition, kind: KindOfMessage = Error, required: Boolean = false): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  33. def checkOption[A <: AST.RiddlValue](opt: Option[A], name: String, thing: AST.Definition)(folder: (ExampleValidationState.this.type, A) => ExampleValidationState.this.type): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  34. def checkOptions[T <: AST.OptionValue](options: Seq[T], loc: At): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  35. def checkOverloads(): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  36. def checkPathRef[T <: AST.Definition](pid: AST.PathIdentifier, container: AST.Definition, parents: Seq[AST.Definition], kind: Option[String] = None)(single: SingleMatchValidationFunction = defaultSingleMatchValidationFunction)(multi: MultiMatchValidationFunction = defaultMultiMatchValidationFunction)(implicit arg0: ClassTag[T]): ExampleValidationState.this.type
    Definition Classes
    PathIdValidationState
  37. def checkRef[T <: AST.Definition](reference: AST.Reference[T], definition: AST.Definition, parents: Seq[AST.Definition], kind: Option[String] = None)(implicit arg0: ClassTag[T]): ExampleValidationState.this.type
    Definition Classes
    PathIdValidationState
  38. def checkRefAndExamine[T <: AST.Definition](reference: AST.Reference[T], defn: AST.Definition, parents: Seq[AST.Definition])(thing: (T) => ExampleValidationState.this.type)(implicit arg0: ClassTag[T]): ExampleValidationState.this.type
    Definition Classes
    PathIdValidationState
  39. def checkSequence[A](elements: Seq[A])(check: (ExampleValidationState.this.type, A) => ExampleValidationState.this.type): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  40. def checkStreamletShape(proc: AST.Streamlet): ExampleValidationState.this.type
    Definition Classes
    DefinitionValidationState
  41. def checkThat(predicate: Boolean)(f: (ExampleValidationState.this.type) => ExampleValidationState.this.type): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  42. def checkTypeExpression(typ: AST.TypeExpression, defn: AST.Definition, parents: Seq[AST.Definition]): ExampleValidationState.this.type
    Definition Classes
    TypeValidationState
  43. def checkUnused(): ExampleValidationState.this.type
    Definition Classes
    UsageValidationState
  44. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  45. def defaultMultiMatchValidationFunction[T <: AST.Definition](state: ExampleValidationState.this.type, pid: AST.PathIdentifier, list: List[(AST.Definition, Seq[AST.Definition])])(implicit arg0: ClassTag[T]): Seq[AST.Definition]
    Definition Classes
    BasicValidationState
  46. def defaultSingleMatchValidationFunction(state: ExampleValidationState.this.type, expectedClass: Class[_], pid: AST.PathIdentifier, foundClass: Class[_ <: AST.Definition], definitionFound: AST.Definition): ExampleValidationState.this.type
    Definition Classes
    BasicValidationState
  47. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  48. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  49. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  50. def getExpressionType(expr: AST.Expression, parents: Seq[AST.Definition]): Option[AST.TypeExpression]
    Definition Classes
    TypeValidationState
  51. final def getPathIdType(pid: AST.PathIdentifier, parents: Seq[AST.Definition]): Option[AST.TypeExpression]
    Definition Classes
    PathIdValidationState
    Annotations
    @tailrec()
  52. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  53. def isAssignmentCompatible(typeEx1: Option[AST.TypeExpression], typeEx2: Option[AST.TypeExpression]): Boolean
    Definition Classes
    TypeValidationState
  54. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  55. def lookup[T <: AST.Definition](id: Seq[String])(implicit arg0: ClassTag[T]): List[T]
    Definition Classes
    BasicValidationState
  56. def messages: Messages
    Definition Classes
    State
  57. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  58. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  59. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  60. val nullSingleMatchingValidationFunction: SingleMatchValidationFunction
    Definition Classes
    BasicValidationState
  61. def parentOf(definition: AST.Definition): AST.Container[AST.Definition]
    Definition Classes
    BasicValidationState
  62. def pathIdToDefinition(pid: AST.PathIdentifier, parents: Seq[AST.Definition]): Option[AST.Definition]
    Definition Classes
    PathResolutionState
  63. def resolvePath(pid: AST.PathIdentifier, parents: Seq[AST.Definition])(onSingle: (Seq[AST.Definition]) => Seq[AST.Definition] = doNothingSingle)(onMultiple: (List[(AST.Definition, Seq[AST.Definition])]) => Seq[AST.Definition] = doNothingMultiple): Seq[AST.Definition]
    Definition Classes
    PathResolutionState
  64. def resolvePathIdentifier[DEF <: AST.Definition](pid: AST.PathIdentifier, parents: Seq[AST.Definition])(implicit arg0: ClassTag[DEF]): Option[DEF]
    Definition Classes
    PathResolutionState
  65. val sends: HashMap[AST.SendAction, Seq[AST.Definition]]
    Attributes
    protected
  66. def step(f: (ExampleValidationState.this.type) => ExampleValidationState.this.type): ExampleValidationState.this.type
    Definition Classes
    State
  67. def stepIf(predicate: Boolean = true)(f: (ExampleValidationState.this.type) => ExampleValidationState.this.type): ExampleValidationState.this.type
    Definition Classes
    State
  68. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  69. def toString(): String
    Definition Classes
    AnyRef → Any
  70. def usedByAsMap: Map[AST.Definition, Seq[AST.Definition]]
    Definition Classes
    UsageValidationState
  71. def usesAsMap: Map[AST.Definition, Seq[AST.Definition]]
    Definition Classes
    UsageValidationState
  72. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  73. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  74. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from TypeValidationState

Inherited from PathIdValidationState

Inherited from UsageValidationState

Inherited from BasicValidationState

Inherited from PathResolutionState

Inherited from State

Inherited from AnyRef

Inherited from Any

Ungrouped