Modifier and Type | Class and Description |
---|---|
static class |
Property.Property1<T1>
Represents a 1-ary checkable property.
|
static class |
Property.Property2<T1,T2>
Represents a 2-ary checkable property.
|
static class |
Property.Property3<T1,T2,T3>
Represents a 3-ary checkable property.
|
static class |
Property.Property4<T1,T2,T3,T4>
Represents a 4-ary checkable property.
|
static class |
Property.Property5<T1,T2,T3,T4,T5>
Represents a 5-ary checkable property.
|
static class |
Property.Property6<T1,T2,T3,T4,T5,T6>
Represents a 6-ary checkable property.
|
static class |
Property.Property7<T1,T2,T3,T4,T5,T6,T7>
Represents a 7-ary checkable property.
|
static class |
Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>
Represents a 8-ary checkable property.
|
Modifier and Type | Method and Description |
---|---|
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,Boolean> postcondition)
Returns an implication which composes this Property as pre-condition and a given post-condition.
|
Checkable |
Property.Property2.implies(CheckedFunction2<T1,T2,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,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,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,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,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,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,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.
|
Modifier and Type | Method and Description |
---|---|
default Checkable |
Checkable.and(Checkable checkable)
Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
|
default Checkable |
Checkable.or(Checkable checkable)
Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.
|
Copyright © 2016. All Rights Reserved.