Skip to content

Commit 0e81fd2

Browse files
committed
Python: Move Boolean into TypeTrackerPrivate
In general, this may be defined already for other languages, so moving it in here will avoid potential clashes.
1 parent f053134 commit 0e81fd2

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed

python/ql/src/experimental/typetracking/TypeTracker.qll

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -78,11 +78,6 @@ module StepSummary {
7878
}
7979
}
8080

81-
/**
82-
* A utility class that is equivalent to `boolean` but does not require type joining.
83-
*/
84-
private class Boolean extends boolean {
85-
Boolean() { this = true or this = false }
8681
}
8782

8883
private newtype TTypeTracker = MkTypeTracker(Boolean hasCall, OptionalContentName content)

python/ql/src/experimental/typetracking/TypeTrackerPrivate.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,3 +95,10 @@ predicate basicLoadStep(Node nodeFrom, Node nodeTo, string content) {
9595
nodeTo = a
9696
)
9797
}
98+
99+
/**
100+
* A utility class that is equivalent to `boolean` but does not require type joining.
101+
*/
102+
class Boolean extends boolean {
103+
Boolean() { this = true or this = false }
104+
}

0 commit comments

Comments
 (0)