|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CriticalPair
CriticalPair provides an algorithm to compute a critical pair. This algorithm is than used in a container.
Field Summary | |
---|---|
static int |
CONFLICT
Conflict constant used to specify exclude algorithm, too. |
static int |
CONFLICTFREE
Conflict free constant used to specify the conflict free algorithm. |
static int |
DEPENDENCY
Deprecated. replaced by TRIGGER_DEPENDENCY |
static int |
EXCLUDE
Exclude constant used to specify the exclude algorithm. |
static int |
TRIGGER_DEPENDENCY
Dependency constant used to specify dependency kind. |
static int |
TRIGGER_SWITCH_DEPENDENCY
|
Method Summary | |
---|---|
int |
getNumberOfKindOfPairs()
Returns the number of kind of pairs which will be distinguished. |
java.lang.Object |
isCritical(int kind,
Rule r1,
Rule r2)
computes if there is a critical pair of a special kind. |
Field Detail |
---|
static final int EXCLUDE
static final int CONFLICT
static final int TRIGGER_DEPENDENCY
static final int TRIGGER_SWITCH_DEPENDENCY
static final int DEPENDENCY
static final int CONFLICTFREE
Method Detail |
---|
int getNumberOfKindOfPairs()
java.lang.Object isCritical(int kind, Rule r1, Rule r2) throws InvalidAlgorithmException
Vector
of overlaping graphs. If a kind kind is
requested which cannot be computed a
InvalidAlgorithmException
is thrown.
kind
- specifies the kind of critical pairr1
- defines the first part which can be criticalr2
- the second part which can be critical
InvalidAlgorithmException
- Is thrown if a desired algorithm is not provided.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |