| 37 |
|
* arising out of the use of or inability to use software, even if the |
| 38 |
|
* University of Notre Dame has been advised of the possibility of |
| 39 |
|
* such damages. |
| 40 |
< |
*/ |
| 41 |
< |
#include "io/ParamConstraint.hpp" |
| 42 |
< |
|
| 43 |
< |
namespace oopse { |
| 44 |
< |
|
| 45 |
< |
NotEmptyConstraint isNotEmpty() { |
| 40 |
> |
*/ |
| 41 |
> |
#include "io/ParamConstraint.hpp" |
| 42 |
> |
|
| 43 |
> |
namespace oopse { |
| 44 |
> |
|
| 45 |
> |
NotEmptyConstraint isNotEmpty() { |
| 46 |
|
return NotEmptyConstraint(); |
| 47 |
< |
} |
| 47 |
> |
} |
| 48 |
|
|
| 49 |
< |
ZeroConstraint isZero() { |
| 49 |
> |
ZeroConstraint isZero() { |
| 50 |
|
return ZeroConstraint(); |
| 51 |
< |
} |
| 52 |
< |
|
| 51 |
> |
} |
| 52 |
|
|
| 53 |
< |
ParamConstraintFacade<NonZeroConstraint> isNonZero() { |
| 53 |
> |
ParamConstraintFacade<NonZeroConstraint> isNonZero() { |
| 54 |
|
return ParamConstraintFacade<NonZeroConstraint>(); |
| 55 |
< |
} |
| 55 |
> |
} |
| 56 |
|
|
| 57 |
< |
PositiveConstraint isPositive() { |
| 57 |
> |
PositiveConstraint isPositive() { |
| 58 |
|
return PositiveConstraint(); |
| 59 |
< |
} |
| 59 |
> |
} |
| 60 |
|
|
| 61 |
< |
NonPositiveConstraint isNonPositive() { |
| 61 |
> |
NonPositiveConstraint isNonPositive() { |
| 62 |
|
return NonPositiveConstraint(); |
| 63 |
< |
} |
| 63 |
> |
} |
| 64 |
|
|
| 65 |
< |
NegativeConstraint isNegative() { |
| 65 |
> |
NegativeConstraint isNegative() { |
| 66 |
|
return NegativeConstraint(); |
| 67 |
< |
} |
| 67 |
> |
} |
| 68 |
|
|
| 69 |
< |
NonNegativeConstraint isNonNegative() { |
| 69 |
> |
NonNegativeConstraint isNonNegative() { |
| 70 |
|
return NonNegativeConstraint(); |
| 71 |
< |
} |
| 72 |
< |
|
| 73 |
< |
EqualIgnoreCaseConstraint isEqualIgnoreCase(std::string str) { |
| 71 |
> |
} |
| 72 |
> |
|
| 73 |
> |
EqualIgnoreCaseConstraint isEqualIgnoreCase(std::string str) { |
| 74 |
|
return EqualIgnoreCaseConstraint(str); |
| 75 |
+ |
} |
| 76 |
+ |
|
| 77 |
+ |
EvenConstraint isEven() { |
| 78 |
+ |
return EvenConstraint(); |
| 79 |
+ |
} |
| 80 |
+ |
|
| 81 |
|
} |
| 77 |
– |
|
| 78 |
– |
} |
