2 // IntervalRationalContextBase.cs
5 // Alexander Chebaturkin (chebaturkin@gmail.com)
7 // Copyright (C) 2012 Alexander Chebaturkin
9 // Permission is hereby granted, free of charge, to any person obtaining
10 // a copy of this software and associated documentation files (the
11 // "Software"), to deal in the Software without restriction, including
12 // without limitation the rights to use, copy, modify, merge, publish,
13 // distribute, sublicense, and/or sell copies of the Software, and to
14 // permit persons to whom the Software is furnished to do so, subject to
15 // the following conditions:
17 // The above copyright notice and this permission notice shall be
18 // included in all copies or substantial portions of the Software.
20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
29 using Mono.CodeContracts.Static.Lattices;
31 namespace Mono.CodeContracts.Static.Analysis.Numerical {
32 abstract class IntervalRationalContextBase<TInterval> : IntervalContextBase<TInterval, Rational>
33 where TInterval : IntervalBase<TInterval, Rational> {
34 public override bool IsGreaterThanZero (Rational value)
36 return value > Rational.Zero;
39 public override bool IsGreaterEqualThanZero (Rational value)
41 return value >= Rational.Zero;
44 public override bool IsLessThanZero (Rational value)
46 return value < Rational.Zero;
49 public override bool IsLessEqualThanZero (Rational value)
51 return value <= Rational.Zero;
54 public override bool IsLessEqualThanZero (TInterval value)
56 if (value.IsNormal ())
57 return IsLessEqualThanZero (value.UpperBound);
62 public override bool IsLessThan (Rational a, Rational b)
67 public override bool IsLessEqualThan (Rational a, Rational b)
72 public override bool IsZero (Rational value)
77 public override bool IsNotZero (Rational value)
82 public override bool IsPlusInfinity (Rational value)
84 return value.IsPlusInfinity;
87 public override bool IsMinusInfinity (Rational value)
89 return value.IsMinusInfinity;
92 public override bool AreEqual (Rational a, Rational b)
97 public override bool IsMaxInt32 (TInterval value)
99 return value.IsSinglePoint && value.LowerBound.IsInteger && (int) value.LowerBound.NextInt32 == int.MaxValue;