Python: Move Boolean into TypeTrackerPrivate

In general, this may be defined already for other languages, so moving
it in here will avoid potential clashes.
This commit is contained in:
Taus Brock-Nannestad
2021-03-22 18:41:22 +01:00
parent f05313435d
commit 0e81fd2624
2 changed files with 7 additions and 5 deletions

View File

@@ -78,11 +78,6 @@ module StepSummary {
}
}
/**
* A utility class that is equivalent to `boolean` but does not require type joining.
*/
private class Boolean extends boolean {
Boolean() { this = true or this = false }
}
private newtype TTypeTracker = MkTypeTracker(Boolean hasCall, OptionalContentName content)

View File

@@ -95,3 +95,10 @@ predicate basicLoadStep(Node nodeFrom, Node nodeTo, string content) {
nodeTo = a
)
}
/**
* A utility class that is equivalent to `boolean` but does not require type joining.
*/
class Boolean extends boolean {
Boolean() { this = true or this = false }
}