1 // Licensed to the .NET Foundation under one or more agreements. 2 // The .NET Foundation licenses this file to you under the MIT license. 3 // See the LICENSE file in the project root for more information. 4 5 [assembly:System.Reflection.AssemblyVersionAttribute("4.0.0.0")] 6 [assembly:System.CLSCompliantAttribute(true)] 7 [assembly:System.Diagnostics.DebuggableAttribute((System.Diagnostics.DebuggableAttribute.DebuggingModes)(2))] 8 [assembly:System.Reflection.AssemblyCompanyAttribute("Mono development team")] 9 [assembly:System.Reflection.AssemblyCopyrightAttribute("(c) Various Mono authors")] 10 [assembly:System.Reflection.AssemblyDefaultAliasAttribute("Mono.CodeContracts.dll")] 11 [assembly:System.Reflection.AssemblyDescriptionAttribute("Mono.CodeContracts.dll")] 12 [assembly:System.Reflection.AssemblyFileVersionAttribute("4.6.57.0")] 13 [assembly:System.Reflection.AssemblyInformationalVersionAttribute("4.6.57.0")] 14 [assembly:System.Reflection.AssemblyProductAttribute("Mono Common Language Infrastructure")] 15 [assembly:System.Reflection.AssemblyTitleAttribute("Mono.CodeContracts.dll")] 16 [assembly:System.Resources.NeutralResourcesLanguageAttribute("en-US")] 17 [assembly:System.Resources.SatelliteContractVersionAttribute("4.0.0.0")] 18 [assembly:System.Runtime.CompilerServices.CompilationRelaxationsAttribute(8)] 19 [assembly:System.Runtime.CompilerServices.ReferenceAssemblyAttribute] 20 [assembly:System.Runtime.CompilerServices.RuntimeCompatibilityAttribute(WrapNonExceptionThrows=true)] 21 namespace Mono.CodeContracts.Rewrite 22 { 23 [System.Runtime.InteropServices.StructLayoutAttribute(System.Runtime.InteropServices.LayoutKind.Sequential)] 24 public partial struct AssemblyRef 25 { AssemblyRefMono.CodeContracts.Rewrite.AssemblyRef26 public AssemblyRef(Mono.CodeContracts.Rewrite.AssemblyRef.TwoStreams streams) { throw null;} AssemblyRefMono.CodeContracts.Rewrite.AssemblyRef27 public AssemblyRef(string filename) { throw null;} 28 public string Filename { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } 29 public bool IsFilename { get { throw null; } } 30 public bool IsSet { get { throw null; } } 31 public bool IsStream { get { throw null; } } 32 public Mono.CodeContracts.Rewrite.AssemblyRef.TwoStreams Streams { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } operator Mono.CodeContracts.Rewrite.AssemblyRefMono.CodeContracts.Rewrite.AssemblyRef33 public static implicit operator Mono.CodeContracts.Rewrite.AssemblyRef (System.IO.Stream stream) { throw null; } operator Mono.CodeContracts.Rewrite.AssemblyRefMono.CodeContracts.Rewrite.AssemblyRef34 public static implicit operator Mono.CodeContracts.Rewrite.AssemblyRef (string filename) { throw null; } 35 [System.Runtime.InteropServices.StructLayoutAttribute(System.Runtime.InteropServices.LayoutKind.Sequential)] 36 public partial struct TwoStreams 37 { TwoStreamsMono.CodeContracts.Rewrite.AssemblyRef.TwoStreams38 public TwoStreams(System.IO.Stream assembly, System.IO.Stream symbols) { throw null;} 39 public System.IO.Stream Assembly { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } 40 public System.IO.Stream Symbols { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } 41 } 42 } 43 public partial class Rewriter 44 { Rewriter()45 internal Rewriter() { } Rewrite(Mono.CodeContracts.Rewrite.RewriterOptions options)46 public static Mono.CodeContracts.Rewrite.RewriterResults Rewrite(Mono.CodeContracts.Rewrite.RewriterOptions options) { throw null; } 47 } 48 public partial class RewriterOptions 49 { RewriterOptions()50 public RewriterOptions() { } 51 public Mono.CodeContracts.Rewrite.AssemblyRef Assembly { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 52 public bool BreakIntoDebugger { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 53 public bool Debug { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 54 public string ForceAssemblyRename { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 55 public int Level { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 56 public Mono.CodeContracts.Rewrite.AssemblyRef OutputFile { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 57 public bool Rewrite { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 58 public bool ThrowOnFailure { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 59 public bool WritePdbFile { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 60 } 61 public partial class RewriterResults 62 { RewriterResults()63 internal RewriterResults() { } 64 public bool AnyErrors { get { throw null; } } 65 public bool AnyWarnings { get { throw null; } } 66 public System.Collections.Generic.IEnumerable<string> Errors { get { throw null; } } 67 public System.Collections.Generic.IEnumerable<string> Warnings { get { throw null; } } 68 } 69 } 70 namespace Mono.CodeContracts.Static 71 { 72 public partial class Checker 73 { Checker()74 internal Checker() { } Check(Mono.CodeContracts.Static.CheckOptions options)75 public static Mono.CodeContracts.Static.CheckResults Check(Mono.CodeContracts.Static.CheckOptions options) { throw null; } 76 } 77 public partial class CheckOptions 78 { CheckOptions()79 public CheckOptions() { } 80 public string Assembly { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 81 public string Method { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 82 public bool ShowDebug { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]set { } } 83 } 84 public partial class CheckResults 85 { CheckResults()86 internal CheckResults() { } 87 public bool AnyErrors { get { throw null; } } 88 public bool AnyWarnings { get { throw null; } } 89 public System.Collections.Generic.IEnumerable<string> Errors { get { throw null; } } 90 public System.Collections.Generic.IDictionary<string, System.Collections.Generic.ICollection<string>> Results { get { throw null; } } 91 public System.Collections.Generic.IEnumerable<string> Warnings { get { throw null; } } 92 } 93 } 94 namespace Mono.CodeContracts.Static.Analysis.Numerical 95 { 96 public partial class DisInterval : Mono.CodeContracts.Static.Analysis.Numerical.IntervalBase<Mono.CodeContracts.Static.Analysis.Numerical.DisInterval, Mono.CodeContracts.Static.Analysis.Numerical.Rational> 97 { DisInterval()98 internal DisInterval() : base (default(Mono.CodeContracts.Static.Analysis.Numerical.Rational), default(Mono.CodeContracts.Static.Analysis.Numerical.Rational)) { } 99 public static readonly Mono.CodeContracts.Static.Analysis.Numerical.DisInterval NotZero; 100 public Mono.CodeContracts.Static.Analysis.Numerical.Interval AsInterval { get { throw null; } } 101 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Bottom { get { throw null; } } 102 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval BottomValue { get { throw null; } } 103 public override bool IsBottom { get { throw null; } } 104 public bool IsNotZero { get { throw null; } } 105 public bool IsPositiveOrZero { get { throw null; } } 106 public override bool IsTop { get { throw null; } } 107 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Top { get { throw null; } } 108 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval TopValue { get { throw null; } } Clone()109 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Clone() { throw null; } Dump(System.IO.TextWriter tw)110 public override void Dump(System.IO.TextWriter tw) { } Equals(object other)111 public override bool Equals(object other) { throw null; } EverythingExcept(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval interval)112 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval EverythingExcept(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval interval) { throw null; } For(Mono.CodeContracts.Static.Analysis.Numerical.Interval interval)113 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval For(Mono.CodeContracts.Static.Analysis.Numerical.Interval interval) { throw null; } For(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> intervals)114 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval For(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> intervals) { throw null; } GetHashCode()115 public override int GetHashCode() { throw null; } ImmutableVersion()116 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval ImmutableVersion() { throw null; } IsFiniteBound(Mono.CodeContracts.Static.Analysis.Numerical.Rational n)117 protected override bool IsFiniteBound(Mono.CodeContracts.Static.Analysis.Numerical.Rational n) { throw null; } Join(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that)118 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Join(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that) { throw null; } Join(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that, bool widening, out bool weaker)119 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Join(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that, bool widening, out bool weaker) { weaker = default(bool); throw null; } JoinAll(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> list)120 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval JoinAll(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> list) { throw null; } LessEqual(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that)121 public override bool LessEqual(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that) { throw null; } Meet(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that)122 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Meet(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that) { throw null; } Normalize(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> intervals, out bool isBottom)123 public static Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> Normalize(Mono.CodeContracts.Static.DataStructures.Sequence<Mono.CodeContracts.Static.Analysis.Numerical.Interval> intervals, out bool isBottom) { isBottom = default(bool); throw null; } operator +(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right)124 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval operator +(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right) { throw null; } operator /(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right)125 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval operator /(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right) { throw null; } operator *(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right)126 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval operator *(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right) { throw null; } operator -(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right)127 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval operator -(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left, Mono.CodeContracts.Static.Analysis.Numerical.DisInterval right) { throw null; } operator -(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left)128 public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval operator -(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval left) { throw null; } Select(System.Func<Mono.CodeContracts.Static.Analysis.Numerical.Interval, Mono.CodeContracts.Static.Analysis.Numerical.Interval> selector)129 public Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Select(System.Func<Mono.CodeContracts.Static.Analysis.Numerical.Interval, Mono.CodeContracts.Static.Analysis.Numerical.Interval> selector) { throw null; } ToString()130 public override string ToString() { throw null; } Widen(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that)131 public override Mono.CodeContracts.Static.Analysis.Numerical.DisInterval Widen(Mono.CodeContracts.Static.Analysis.Numerical.DisInterval that) { throw null; } 132 } 133 public enum ExpressionOperator 134 { 135 Add = 16, 136 And = 3, 137 Constant = 0, 138 ConvertToInt32 = 24, 139 Div = 19, 140 Equal = 9, 141 Equal_Obj = 10, 142 GreaterEqualThan = 15, 143 GreaterThan = 14, 144 LessEqualThan = 13, 145 LessThan = 12, 146 LogicalAnd = 6, 147 LogicalNot = 8, 148 LogicalOr = 7, 149 Mod = 20, 150 Mult = 18, 151 Not = 2, 152 NotEqual = 11, 153 Or = 4, 154 SizeOf = 22, 155 Sub = 17, 156 UnaryMinus = 21, 157 Unknown = 23, 158 Variable = 1, 159 Xor = 5, 160 } 161 public partial class Interval : Mono.CodeContracts.Static.Analysis.Numerical.IntervalBase<Mono.CodeContracts.Static.Analysis.Numerical.Interval, Mono.CodeContracts.Static.Analysis.Numerical.Rational>, System.IEquatable<Mono.CodeContracts.Static.Analysis.Numerical.Interval> 162 { Interval()163 internal Interval() : base (default(Mono.CodeContracts.Static.Analysis.Numerical.Rational), default(Mono.CodeContracts.Static.Analysis.Numerical.Rational)) { } 164 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Bottom { get { throw null; } } 165 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval BottomValue { get { throw null; } } 166 public override bool IsBottom { get { throw null; } } 167 public override bool IsTop { get { throw null; } } 168 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Top { get { throw null; } } 169 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval TopValue { get { throw null; } } ApplyConversion(Mono.CodeContracts.Static.Analysis.Numerical.ExpressionOperator conv, Mono.CodeContracts.Static.Analysis.Numerical.Interval intv)170 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval ApplyConversion(Mono.CodeContracts.Static.Analysis.Numerical.ExpressionOperator conv, Mono.CodeContracts.Static.Analysis.Numerical.Interval intv) { throw null; } AreConsecutiveIntegers(Mono.CodeContracts.Static.Analysis.Numerical.Interval prev, Mono.CodeContracts.Static.Analysis.Numerical.Interval next)171 public static bool AreConsecutiveIntegers(Mono.CodeContracts.Static.Analysis.Numerical.Interval prev, Mono.CodeContracts.Static.Analysis.Numerical.Interval next) { throw null; } Clone()172 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Clone() { throw null; } Dump(System.IO.TextWriter tw)173 public override void Dump(System.IO.TextWriter tw) { } Equals(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)174 public bool Equals(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } Equals(object obj)175 public override bool Equals(object obj) { throw null; } For(Mono.CodeContracts.Static.Analysis.Numerical.Rational value)176 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(Mono.CodeContracts.Static.Analysis.Numerical.Rational value) { throw null; } For(Mono.CodeContracts.Static.Analysis.Numerical.Rational lowerBound, Mono.CodeContracts.Static.Analysis.Numerical.Rational upperBound)177 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(Mono.CodeContracts.Static.Analysis.Numerical.Rational lowerBound, Mono.CodeContracts.Static.Analysis.Numerical.Rational upperBound) { throw null; } For(Mono.CodeContracts.Static.Analysis.Numerical.Rational lowerBound, long upperBound)178 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(Mono.CodeContracts.Static.Analysis.Numerical.Rational lowerBound, long upperBound) { throw null; } For(long value)179 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(long value) { throw null; } For(long lower, Mono.CodeContracts.Static.Analysis.Numerical.Rational upperBound)180 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(long lower, Mono.CodeContracts.Static.Analysis.Numerical.Rational upperBound) { throw null; } For(long lowerBound, long upperBound)181 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval For(long lowerBound, long upperBound) { throw null; } GetHashCode()182 public override int GetHashCode() { throw null; } ImmutableVersion()183 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval ImmutableVersion() { throw null; } Includes(int x)184 public bool Includes(int x) { throw null; } Includes(long x)185 public bool Includes(long x) { throw null; } IsFiniteBound(Mono.CodeContracts.Static.Analysis.Numerical.Rational n)186 protected override bool IsFiniteBound(Mono.CodeContracts.Static.Analysis.Numerical.Rational n) { throw null; } Join(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)187 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Join(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } Join(Mono.CodeContracts.Static.Analysis.Numerical.Interval that, bool widening, out bool weaker)188 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Join(Mono.CodeContracts.Static.Analysis.Numerical.Interval that, bool widening, out bool weaker) { weaker = default(bool); throw null; } LessEqual(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)189 public override bool LessEqual(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } LessEqual(System.Collections.Generic.IEnumerable<Mono.CodeContracts.Static.Analysis.Numerical.Interval> right)190 public bool LessEqual(System.Collections.Generic.IEnumerable<Mono.CodeContracts.Static.Analysis.Numerical.Interval> right) { throw null; } Meet(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)191 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Meet(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } OnTheLeftOf(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)192 public bool OnTheLeftOf(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } operator +(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r)193 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval operator +(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r) { throw null; } operator /(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r)194 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval operator /(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r) { throw null; } operator *(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r)195 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval operator *(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r) { throw null; } operator -(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r)196 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval operator -(Mono.CodeContracts.Static.Analysis.Numerical.Interval l, Mono.CodeContracts.Static.Analysis.Numerical.Interval r) { throw null; } operator -(Mono.CodeContracts.Static.Analysis.Numerical.Interval l)197 public static Mono.CodeContracts.Static.Analysis.Numerical.Interval operator -(Mono.CodeContracts.Static.Analysis.Numerical.Interval l) { throw null; } OverlapsWith(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)198 public bool OverlapsWith(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } TryGetSingletonFiniteInt32(out int value)199 public bool TryGetSingletonFiniteInt32(out int value) { value = default(int); throw null; } Widen(Mono.CodeContracts.Static.Analysis.Numerical.Interval that)200 public override Mono.CodeContracts.Static.Analysis.Numerical.Interval Widen(Mono.CodeContracts.Static.Analysis.Numerical.Interval that) { throw null; } 201 } 202 public abstract partial class IntervalBase<TInterval, TNumeric> : Mono.CodeContracts.Static.Lattices.IAbstractDomain<TInterval> where TInterval : Mono.CodeContracts.Static.Analysis.Numerical.IntervalBase<TInterval, TNumeric> 203 { IntervalBase(TNumeric lowerBound, TNumeric upperBound)204 protected IntervalBase(TNumeric lowerBound, TNumeric upperBound) { } 205 public abstract TInterval Bottom { get; } 206 public abstract bool IsBottom { get; } 207 public bool IsFinite { get { throw null; } } 208 public bool IsSinglePoint { get { throw null; } } 209 public abstract bool IsTop { get; } 210 public TNumeric LowerBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]protected set { } } 211 public abstract TInterval Top { get; } 212 public TNumeric UpperBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } [System.Runtime.CompilerServices.CompilerGeneratedAttribute]protected set { } } Clone()213 public abstract TInterval Clone(); Dump(System.IO.TextWriter tw)214 public abstract void Dump(System.IO.TextWriter tw); ImmutableVersion()215 public abstract TInterval ImmutableVersion(); IsFiniteBound(TNumeric n)216 protected abstract bool IsFiniteBound(TNumeric n); Join(TInterval that)217 public abstract TInterval Join(TInterval that); Join(TInterval that, bool widening, out bool weaker)218 public abstract TInterval Join(TInterval that, bool widening, out bool weaker); LessEqual(TInterval that)219 public abstract bool LessEqual(TInterval that); Meet(TInterval that)220 public abstract TInterval Meet(TInterval that); ToString()221 public override string ToString() { throw null; } Widen(TInterval that)222 public abstract TInterval Widen(TInterval that); 223 } 224 [System.Runtime.InteropServices.StructLayoutAttribute(System.Runtime.InteropServices.LayoutKind.Sequential)] 225 public partial struct Rational : System.IEquatable<Mono.CodeContracts.Static.Analysis.Numerical.Rational> 226 { 227 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational MaxValue; 228 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational MinusInfinity; 229 public static readonly Mono.CodeContracts.Static.Analysis.Numerical.Rational MinusOne; 230 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational MinValue; 231 public static readonly Mono.CodeContracts.Static.Analysis.Numerical.Rational One; 232 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational PlusInfinity; 233 public static readonly Mono.CodeContracts.Static.Analysis.Numerical.Rational Zero; 234 public long Down { get { throw null; } } 235 public bool IsInfinity { get { throw null; } } 236 public bool IsInt32 { get { throw null; } } 237 public bool IsInteger { get { throw null; } } 238 public bool IsMaxValue { get { throw null; } } 239 public bool IsMinusInfinity { get { throw null; } } 240 public bool IsMinValue { get { throw null; } } 241 public bool IsPlusInfinity { get { throw null; } } 242 public bool IsZero { get { throw null; } } 243 public Mono.CodeContracts.Static.Analysis.Numerical.Rational NextInt32 { get { throw null; } } 244 public Mono.CodeContracts.Static.Analysis.Numerical.Rational NextInt64 { get { throw null; } } 245 public Mono.CodeContracts.Static.Analysis.Numerical.Rational PreviousInt32 { get { throw null; } } 246 public int Sign { get { throw null; } } 247 public long Up { get { throw null; } } AbsMono.CodeContracts.Static.Analysis.Numerical.Rational248 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational Abs(Mono.CodeContracts.Static.Analysis.Numerical.Rational a) { throw null; } EqualsMono.CodeContracts.Static.Analysis.Numerical.Rational249 public bool Equals(Mono.CodeContracts.Static.Analysis.Numerical.Rational other) { throw null; } EqualsMono.CodeContracts.Static.Analysis.Numerical.Rational250 public override bool Equals(object obj) { throw null; } ForMono.CodeContracts.Static.Analysis.Numerical.Rational251 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational For(long number) { throw null; } ForMono.CodeContracts.Static.Analysis.Numerical.Rational252 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational For(long nominator, long denominator) { throw null; } GetHashCodeMono.CodeContracts.Static.Analysis.Numerical.Rational253 public override int GetHashCode() { throw null; } IsInRangeMono.CodeContracts.Static.Analysis.Numerical.Rational254 public bool IsInRange(long min, long max) { throw null; } MaxMono.CodeContracts.Static.Analysis.Numerical.Rational255 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational Max(Mono.CodeContracts.Static.Analysis.Numerical.Rational a, Mono.CodeContracts.Static.Analysis.Numerical.Rational b) { throw null; } MinMono.CodeContracts.Static.Analysis.Numerical.Rational256 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational Min(Mono.CodeContracts.Static.Analysis.Numerical.Rational a, Mono.CodeContracts.Static.Analysis.Numerical.Rational b) { throw null; } operator +Mono.CodeContracts.Static.Analysis.Numerical.Rational257 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator +(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator +Mono.CodeContracts.Static.Analysis.Numerical.Rational258 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator +(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long i) { throw null; } operator /Mono.CodeContracts.Static.Analysis.Numerical.Rational259 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator /(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator ==Mono.CodeContracts.Static.Analysis.Numerical.Rational260 public static bool operator ==(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator doubleMono.CodeContracts.Static.Analysis.Numerical.Rational261 public static explicit operator double (Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator intMono.CodeContracts.Static.Analysis.Numerical.Rational262 public static explicit operator int (Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator longMono.CodeContracts.Static.Analysis.Numerical.Rational263 public static explicit operator long (Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator >Mono.CodeContracts.Static.Analysis.Numerical.Rational264 public static bool operator >(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator >Mono.CodeContracts.Static.Analysis.Numerical.Rational265 public static bool operator >(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long r) { throw null; } operator >Mono.CodeContracts.Static.Analysis.Numerical.Rational266 public static bool operator >(long l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator >=Mono.CodeContracts.Static.Analysis.Numerical.Rational267 public static bool operator >=(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator >=Mono.CodeContracts.Static.Analysis.Numerical.Rational268 public static bool operator >=(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long r) { throw null; } operator >=Mono.CodeContracts.Static.Analysis.Numerical.Rational269 public static bool operator >=(long l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator Mono.CodeContracts.Static.Analysis.Numerical.RationalMono.CodeContracts.Static.Analysis.Numerical.Rational270 public static implicit operator Mono.CodeContracts.Static.Analysis.Numerical.Rational (long l) { throw null; } operator !=Mono.CodeContracts.Static.Analysis.Numerical.Rational271 public static bool operator !=(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator <Mono.CodeContracts.Static.Analysis.Numerical.Rational272 public static bool operator <(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator <Mono.CodeContracts.Static.Analysis.Numerical.Rational273 public static bool operator <(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long r) { throw null; } operator <Mono.CodeContracts.Static.Analysis.Numerical.Rational274 public static bool operator <(long l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator <=Mono.CodeContracts.Static.Analysis.Numerical.Rational275 public static bool operator <=(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator <=Mono.CodeContracts.Static.Analysis.Numerical.Rational276 public static bool operator <=(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long r) { throw null; } operator <=Mono.CodeContracts.Static.Analysis.Numerical.Rational277 public static bool operator <=(long l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator *Mono.CodeContracts.Static.Analysis.Numerical.Rational278 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator *(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator -Mono.CodeContracts.Static.Analysis.Numerical.Rational279 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator -(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r) { throw null; } operator -Mono.CodeContracts.Static.Analysis.Numerical.Rational280 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator -(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, long i) { throw null; } operator -Mono.CodeContracts.Static.Analysis.Numerical.Rational281 public static Mono.CodeContracts.Static.Analysis.Numerical.Rational operator -(Mono.CodeContracts.Static.Analysis.Numerical.Rational value) { throw null; } ToStringMono.CodeContracts.Static.Analysis.Numerical.Rational282 public override string ToString() { throw null; } TryAddMono.CodeContracts.Static.Analysis.Numerical.Rational283 public static bool TryAdd(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r, out Mono.CodeContracts.Static.Analysis.Numerical.Rational result) { result = default(Mono.CodeContracts.Static.Analysis.Numerical.Rational); throw null; } TryDivideMono.CodeContracts.Static.Analysis.Numerical.Rational284 public static bool TryDivide(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r, out Mono.CodeContracts.Static.Analysis.Numerical.Rational result) { result = default(Mono.CodeContracts.Static.Analysis.Numerical.Rational); throw null; } TryMultiplyMono.CodeContracts.Static.Analysis.Numerical.Rational285 public static bool TryMultiply(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r, out Mono.CodeContracts.Static.Analysis.Numerical.Rational result) { result = default(Mono.CodeContracts.Static.Analysis.Numerical.Rational); throw null; } TrySubtractMono.CodeContracts.Static.Analysis.Numerical.Rational286 public static bool TrySubtract(Mono.CodeContracts.Static.Analysis.Numerical.Rational l, Mono.CodeContracts.Static.Analysis.Numerical.Rational r, out Mono.CodeContracts.Static.Analysis.Numerical.Rational result) { result = default(Mono.CodeContracts.Static.Analysis.Numerical.Rational); throw null; } TryUnaryMinusMono.CodeContracts.Static.Analysis.Numerical.Rational287 public static bool TryUnaryMinus(Mono.CodeContracts.Static.Analysis.Numerical.Rational value, out Mono.CodeContracts.Static.Analysis.Numerical.Rational result) { result = default(Mono.CodeContracts.Static.Analysis.Numerical.Rational); throw null; } 288 } 289 public partial class RationalThreshold : Mono.CodeContracts.Static.Analysis.Numerical.Threshold<Mono.CodeContracts.Static.Analysis.Numerical.Rational> 290 { RationalThreshold(int size)291 public RationalThreshold(int size) : base (default(int)) { } 292 protected override Mono.CodeContracts.Static.Analysis.Numerical.Rational MinusInfinity { get { throw null; } } 293 protected override Mono.CodeContracts.Static.Analysis.Numerical.Rational PlusInfinity { get { throw null; } } 294 protected override Mono.CodeContracts.Static.Analysis.Numerical.Rational Zero { get { throw null; } } LessThan(Mono.CodeContracts.Static.Analysis.Numerical.Rational a, Mono.CodeContracts.Static.Analysis.Numerical.Rational b)295 protected override bool LessThan(Mono.CodeContracts.Static.Analysis.Numerical.Rational a, Mono.CodeContracts.Static.Analysis.Numerical.Rational b) { throw null; } 296 } 297 public abstract partial class Threshold<T> 298 { 299 protected int NextFree; 300 protected readonly System.Collections.Generic.List<T> Values; Threshold(int size)301 protected Threshold(int size) { } 302 public int Count { get { throw null; } } 303 protected abstract T MinusInfinity { get; } 304 protected abstract T PlusInfinity { get; } 305 protected abstract T Zero { get; } Add(T value)306 public bool Add(T value) { throw null; } BinarySearch(T value, int low, int hi)307 public int BinarySearch(T value, int low, int hi) { throw null; } GetNext(T value)308 public T GetNext(T value) { throw null; } GetPrevious(T value)309 public T GetPrevious(T value) { throw null; } LessThan(T a, T b)310 protected abstract bool LessThan(T a, T b); 311 } 312 } 313 namespace Mono.CodeContracts.Static.DataStructures 314 { 315 public partial interface IImmutableIntMap<T> 316 { 317 T Any { get; } 318 int Count { get; } 319 T this[int key] { get; } 320 System.Collections.Generic.IEnumerable<int> Keys { get; } 321 System.Collections.Generic.IEnumerable<T> Values { get; } Add(int key, T value)322 Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Add(int key, T value); Contains(int key)323 bool Contains(int key); Lookup(int key)324 T Lookup(int key); Remove(int key)325 Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Remove(int key); Visit(System.Action<int, T> action)326 void Visit(System.Action<int, T> action); Visit(System.Action<T> action)327 void Visit(System.Action<T> action); 328 } 329 public static partial class ImmutableIntMap<T> 330 { 331 public static readonly Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Empty; 332 } 333 public static partial class SequenceExtensions 334 { All(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> predicate)335 public static bool All<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> predicate) { throw null; } Any(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> predicate)336 public static bool Any<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> predicate) { throw null; } Append(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, Mono.CodeContracts.Static.DataStructures.Sequence<T> append)337 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Append<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, Mono.CodeContracts.Static.DataStructures.Sequence<T> append) { throw null; } Apply(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Action<T> action)338 public static void Apply<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Action<T> action) { } AsEnumerable(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list)339 public static System.Collections.Generic.IEnumerable<T> AsEnumerable<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } 340 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Coerce<S, T>(this Mono.CodeContracts.Static.DataStructures.Sequence<S> list) where S : T { throw null; } Cons(this Mono.CodeContracts.Static.DataStructures.Sequence<T> rest, T elem)341 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Cons<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> rest, T elem) { throw null; } ForEach(this Mono.CodeContracts.Static.DataStructures.Sequence<T> seq, System.Action<T> action)342 public static void ForEach<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> seq, System.Action<T> action) { } IsEmpty(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list)343 public static bool IsEmpty<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } Last(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list)344 public static T Last<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } Length(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list)345 public static int Length<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } Reverse(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list)346 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Reverse<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } Select(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Func<T, S> selector)347 public static Mono.CodeContracts.Static.DataStructures.Sequence<S> Select<T, S>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Func<T, S> selector) { throw null; } Where(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> keep)348 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Where<T>(this Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Predicate<T> keep) { throw null; } 349 } 350 public partial class Sequence<T> : System.IEquatable<Mono.CodeContracts.Static.DataStructures.Sequence<T>> 351 { Sequence()352 internal Sequence() { } 353 public static readonly Mono.CodeContracts.Static.DataStructures.Sequence<T> Empty; 354 public T Head { get { throw null; } } 355 public Mono.CodeContracts.Static.DataStructures.Sequence<T> Tail { get { throw null; } } Apply(Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Action<T> action)356 public static void Apply(Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Action<T> action) { } Cons(T elem, Mono.CodeContracts.Static.DataStructures.Sequence<T> tail)357 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Cons(T elem, Mono.CodeContracts.Static.DataStructures.Sequence<T> tail) { throw null; } Contains(Mono.CodeContracts.Static.DataStructures.Sequence<T> l, T o)358 public static bool Contains(Mono.CodeContracts.Static.DataStructures.Sequence<T> l, T o) { throw null; } Equals(Mono.CodeContracts.Static.DataStructures.Sequence<T> other)359 public bool Equals(Mono.CodeContracts.Static.DataStructures.Sequence<T> other) { throw null; } Equals(object obj)360 public override bool Equals(object obj) { throw null; } From(System.Collections.Generic.IEnumerable<T> elems)361 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> From(System.Collections.Generic.IEnumerable<T> elems) { throw null; } From(params T[] elems)362 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> From(params T[] elems) { throw null; } GetHashCode()363 public override int GetHashCode() { throw null; } LengthOf(Mono.CodeContracts.Static.DataStructures.Sequence<T> list)364 public static int LengthOf(Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } PrivateGetEnumerable(Mono.CodeContracts.Static.DataStructures.Sequence<T> list)365 public static System.Collections.Generic.IEnumerable<T> PrivateGetEnumerable(Mono.CodeContracts.Static.DataStructures.Sequence<T> list) { throw null; } Select(Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Func<T, S> selector)366 public static Mono.CodeContracts.Static.DataStructures.Sequence<S> Select<S>(Mono.CodeContracts.Static.DataStructures.Sequence<T> list, System.Func<T, S> selector) { throw null; } Singleton(T value)367 public static Mono.CodeContracts.Static.DataStructures.Sequence<T> Singleton(T value) { throw null; } ToString()368 public override string ToString() { throw null; } 369 } 370 } 371 namespace Mono.CodeContracts.Static.DataStructures.Patricia 372 { 373 public partial class BranchNode<T> : Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> 374 { 375 public readonly int BranchingBit; 376 public readonly Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> Left; 377 public readonly int Prefix; 378 public readonly Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> Right; BranchNode(int prefix, int branchingBit, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> left, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> right)379 public BranchNode(int prefix, int branchingBit, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> left, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> right) { } 380 public override int Count { get { throw null; } } 381 public override int Key { get { throw null; } } Add(int key, T value)382 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Add(int key, T value) { throw null; } AppendToBuilder(System.Text.StringBuilder sb)383 protected internal override void AppendToBuilder(System.Text.StringBuilder sb) { } Contains(int key)384 public override bool Contains(int key) { throw null; } Dump(System.IO.TextWriter tw, string prefix)385 protected internal override void Dump(System.IO.TextWriter tw, string prefix) { } FillKeysTo(System.Collections.Generic.List<int> list)386 protected internal override void FillKeysTo(System.Collections.Generic.List<int> list) { } FillValuesTo(System.Collections.Generic.List<T> list)387 protected internal override void FillValuesTo(System.Collections.Generic.List<T> list) { } Lookup(int key)388 public override T Lookup(int key) { throw null; } Remove(int key)389 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Remove(int key) { throw null; } Visit(System.Action<int, T> action)390 public override void Visit(System.Action<int, T> action) { } Visit(System.Action<T> action)391 public override void Visit(System.Action<T> action) { } 392 } 393 public partial class EmptyNode<T> : Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> 394 { 395 public static readonly Mono.CodeContracts.Static.DataStructures.Patricia.EmptyNode<T> Instance; EmptyNode()396 public EmptyNode() { } 397 public override int Count { get { throw null; } } 398 public override int Key { get { throw null; } } Add(int key, T value)399 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Add(int key, T value) { throw null; } AppendToBuilder(System.Text.StringBuilder sb)400 protected internal override void AppendToBuilder(System.Text.StringBuilder sb) { } Contains(int key)401 public override bool Contains(int key) { throw null; } Dump(System.IO.TextWriter tw, string prefix)402 protected internal override void Dump(System.IO.TextWriter tw, string prefix) { } FillKeysTo(System.Collections.Generic.List<int> list)403 protected internal override void FillKeysTo(System.Collections.Generic.List<int> list) { } FillValuesTo(System.Collections.Generic.List<T> list)404 protected internal override void FillValuesTo(System.Collections.Generic.List<T> list) { } Lookup(int key)405 public override T Lookup(int key) { throw null; } Remove(int key)406 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Remove(int key) { throw null; } Visit(System.Action<int, T> action)407 public override void Visit(System.Action<int, T> action) { } Visit(System.Action<T> action)408 public override void Visit(System.Action<T> action) { } 409 } 410 public partial class LeafNode<T> : Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> 411 { LeafNode(int key, T value)412 public LeafNode(int key, T value) { } 413 public override int Count { get { throw null; } } 414 public override int Key { get { throw null; } } 415 public T Value { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } Add(int key, T value)416 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Add(int key, T value) { throw null; } AppendToBuilder(System.Text.StringBuilder sb)417 protected internal override void AppendToBuilder(System.Text.StringBuilder sb) { } Contains(int key)418 public override bool Contains(int key) { throw null; } Dump(System.IO.TextWriter tw, string prefix)419 protected internal override void Dump(System.IO.TextWriter tw, string prefix) { } FillKeysTo(System.Collections.Generic.List<int> list)420 protected internal override void FillKeysTo(System.Collections.Generic.List<int> list) { } FillValuesTo(System.Collections.Generic.List<T> list)421 protected internal override void FillValuesTo(System.Collections.Generic.List<T> list) { } Lookup(int key)422 public override T Lookup(int key) { throw null; } Remove(int key)423 public override Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Remove(int key) { throw null; } Visit(System.Action<int, T> action)424 public override void Visit(System.Action<int, T> action) { } Visit(System.Action<T> action)425 public override void Visit(System.Action<T> action) { } 426 } 427 public abstract partial class PatriciaTrieNode<T> : Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> 428 { PatriciaTrieNode()429 protected PatriciaTrieNode() { } 430 public T Any { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { throw null; } } 431 public abstract int Count { get; } 432 public T this[int key] { get { throw null; } } 433 public abstract int Key { get; } 434 public System.Collections.Generic.IEnumerable<int> Keys { get { throw null; } } 435 public System.Collections.Generic.IEnumerable<T> Values { get { throw null; } } Add(int key, T value)436 public abstract Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Add(int key, T value); AppendToBuilder(System.Text.StringBuilder sb)437 protected internal abstract void AppendToBuilder(System.Text.StringBuilder sb); Contains(int key)438 public abstract bool Contains(int key); Dump(System.IO.TextWriter tw)439 public void Dump(System.IO.TextWriter tw) { } Dump(System.IO.TextWriter tw, string prefix)440 protected internal abstract void Dump(System.IO.TextWriter tw, string prefix); FillKeysTo(System.Collections.Generic.List<int> list)441 protected internal abstract void FillKeysTo(System.Collections.Generic.List<int> list); FillValuesTo(System.Collections.Generic.List<T> list)442 protected internal abstract void FillValuesTo(System.Collections.Generic.List<T> list); IsZeroBitAt(int key, int branchingBit)443 protected static bool IsZeroBitAt(int key, int branchingBit) { throw null; } Join(Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> left, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> right)444 protected static Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Join(Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> left, Mono.CodeContracts.Static.DataStructures.Patricia.PatriciaTrieNode<T> right) { throw null; } Lookup(int key)445 public abstract T Lookup(int key); MatchPrefix(int key, int prefix, int maskBit)446 protected static bool MatchPrefix(int key, int prefix, int maskBit) { throw null; } Remove(int key)447 public abstract Mono.CodeContracts.Static.DataStructures.IImmutableIntMap<T> Remove(int key); ToString()448 public override string ToString() { throw null; } Visit(System.Action<int, T> action)449 public abstract void Visit(System.Action<int, T> action); Visit(System.Action<T> action)450 public abstract void Visit(System.Action<T> action); 451 } 452 } 453 namespace Mono.CodeContracts.Static.Lattices 454 { 455 public static partial class AbstractDomainExtensions 456 { BottomSymbolIfAny(this Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> domain)457 public static string BottomSymbolIfAny<T>(this Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> domain) { throw null; } IsNormal(this Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> domain)458 public static bool IsNormal<T>(this Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> domain) { throw null; } 459 public static bool TryTrivialJoin<T>(this T left, T right, out T result) where T : Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> { result = default(T); throw null; } 460 public static bool TryTrivialLessEqual<T>(this T left, T right, out bool result) where T : Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> { result = default(bool); throw null; } 461 public static bool TryTrivialMeet<T>(this T left, T right, out T result) where T : Mono.CodeContracts.Static.Lattices.IAbstractDomain<T> { result = default(T); throw null; } 462 } 463 [System.Runtime.InteropServices.StructLayoutAttribute(System.Runtime.InteropServices.LayoutKind.Sequential)] 464 public partial struct FlatDomain<T> : Mono.CodeContracts.Static.Lattices.IAbstractDomain<Mono.CodeContracts.Static.Lattices.FlatDomain<T>>, System.IEquatable<Mono.CodeContracts.Static.Lattices.FlatDomain<T>> where T : System.IEquatable<T> 465 { 466 public static readonly Mono.CodeContracts.Static.Lattices.FlatDomain<T> BottomValue; 467 public static readonly Mono.CodeContracts.Static.Lattices.FlatDomain<T> TopValue; 468 public readonly T Value; FlatDomainMono.CodeContracts.Static.Lattices.FlatDomain469 public FlatDomain(T value) { throw null;} 470 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Bottom { get { throw null; } } 471 public bool IsBottom { get { throw null; } } 472 public bool IsTop { get { throw null; } } 473 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Top { get { throw null; } } CloneMono.CodeContracts.Static.Lattices.FlatDomain474 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Clone() { throw null; } DumpMono.CodeContracts.Static.Lattices.FlatDomain475 public void Dump(System.IO.TextWriter tw) { } EqualsMono.CodeContracts.Static.Lattices.FlatDomain476 public bool Equals(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that) { throw null; } ImmutableVersionMono.CodeContracts.Static.Lattices.FlatDomain477 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> ImmutableVersion() { throw null; } JoinMono.CodeContracts.Static.Lattices.FlatDomain478 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Join(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that) { throw null; } JoinMono.CodeContracts.Static.Lattices.FlatDomain479 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Join(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that, bool widening, out bool weaker) { weaker = default(bool); throw null; } LessEqualMono.CodeContracts.Static.Lattices.FlatDomain480 public bool LessEqual(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that) { throw null; } MeetMono.CodeContracts.Static.Lattices.FlatDomain481 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Meet(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that) { throw null; } operator Mono.CodeContracts.Static.Lattices.FlatDomain<T>Mono.CodeContracts.Static.Lattices.FlatDomain482 public static implicit operator Mono.CodeContracts.Static.Lattices.FlatDomain<T> (T value) { throw null; } ToStringMono.CodeContracts.Static.Lattices.FlatDomain483 public override string ToString() { throw null; } WidenMono.CodeContracts.Static.Lattices.FlatDomain484 public Mono.CodeContracts.Static.Lattices.FlatDomain<T> Widen(Mono.CodeContracts.Static.Lattices.FlatDomain<T> that) { throw null; } 485 } 486 public partial interface IAbstractDomain<T> 487 { 488 T Bottom { get; } 489 bool IsBottom { get; } 490 bool IsTop { get; } 491 T Top { get; } Clone()492 T Clone(); Dump(System.IO.TextWriter tw)493 void Dump(System.IO.TextWriter tw); ImmutableVersion()494 T ImmutableVersion(); Join(T that)495 T Join(T that); Join(T that, bool widen, out bool weaker)496 T Join(T that, bool widen, out bool weaker); LessEqual(T that)497 bool LessEqual(T that); Meet(T that)498 T Meet(T that); Widen(T that)499 T Widen(T that); 500 } 501 } 502