case classLocalOutgoingOnlyAllowedConstraint(dependencyTypes: Set[DependencyType], sourceEnsemble: Symbol, targetEnsembles: Seq[Symbol]) extends DependencyChecker with Product with Serializable
Allows only the given local dependencies between a specific source ensemble and
several target ensembles.
Example Scenario
If the ensemble ex is only allowed to throw exceptions ey and the source
element x which belongs to ensemble ex throws an exception not belonging
to ey then a SpecificationViolation is generated.
Allows only the given local dependencies between a specific source ensemble and several target ensembles.
Example Scenario
If the ensemble
ex
is only allowed to throw exceptionsey
and the source elementx
which belongs to ensembleex
throws an exception not belonging toey
then a SpecificationViolation is generated.