Packages

case class ValidationState(symbolTable: SymbolTable, root: AST.Definition = RootContainer.empty, commonOptions: CommonOptions = CommonOptions()) extends TypeValidationState with ExampleValidationState with StreamingValidationState with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValidationState
  2. Serializable
  3. Product
  4. Equals
  5. StreamingValidationState
  6. ExampleValidationState
  7. TypeValidationState
  8. PathIdValidationState
  9. UsageValidationState
  10. DefinitionValidationState
  11. BasicValidationState
  12. PathResolutionState
  13. State
  14. AnyRef
  15. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ValidationState(symbolTable: SymbolTable, root: AST.Definition = RootContainer.empty, commonOptions: CommonOptions = CommonOptions())

Type Members

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

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

Inherited from Product

Inherited from Equals

Inherited from StreamingValidationState

Inherited from ExampleValidationState

Inherited from TypeValidationState

Inherited from PathIdValidationState

Inherited from UsageValidationState

Inherited from DefinitionValidationState

Inherited from BasicValidationState

Inherited from PathResolutionState

Inherited from State

Inherited from AnyRef

Inherited from Any

Ungrouped