Class

org.opalj.av.checking.Specification

LocalOutgoingNotAllowedConstraint

Related Doc: package Specification

Permalink

case class LocalOutgoingNotAllowedConstraint(dependencyTypes: Set[DependencyType], sourceEnsemble: Symbol, targetEnsembles: Seq[Symbol]) extends DependencyChecker with Product with Serializable

Forbids the given local dependencies between a specific source ensemble and several target ensembles.

Example Scenario

If the ensemble ex is not allowed to use ey and the source element x which belongs to ensemble ex has one if the given dependencies on a source element belonging to ey then a SpecificationViolation is generated.

Linear Supertypes
Serializable, Serializable, Product, scala.Equals, DependencyChecker, ArchitectureChecker, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LocalOutgoingNotAllowedConstraint
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. DependencyChecker
  7. ArchitectureChecker
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LocalOutgoingNotAllowedConstraint(dependencyTypes: Set[DependencyType], sourceEnsemble: Symbol, targetEnsembles: Seq[Symbol])

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

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. val dependencyTypes: Set[DependencyType]

    Permalink
  7. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  14. val sourceEnsemble: Symbol

    Permalink
  15. def sourceEnsembles: Seq[Symbol]

    Permalink
  16. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  17. val targetEnsembles: Seq[Symbol]

    Permalink
  18. def toString(): String

    Permalink
    Definition Classes
    LocalOutgoingNotAllowedConstraint → AnyRef → Any
  19. def violations(): Set[SpecificationViolation]

    Permalink
  20. final def wait(): Unit

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from scala.Equals

Inherited from DependencyChecker

Inherited from ArchitectureChecker

Inherited from AnyRef

Inherited from Any

Ungrouped