public interface IAssertion extends IDisjunct
condition
that asserts a condition on a single property.ALWAYS
Modifier and Type | Method and Description |
---|---|
boolean |
completable()
Returns true if any property set that does NOT satisfy this assertion can be made to satisfy this assertion by
the addition of another (instance of a) property.
|
String |
getProperty()
Returns the property for this assertion.
|
IAssertion |
negate()
Returns an assertion that negates this assertion.
|
boolean |
negates(IAssertion other)
Returns true if this assertion negates the other.
|
contains, getAssertionCount, getAssertions
getDisjunctCount, getDisjuncts
accept, compatible, satisfied
String getProperty()
IAssertion negate()
boolean negates(IAssertion other)
boolean completable()
Copyright © 2024 The Cornutum Project. All rights reserved.