Class

namespace.dsl

CheckIdentsPackage

Related Doc: package dsl

Permalink

case class CheckIdentsPackage(pkg: PackageDeclaration) extends CheckIdents with Product with Serializable

Checks identifiers used in all ProgramDeclarations of the given package.

Linear Supertypes
Serializable, Serializable, Product, Equals, CheckIdents, Action, () ⇒ (List[Action], List[NamespaceException]), AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CheckIdentsPackage
  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 CheckIdentsPackage(pkg: PackageDeclaration)

    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
    CheckIdentsPackage → Function0
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. def clone(): AnyRef

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  22. val pkg: PackageDeclaration

    Permalink
  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