| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Lattices/ |
| H A D | AbstractDomainExtensions.cs | 35 return !domain.IsTop && !domain.IsBottom; in IsNormal()
52 if (left.IsTop)
53 return true.With (right.IsTop, out result);
58 if (right.IsTop)
73 if (left.IsTop)
79 if (right.IsTop)
94 if (left.IsTop)
100 if (right.IsTop)
|
| H A D | FlatDomain.cs | 75 public bool IsTop { get { return state == DomainKind.Top; } } property
81 if (IsTop || that.IsBottom) { in Join()
85 if (that.IsTop) { in Join()
86 weaker = !IsTop; in Join()
149 if (IsTop) in Dump()
159 if (IsTop) in ToString()
|
| H A D | EnvironmentDomain.cs | 69 public bool IsTop { get { return map != null && map.Count == 0; } } property in Mono.CodeContracts.Static.Lattices.EnvironmentDomain
102 … result = join.IsTop ? result.Remove (key) : result.Add (key, join); in JoinOrWiden()
116 if (map == that.map || IsTop) in Join()
118 if (that.IsTop) { in Join()
119 weaker = !IsTop; in Join()
142 … intersect = join.IsTop ? intersect.Remove (key) : intersect.Add (key, join); in Join()
155 if (IsTop) in Meet()
157 if (that.IsTop || IsBottom) in Meet()
203 if (IsTop) in Dump()
245 if (value.IsTop) in With()
|
| H A D | SetDomain.cs | 56 public bool IsTop { get { return set != null && set.Count == 0; } } property
79 if (that.IsBottom || IsTop) { in Join()
83 if (that.IsTop) { in Join()
84 weaker = !IsTop; in Join()
149 else if (IsTop) in Dump()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/ |
| H A D | DisInterval.cs | 55 if (interval.IsTop) in DisInterval()
84 else if (join_interval.IsTop) in DisInterval()
197 else if (cur.IsTop) { in Normalize()
272 if (left.IsBottom || left.IsTop) in operator -()
284 … if ((propagateTop && (left.IsTop || right.IsTop)) || (left.IsTop && right.IsTop)) in OperatorLifting()
312 if (res.IsTop) in OperatorLifting()
327 if (IsTop || that.IsTop) in Widen()
458 if (l.IsTop || r.IsTop) in Join()
515 if (IsTop) in ToString()
549 if (IsTop) in Select()
[all …]
|
| H A D | Interval.cs | 88 public override bool IsTop { get { return is_top; } } property in Mono.CodeContracts.Static.Analysis.Numerical.Interval
184 if (l.IsTop || r.IsTop in operator +()
198 if (l.IsTop || r.IsTop in operator -()
212 if (l.IsTop || r.IsTop || r.Includes (0) in operator /()
232 if (l.IsTop || r.IsTop in operator *()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Proving/ |
| H A D | ComposedFactQuery.cs | 59 …elements.Select(fact => fact.IsNull(pc, variable)).FirstOrDefault(factResult => !factResult.IsTop); in IsNull()
64 …ments.Select(fact => fact.IsNonNull(pc, variable)).FirstOrDefault(factResult => !factResult.IsTop); in IsNonNull()
78 …urn elements.Select(fact => fact.IsNull(pc, expr)).FirstOrDefault(factResult => !factResult.IsTop); in IsNull()
83 … elements.Select(fact => fact.IsNonNull(pc, expr)).FirstOrDefault(factResult => !factResult.IsTop); in IsNonNull()
97 if (!res.IsTop) in IsTrue()
147 …, positiveAssumptions, negativeAssumptions, goal)).FirstOrDefault(factResult => !factResult.IsTop); in IsTrueImply()
152 …elect(fact => fact.IsGreaterEqualToZero(pc, expr)).FirstOrDefault(factResult => !factResult.IsTop); in IsGreaterEqualToZero()
157 …s.Select(fact => fact.IsLessThan(pc, expr, right)).FirstOrDefault(factResult => !factResult.IsTop); in IsLessThan()
162 … elements.Select(fact => fact.IsNonZero(pc, expr)).FirstOrDefault(factResult => !factResult.IsTop); in IsNonZero()
|
| H A D | BasicFacts.cs | 86 if (!outcome.IsTop) in IsNull()
97 if (!outcome.IsTop) in IsNonNull()
|
| H A D | SimpleLogicInference.cs | 48 if (!proofOutcome.IsTop) in IsNull()
83 if (!proofOutcome.IsTop) in IsNonNull()
|
| /dports/games/endless-sky/endless-sky-0.9.14/source/ |
| H A D | PlanetPanel.cpp | 81 if(GetUI()->IsTop(this) || GetUI()->IsTop(bank.get())) in Step()
222 if(!GetUI()->IsTop(this) && !GetUI()->IsTop(trading.get()) && !GetUI()->IsTop(bank.get()) in TakeOffIfReady()
223 && !GetUI()->IsTop(spaceport.get()) && !GetUI()->IsTop(hiring.get())) in TakeOffIfReady()
|
| /dports/multimedia/musikcube/musikcube-0.96.7/src/musikcube/cursespp/cursespp/ |
| H A D | OverlayBase.h | 63 bool IsTop() override { in IsTop() function
64 if (LayoutBase::IsTop()) { in IsTop()
69 if (this->GetWindowAt(i)->IsTop()) { in IsTop()
|
| /dports/www/firefox/firefox-99.0/docshell/base/ |
| H A D | WindowContext.cpp | 108 bool WindowContext::IsTop() const { return mBrowsingContext->IsTop(); } in IsTop() function in mozilla::dom::WindowContext
225 return IsTop(); in CanSet()
235 return IsTop() && CheckOnlyOwningProcessCanSet(aSource); in CanSet()
241 return IsTop(); in CanSet()
270 return IsTop(); in CanSet()
285 return XRE_IsParentProcess() && IsTop(); in CanSet()
372 return !mozilla::SessionHistoryInParent() && IsTop() && in CanSet()
|
| H A D | BrowsingContext.cpp | 2628 MOZ_ASSERT(IsTop(), in ResetGVAutoplayRequestStatus()
2639 MOZ_ASSERT(IsTop(), in DidSet()
2645 MOZ_ASSERT(IsTop(), in DidSet()
2664 if (IsTop()) { in DidSet()
2853 return IsTop(); in CanSet()
3091 return IsTop(); in CanSet()
3095 if (!IsTop()) { in SetWatchedByDevTools()
3138 if (!IsTop()) { in CanSet()
3148 if (!IsTop()) { in CanSet()
3269 return IsTop(); in CanSet()
[all …]
|
| H A D | CanonicalBrowsingContext.cpp | 217 if (!IsTop()) { in GetSecureBrowserUI()
289 MOZ_ASSERT(IsTop() && aNewContext->IsTop()); in ReplacedBy()
456 if (!IsTop()) { in GetSessionHistory()
550 if (IsTop()) { in CreateLoadingSessionHistoryEntryForLoad()
593 if (IsTop()) { in ReplaceLoadingSessionHistoryEntryForLoad()
807 if (IsTop()) { in SessionHistoryCommit()
995 if (IsTop()) { in SetActiveSessionHistoryEntry()
1038 if (IsTop()) { in ReplaceActiveSessionHistoryEntry()
1183 if (IsTop()) { in CanonicalDiscard()
2181 if (!IsTop()) { in HistoryCommitIndexAndLength()
[all …]
|
| H A D | BrowsingContext.h | 416 bool IsTop() const { return !GetParent(); } in IsTop() function
417 bool IsSubframe() const { return !IsTop(); } in IsSubframe()
419 bool IsTopContent() const { return IsContent() && IsTop(); } in IsTopContent()
996 return IsTop() && !aSource; in CanSet()
1013 return IsTop(); in CanSet()
1017 return IsTop(); in CanSet()
1022 return IsTop(); in CanSet()
1033 return IsTop(); in CanSet()
1042 return IsTop(); in CanSet()
|
| /dports/www/firefox-esr/firefox-91.8.0/docshell/base/ |
| H A D | BrowsingContext.cpp | 2571 MOZ_ASSERT(IsTop(), in ResetGVAutoplayRequestStatus()
2582 MOZ_ASSERT(IsTop(), in DidSet()
2588 MOZ_ASSERT(IsTop(), in DidSet()
2607 if (IsTop()) { in DidSet()
2641 if (!IsTop()) { in CanSet()
2974 return IsTop(); in CanSet()
2978 if (!IsTop()) { in SetWatchedByDevTools()
3021 if (!IsTop()) { in CanSet()
3031 if (!IsTop()) { in CanSet()
3147 return IsTop(); in CanSet()
[all …]
|
| H A D | WindowContext.cpp | 108 bool WindowContext::IsTop() const { return mBrowsingContext->IsTop(); } in IsTop() function in mozilla::dom::WindowContext
225 return IsTop(); in CanSet()
235 return IsTop() && CheckOnlyOwningProcessCanSet(aSource); in CanSet()
241 return IsTop(); in CanSet()
270 return IsTop(); in CanSet()
367 return !mozilla::SessionHistoryInParent() && IsTop() && in CanSet()
|
| H A D | CanonicalBrowsingContext.cpp | 211 if (!IsTop()) { in GetSecureBrowserUI()
283 MOZ_ASSERT(IsTop() && aNewContext->IsTop()); in ReplacedBy()
449 if (!IsTop()) { in GetSessionHistory()
544 if (IsTop()) { in CreateLoadingSessionHistoryEntryForLoad()
586 if (IsTop()) { in ReplaceLoadingSessionHistoryEntryForLoad()
785 if (IsTop()) { in SessionHistoryCommit()
962 if (IsTop()) { in SetActiveSessionHistoryEntry()
1142 if (IsTop()) { in CanonicalDiscard()
2064 if (!IsTop()) { in HistoryCommitIndexAndLength()
2147 if (context->IsTop()) { in RequestRestoreTabContent()
[all …]
|
| H A D | BrowsingContext.h | 393 bool IsTop() const { return !GetParent(); } in IsTop() function
394 bool IsFrame() const { return !IsTop(); } in IsFrame()
396 bool IsTopContent() const { return IsContent() && IsTop(); } in IsTopContent()
953 return IsTop() && !aSource; in CanSet()
970 return IsTop(); in CanSet()
974 return IsTop(); in CanSet()
979 return IsTop(); in CanSet()
988 return IsTop(); in CanSet()
997 return IsTop(); in CanSet()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/docshell/base/ |
| H A D | BrowsingContext.cpp | 2571 MOZ_ASSERT(IsTop(), in ResetGVAutoplayRequestStatus()
2582 MOZ_ASSERT(IsTop(), in DidSet()
2588 MOZ_ASSERT(IsTop(), in DidSet()
2607 if (IsTop()) { in DidSet()
2641 if (!IsTop()) { in CanSet()
2974 return IsTop(); in CanSet()
2978 if (!IsTop()) { in SetWatchedByDevTools()
3021 if (!IsTop()) { in CanSet()
3031 if (!IsTop()) { in CanSet()
3147 return IsTop(); in CanSet()
[all …]
|
| H A D | WindowContext.cpp | 108 bool WindowContext::IsTop() const { return mBrowsingContext->IsTop(); } in IsTop() function in mozilla::dom::WindowContext
225 return IsTop(); in CanSet()
235 return IsTop() && CheckOnlyOwningProcessCanSet(aSource); in CanSet()
241 return IsTop(); in CanSet()
270 return IsTop(); in CanSet()
367 return !mozilla::SessionHistoryInParent() && IsTop() && in CanSet()
|
| H A D | CanonicalBrowsingContext.cpp | 211 if (!IsTop()) { in GetSecureBrowserUI()
283 MOZ_ASSERT(IsTop() && aNewContext->IsTop()); in ReplacedBy()
449 if (!IsTop()) { in GetSessionHistory()
544 if (IsTop()) { in CreateLoadingSessionHistoryEntryForLoad()
586 if (IsTop()) { in ReplaceLoadingSessionHistoryEntryForLoad()
785 if (IsTop()) { in SessionHistoryCommit()
962 if (IsTop()) { in SetActiveSessionHistoryEntry()
1142 if (IsTop()) { in CanonicalDiscard()
2064 if (!IsTop()) { in HistoryCommitIndexAndLength()
2147 if (context->IsTop()) { in RequestRestoreTabContent()
[all …]
|
| H A D | BrowsingContext.h | 393 bool IsTop() const { return !GetParent(); } in IsTop() function
394 bool IsFrame() const { return !IsTop(); } in IsFrame()
396 bool IsTopContent() const { return IsContent() && IsTop(); } in IsTopContent()
953 return IsTop() && !aSource; in CanSet()
970 return IsTop(); in CanSet()
974 return IsTop(); in CanSet()
979 return IsTop(); in CanSet()
988 return IsTop(); in CanSet()
997 return IsTop(); in CanSet()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/ |
| H A D | AbstractDomainUpdate.cs | 77 if (val1.IsTop) in ReplayElimination()
81 if (val2.IsTop) in ReplayElimination()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/ |
| H A D | AbstractType.cs | 84 public bool IsTop property
86 get { return !IsZero && this.value.IsTop; }
|