Packages

case class ValidationState(symbolTable: SymbolTable, root: AST.Definition = RootContainer.empty, commonOptions: CommonOptions = CommonOptions()) extends PathResolutionState[ValidationState] with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValidationState
  2. Serializable
  3. Product
  4. Equals
  5. PathResolutionState
  6. MessagesState
  7. State
  8. AnyRef
  9. 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())

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
    Definition Classes
    MessagesState
  5. def addError(loc: Location, msg: String): ValidationState
    Definition Classes
    MessagesState
  6. def addIf(predicate: Boolean)(msg: => Message): ValidationState
  7. def addMissing(loc: Location, msg: String): ValidationState
    Definition Classes
    MessagesState
  8. def addSevere(loc: Location, msg: String): ValidationState
    Definition Classes
    MessagesState
  9. def addStyle(loc: Location, msg: String): ValidationState
    Definition Classes
    MessagesState
  10. def addWarning(loc: Location, msg: String): ValidationState
    Definition Classes
    MessagesState
  11. def article(thing: String): String
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def captureHierarchy(pars: Seq[AST.Definition]): ValidationState
    Definition Classes
    PathResolutionState
  14. def check(predicate: Boolean = true, message: => String, kind: KindOfMessage, loc: Location): ValidationState
  15. def checkAction(action: AST.Action, defn: AST.Definition): ValidationState
  16. def checkActions(actions: Seq[AST.Action], defn: AST.Definition): ValidationState
  17. def checkAggregation(agg: AST.Aggregation, typeDef: AST.Definition): ValidationState
  18. def checkAlternation(alternation: AST.Alternation, typeDef: AST.Definition): ValidationState
  19. def checkArgList(arguments: AST.ArgList, defn: AST.Definition): ValidationState
  20. def checkAssignmentCompatability(path: AST.PathIdentifier, expr: AST.Expression): ValidationState
  21. def checkContainer(parent: AST.Definition, container: AST.Definition): ValidationState
  22. def checkDefinition(parent: AST.Definition, definition: AST.Definition): ValidationState
  23. def checkDescription[TD <: AST.Definition](definition: TD): ValidationState
  24. def checkDescription[TD <: AST.DescribedValue](id: String, value: TD): ValidationState
  25. def checkEnumeration(enumerators: Seq[AST.Enumerator]): ValidationState
  26. def checkExample(example: Example): ValidationState
  27. def checkExamples(examples: Seq[Example]): ValidationState
  28. def checkExpression(expression: AST.Expression, defn: AST.Definition): ValidationState
  29. def checkExpressions(expressions: Seq[AST.Expression], defn: AST.Definition): ValidationState
  30. def checkFunctionCall(loc: Location, pathId: AST.PathIdentifier, args: AST.ArgList, defn: AST.Definition): ValidationState
  31. def checkIdentifierLength[T <: AST.Definition](d: T, min: Int = 3): ValidationState
  32. def checkIf(predicate: Boolean = true)(f: (ValidationState) => ValidationState): ValidationState
  33. def checkMapping(mapping: AST.Mapping, typeDef: AST.Definition): ValidationState
  34. def checkMessageConstructor(messageConstructor: MessageConstructor, defn: AST.Definition): ValidationState
  35. def checkMessageRef(ref: MessageRef, topDef: AST.Definition, kind: AST.MessageKind): ValidationState
  36. def checkMessageType(mt: AST.MessageType, typeDef: AST.Definition): ValidationState
  37. def checkNonEmpty(list: Seq[_], name: String, thing: AST.Definition, kind: KindOfMessage = Error, required: Boolean = false): ValidationState
  38. def checkNonEmptyValue(value: AST.RiddlValue, name: String, thing: AST.Definition, kind: KindOfMessage = Error, required: Boolean = false): ValidationState
  39. def checkOption[A <: AST.RiddlValue](opt: Option[A], name: String, thing: AST.Definition)(folder: (ValidationState, A) => ValidationState): ValidationState
  40. def checkOptions[T <: AST.OptionValue](options: Seq[T], loc: Location): ValidationState
  41. def checkOverloads(symbolTable: SymbolTable): ValidationState
  42. def checkPathRef[T <: AST.Definition](pid: AST.PathIdentifier, container: AST.Definition, kind: Option[String] = None)(validator: SingleMatchValidationFunction = defaultSingleMatchValidationFunction)(implicit arg0: ClassTag[T]): ValidationState
  43. def checkPattern(p: AST.Pattern): ValidationState
  44. def checkProcessorKind(proc: Processor): ValidationState
  45. def checkRangeType(rt: AST.RangeType): ValidationState
  46. def checkRef[T <: AST.Definition](reference: AST.Reference[T], defn: AST.Definition, kind: Option[String] = None)(implicit arg0: ClassTag[T]): ValidationState
  47. def checkSequence[A](elements: Seq[A])(fold: (ValidationState, A) => ValidationState): ValidationState
  48. def checkTypeExpression[TD <: AST.Definition](typ: AST.TypeExpression, defn: AST.Definition): ValidationState
  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 → MessagesState
  51. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  53. def getExpressionType(expr: AST.Expression): Option[AST.TypeExpression]
  54. def isAssignmentCompatible(typeEx1: Option[AST.TypeExpression], typeEx2: Option[AST.TypeExpression]): Boolean
  55. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  56. def isReportMissingWarnings: Boolean
    Definition Classes
    MessagesState
  57. def isReportStyleWarnings: Boolean
    Definition Classes
    MessagesState
  58. def lookup[T <: AST.Definition](id: Seq[String])(implicit arg0: ClassTag[T]): List[T]
  59. def messages: Messages
    Definition Classes
    MessagesState
  60. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  61. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  62. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  63. def parentOf(definition: AST.Definition): AST.Container[AST.Definition]
  64. val parents: Seq[AST.Definition]
    Definition Classes
    PathResolutionState
  65. def productElementNames: Iterator[String]
    Definition Classes
    Product
  66. def resolvePath(pid: AST.PathIdentifier, parents: Seq[AST.Definition] = parents): Seq[AST.Definition]
    Definition Classes
    PathResolutionState
  67. def resolvePathFromSymTab[T <: AST.Definition](pid: AST.PathIdentifier)(implicit arg0: ClassTag[T]): Seq[AST.Definition]
  68. def resolvePathFromSymbolTable(pid: AST.PathIdentifier): Seq[AST.Definition]
    Definition Classes
    PathResolutionState
  69. def resolveRelativePath(pid: AST.PathIdentifier, parents: Seq[AST.Definition] = parents): Seq[AST.Definition]

    Resolve a PathIdentifier If the path is already resolved or it has no empty components then we can resolve it from the map or the symbol table.

    Resolve a PathIdentifier If the path is already resolved or it has no empty components then we can resolve it from the map or the symbol table.

    pid

    The path to consider

    returns

    Either an error or a definition

    Definition Classes
    PathResolutionState
  70. val root: AST.Definition
    Definition Classes
    ValidationState → PathResolutionState
  71. def step(f: (ValidationState) => ValidationState): ValidationState
    Definition Classes
    State
  72. def stepIf(predicate: Boolean = true)(f: (ValidationState) => ValidationState): ValidationState
    Definition Classes
    State
  73. val symbolTable: SymbolTable
    Definition Classes
    ValidationState → PathResolutionState
  74. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  75. def validateADefinition(definition: AST.Definition, parents: Seq[AST.Definition]): ValidationState
  76. def validateAdaptation(a: Adaptation, parents: Seq[AST.Definition]): ValidationState
  77. def validateAdaptor(a: Adaptor, parents: Seq[AST.Definition]): ValidationState
  78. def validateAuthorInfo(ai: AuthorInfo, parents: Seq[AST.Definition]): ValidationState
  79. def validateContext(c: Context, parents: Seq[AST.Definition]): ValidationState
  80. def validateDefinitions(definition: AST.Definition, parents: Stack[AST.Definition]): ValidationState
  81. def validateDomain(d: Domain, parents: Seq[AST.Definition]): ValidationState
  82. def validateEntity(e: Entity, parents: Seq[AST.Definition]): ValidationState
  83. def validateEnumerator(e: AST.Enumerator, parents: Seq[AST.Definition]): ValidationState
  84. def validateExample(e: Example, parents: Seq[AST.Definition]): ValidationState
  85. def validateField(f: AST.Field, parents: Seq[AST.Definition]): ValidationState
  86. def validateFunction(f: Function, parents: Seq[AST.Definition]): ValidationState
  87. def validateHandler(h: Handler, parents: Seq[AST.Definition]): ValidationState
  88. def validateInclude(i: Include): ValidationState
  89. def validateInlet(i: Inlet, parents: Seq[AST.Definition]): ValidationState
  90. def validateInletJoint(ij: InletJoint, parents: Seq[AST.Definition]): ValidationState
  91. def validateInvariant(i: Invariant, parents: Seq[AST.Definition]): ValidationState
  92. def validateOnClause(oc: OnClause, parents: Seq[AST.Definition]): ValidationState
  93. def validateOutlet(o: Outlet, parents: Seq[AST.Definition]): ValidationState
  94. def validateOutletJoint(oj: OutletJoint, parents: Seq[AST.Definition]): ValidationState
  95. def validatePipe(p: Pipe, parents: Seq[AST.Definition]): ValidationState
  96. def validatePlant(p: Plant, parents: Seq[AST.Definition]): ValidationState
  97. def validateProcessor(p: Processor, parents: Seq[AST.Definition]): ValidationState
  98. def validateProjection(p: Projection, parents: Seq[AST.Definition]): ValidationState
  99. def validateSaga(s: Saga, parents: Seq[AST.Definition]): ValidationState
  100. def validateSagaStep(s: SagaStep, parents: Seq[AST.Definition]): ValidationState
  101. def validateState(s: State, parents: Seq[AST.Definition]): ValidationState
  102. def validateStory(s: Story, parents: Seq[AST.Definition]): ValidationState
  103. def validateTerm(t: Term, parents: Seq[AST.Definition]): ValidationState
  104. def validateType(t: Type, parents: Seq[AST.Definition]): ValidationState
  105. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  106. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  107. 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 PathResolutionState[ValidationState]

Inherited from MessagesState[ValidationState]

Inherited from State[ValidationState]

Inherited from AnyRef

Inherited from Any

Ungrouped