| Package | Description |
|---|---|
| uk.ac.sheffield.vtts.model |
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
|
| Modifier and Type | Class and Description |
|---|---|
class |
Atomic
Atomic is a degenerate predicate representing an atomic Boolean value.
|
class |
Comparison
Comparison represents an inequality expression, comparing two operands.
|
class |
Membership
Membership represents a cardinality or membership predicate on a
collection.
|
class |
Proposition
Proposition represents a logical expression with a Boolean operator root
node.
|
| Modifier and Type | Method and Description |
|---|---|
Predicate |
Condition.getComplement()
Returns the complement of the guard Predicate.
|
Predicate |
Condition.getPredicate()
Returns the Predicate guard.
|
Predicate |
Membership.negate()
Returns the complement of this Membership predicate.
|
Predicate |
Atomic.negate()
Negates this Atomic predicate.
|
Predicate |
Predicate.negate()
Returns the complement of this Predicate.
|
Predicate |
Proposition.negate()
Returns the complement of this logical Proposition.
|
Predicate |
Comparison.negate()
Returns the complement of this Comparison.
|
Predicate |
Predicate.normalise()
Returns this Predicate in normal form.
|
Predicate |
Proposition.operand(int index)
Returns one of the operand Predicates at an index.
|
Predicate |
Comparison.reverse()
Returns the symmetric reversal of this Comparison.
|
Predicate |
Predicate.setType(java.lang.String type)
Sets the type of this Predicate.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Predicate> |
Scenario.getPartitions()
Returns the set of all possible atomic predicates and their negations
that can be derived from this Scenario's Condition.
|
java.util.Set<Predicate> |
Condition.getPartitions()
Returns the set of all possible atomic predicates and their negations
that can be derived from this Condition's guard.
|
protected java.util.Set<Predicate> |
Operation.getPartitions(Notice opInfo)
Returns the possible symbolic input partitions for this Operation.
|
java.util.List<Predicate> |
Proposition.getPredicates()
Returns the list of operand Predicates governed by this Proposition.
|
java.util.List<Predicate> |
Predicate.refine()
Returns a list of refinements of this Predicate.
|
java.util.List<Predicate> |
Proposition.refine()
Returns a list of refinements of this Proposition.
|
java.util.List<Predicate> |
Comparison.refine()
Returns a list of refinements of this Comparison.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
Condition.accepts(Predicate actual)
Determines whether this Condition would be satisfied by some actual
constraint.
|
Condition |
Condition.addPredicate(Predicate predicate)
Adds the guard Predicate to this Condition.
|
protected boolean |
Proposition.allConjunctsSubsume(Predicate other)
Tests whether all of this AND-Proposition's conjuncts subsume the
other Predicate.
|
protected boolean |
Proposition.oneDisjunctSubsumes(Predicate other)
Tests whether one of this OR-Proposition's disjuncts subsumes the
other Predicate.
|
boolean |
Membership.subsumes(Predicate other)
Tests whether this Membership predicate subsumes the other Predicate.
|
boolean |
Atomic.subsumes(Predicate other)
Tests whether this Atomic predicate subsumes the other Predicate.
|
abstract boolean |
Predicate.subsumes(Predicate other)
Tests whether this Predicate subsumes the other Predicate.
|
boolean |
Proposition.subsumes(Predicate other)
Tests whether this Proposition subsumes another Predicate.
|
boolean |
Comparison.subsumes(Predicate other)
Tests whether this Comparison subsumes the other Predicate.
|
protected boolean |
Comparison.subsumesComparison(Predicate other)
Tests whether this comparison subsumes the other comparison.
|