public class Property extends Object
Modifier and Type | Class and Description |
---|---|
static class |
Property.ForAll1<T1>
Represents a logical for all quantor.
|
static class |
Property.ForAll2<T1,T2>
Represents a logical for all quantor.
|
static class |
Property.ForAll3<T1,T2,T3>
Represents a logical for all quantor.
|
static class |
Property.ForAll4<T1,T2,T3,T4>
Represents a logical for all quantor.
|
static class |
Property.ForAll5<T1,T2,T3,T4,T5>
Represents a logical for all quantor.
|
static class |
Property.ForAll6<T1,T2,T3,T4,T5,T6>
Represents a logical for all quantor.
|
static class |
Property.ForAll7<T1,T2,T3,T4,T5,T6,T7>
Represents a logical for all quantor.
|
static class |
Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>
Represents a logical for all quantor.
|
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 |
---|---|
static Property |
def(String name)
Defines a new Property.
|
<T1> Property.ForAll1<T1> |
forAll(Arbitrary<T1> a1)
Returns a logical for all quantor of 1 given variables.
|
<T1,T2> Property.ForAll2<T1,T2> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2)
Returns a logical for all quantor of 2 given variables.
|
<T1,T2,T3> Property.ForAll3<T1,T2,T3> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3)
Returns a logical for all quantor of 3 given variables.
|
<T1,T2,T3,T4> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4)
Returns a logical for all quantor of 4 given variables.
|
<T1,T2,T3,T4,T5> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5)
Returns a logical for all quantor of 5 given variables.
|
<T1,T2,T3,T4,T5,T6> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6)
Returns a logical for all quantor of 6 given variables.
|
<T1,T2,T3,T4,T5,T6,T7> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7)
Returns a logical for all quantor of 7 given variables.
|
<T1,T2,T3,T4,T5,T6,T7,T8> |
forAll(Arbitrary<T1> a1,
Arbitrary<T2> a2,
Arbitrary<T3> a3,
Arbitrary<T4> a4,
Arbitrary<T5> a5,
Arbitrary<T6> a6,
Arbitrary<T7> a7,
Arbitrary<T8> a8)
Returns a logical for all quantor of 8 given variables.
|
public static Property def(String name)
name
- property nameProperty
NullPointerException
- if name is null.IllegalArgumentException
- if name is empty or consists of whitespace onlypublic <T1> Property.ForAll1<T1> forAll(Arbitrary<T1> a1)
T1
- 1st variable type of this for all quantora1
- 1st variable of this for all quantorForAll1
instance of 1 variablespublic <T1,T2> Property.ForAll2<T1,T2> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantorForAll2
instance of 2 variablespublic <T1,T2,T3> Property.ForAll3<T1,T2,T3> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantorForAll3
instance of 3 variablespublic <T1,T2,T3,T4> Property.ForAll4<T1,T2,T3,T4> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantora4
- 4th variable of this for all quantorForAll4
instance of 4 variablespublic <T1,T2,T3,T4,T5> Property.ForAll5<T1,T2,T3,T4,T5> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantora4
- 4th variable of this for all quantora5
- 5th variable of this for all quantorForAll5
instance of 5 variablespublic <T1,T2,T3,T4,T5,T6> Property.ForAll6<T1,T2,T3,T4,T5,T6> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantorT6
- 6th variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantora4
- 4th variable of this for all quantora5
- 5th variable of this for all quantora6
- 6th variable of this for all quantorForAll6
instance of 6 variablespublic <T1,T2,T3,T4,T5,T6,T7> Property.ForAll7<T1,T2,T3,T4,T5,T6,T7> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantorT6
- 6th variable type of this for all quantorT7
- 7th variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantora4
- 4th variable of this for all quantora5
- 5th variable of this for all quantora6
- 6th variable of this for all quantora7
- 7th variable of this for all quantorForAll7
instance of 7 variablespublic <T1,T2,T3,T4,T5,T6,T7,T8> Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8)
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantorT6
- 6th variable type of this for all quantorT7
- 7th variable type of this for all quantorT8
- 8th variable type of this for all quantora1
- 1st variable of this for all quantora2
- 2nd variable of this for all quantora3
- 3rd variable of this for all quantora4
- 4th variable of this for all quantora5
- 5th variable of this for all quantora6
- 6th variable of this for all quantora7
- 7th variable of this for all quantora8
- 8th variable of this for all quantorForAll8
instance of 8 variablesCopyright © 2016. All Rights Reserved.