case classLocalOutgoingNotAllowedConstraint(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.
Forbids the given local dependencies between a specific source ensemble and several target ensembles.
Example Scenario
If the ensemble
ex
is not allowed to useey
and the source elementx
which belongs to ensembleex
has one if the given dependencies on a source element belonging toey
then a SpecificationViolation is generated.