default Checkable |
Checkable.and(Checkable checkable) |
Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
|
Checkable |
Property.Property1.implies(CheckedFunction1<T1,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property2.implies(CheckedFunction2<T1,T2,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property3.implies(CheckedFunction3<T1,T2,T3,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property4.implies(CheckedFunction4<T1,T2,T3,T4,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property5.implies(CheckedFunction5<T1,T2,T3,T4,T5,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property6.implies(CheckedFunction6<T1,T2,T3,T4,T5,T6,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property7.implies(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property8.implies(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,java.lang.Boolean> postcondition) |
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
default Checkable |
Checkable.or(Checkable checkable) |
Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.
|