Class

namespace.dsl

CheckIdentsBody

Related Doc: package dsl

Permalink

case class CheckIdentsBody(body: ComponentBody) extends CheckIdents with Product with Serializable

Checks identifiers used in a ComponentBody.

Linear Supertypes
Serializable, Serializable, Product, Equals, CheckIdents, Action, () ⇒ (List[Action], List[NamespaceException]), AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CheckIdentsBody
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. CheckIdents
  7. Action
  8. Function0
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CheckIdentsBody(body: ComponentBody)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def allUnique[D <: Declaration, E <: NamespaceException](symbols: Iterable[DSLSymbol], decl: D, mkException: (DSLSymbol, D) ⇒ E): List[E]

    Permalink

    Checks all symbols of some collection, in the context of some program declaration, are all unique.

    Checks all symbols of some collection, in the context of some program declaration, are all unique.

    Definition Classes
    CheckIdents
  5. def apply(): (List[Action], List[NamespaceException])

    Permalink
    Definition Classes
    CheckIdentsBody → Function0
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. val body: ComponentBody

    Permalink
  8. def check(expr: CompExpr)(implicit namespace: Namespace): List[NamespaceException]

    Permalink

    Checks if the identifiers used in the expression are declared in the namespace.

    Checks if the identifiers used in the expression are declared in the namespace.

    Definition Classes
    CheckIdents
  9. def check(expr: BoolExpr)(implicit namespace: Namespace): List[NamespaceException]

    Permalink

    Checks if the identifiers used in the expression are declared in the namespace.

    Checks if the identifiers used in the expression are declared in the namespace.

    Definition Classes
    CheckIdents
  10. def check(expr: FlowExpr)(implicit namespace: Namespace): List[NamespaceException]

    Permalink

    Checks if the identifiers used in the expression are declared in the namespace.

    Checks if the identifiers used in the expression are declared in the namespace.

    Definition Classes
    CheckIdents
  11. def check(expr: TypeExpr)(implicit namespace: Namespace): List[NamespaceException]

    Permalink

    Checks if the identifiers used in the expression are declared in the namespace.

    Checks if the identifiers used in the expression are declared in the namespace.

    Definition Classes
    CheckIdents
  12. def check(defi: FlowDefinition): List[NamespaceException]

    Permalink

    Check if identifiers found in a FlowDefinition lhs and rhs are all declared.

    Check if identifiers found in a FlowDefinition lhs and rhs are all declared.

    Definition Classes
    CheckIdents
  13. def check(decl: FlowDeclaration): List[NamespaceException]

    Permalink

    Check type the identifier found in a FlowDeclartion is declared in the namespace.

    Check type the identifier found in a FlowDeclartion is declared in the namespace.

    Definition Classes
    CheckIdents
  14. def check(decl: TypeDeclaration): List[NamespaceException]

    Permalink

    Checks identifiers found in a TypeDeclaration for doublons.

    Checks identifiers found in a TypeDeclaration for doublons.

    Definition Classes
    CheckIdents
  15. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  24. def toString(): String

    Permalink
    Definition Classes
    Function0 → AnyRef → Any
  25. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from CheckIdents

Inherited from Action

Inherited from () ⇒ (List[Action], List[NamespaceException])

Inherited from AnyRef

Inherited from Any

Ungrouped