Home
last modified time | relevance | path

Searched defs:TopValue (Results 1 – 17 of 17) sorted by relevance

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Lattices/
H A DEnvironmentDomain.cs217 public static EnvironmentDomain<K, V> TopValue (Func<K, int> keyConverter) in TopValue() method in Mono.CodeContracts.Static.Lattices.EnvironmentDomain
225 public static EnvironmentDomain<K, V> TopValue () in TopValue() method in Mono.CodeContracts.Static.Lattices.EnvironmentDomain
H A DSetDomain.cs37 … public static readonly SetDomain<T> TopValue = new SetDomain<T> (ImmutableSet<T>.Empty ()); field
H A DFlatDomain.cs47 public static readonly FlatDomain<T> TopValue = new FlatDomain<T> (DomainKind.Top); field
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/
H A DAnalysis.GenericNumericalAnalysis.cs55 TopValue () in TopValue() method in Mono.CodeContracts.Static.Analysis.Numerical.AnalysisFacade.TExpr.GenericNumericalAnalysis
H A DDisIntervalContext.cs39 public override DisInterval TopValue { get { return DisInterval.TopValue; } } property in Mono.CodeContracts.Static.Analysis.Numerical.DisIntervalContext
H A DIntervalContext.cs39 public override Interval TopValue { get { return Interval.TopValue; } } property in Mono.CodeContracts.Static.Analysis.Numerical.IntervalContext
H A DAnalysis.GenericValueAnalysis.cs143 public abstract TDomain TopValue (); in TopValue() method in Mono.CodeContracts.Static.Analysis.Numerical.AnalysisFacade.TExpr.GenericValueAnalysis
H A DIntervalContextBase.cs39 public abstract TInterval TopValue { get; } property in Mono.CodeContracts.Static.Analysis.Numerical.TInterval
H A DInterval.cs64 public static Interval TopValue property in Mono.CodeContracts.Static.Analysis.Numerical.Interval
H A DDisInterval.cs103 …public static DisInterval TopValue { get { return cached_top ?? (cached_top = new DisInterval (Sta… property in Mono.CodeContracts.Static.Analysis.Numerical.DisInterval
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/
H A DExprDomain.cs81 public static ExprDomain<TSymValue> TopValue(Func<TSymValue, int> keyConverter) in TopValue() method in Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.ExprDomain
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.DataFlowAnalysis/
H A DIAnalysis.cs50 TDomain TopValue (); in TopValue() method
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/
H A DAbstractType.cs36 public static AbstractType TopValue = new AbstractType (FlatDomain<TypeNode>.TopValue, false); field
/dports/lang/mono/mono-5.10.1.57/external/api-snapshot/profiles/net_4_x/
H A DMono.CodeContracts.cs107 …public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval TopValue { get { throw null… property in Mono.CodeContracts.Static.Analysis.Numerical.DisInterval
168 …public static Mono.CodeContracts.Static.Analysis.Numerical.Interval TopValue { get { throw null; }… property in Mono.CodeContracts.Static.Analysis.Numerical.Interval
466 public static readonly Mono.CodeContracts.Static.Lattices.FlatDomain<T> TopValue; field
/dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/mono/
H A DMono.CodeContracts.cs108 …public static Mono.CodeContracts.Static.Analysis.Numerical.DisInterval TopValue { get { throw null… property in Mono.CodeContracts.Static.Analysis.Numerical.DisInterval
169 …public static Mono.CodeContracts.Static.Analysis.Numerical.Interval TopValue { get { throw null; }… property in Mono.CodeContracts.Static.Analysis.Numerical.Interval
467 public static readonly Mono.CodeContracts.Static.Lattices.FlatDomain<T> TopValue; field
/dports/x11-wm/afterstep-stable/afterstep-devel-2.2.12/libAfterStep/
H A Dafterstep.h300 #define TopValue (0x01<<1) macro
/dports/devel/py-pydantic/pydantic-1.8.2/tests/
H A Dtest_settings.py67 class TopValue(BaseModel): class