CodeQL library for Java


                        codeql/java-all


                        0.6.2

( changelog , source )

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

TTypeTracker

Module TypeTracking

Predicates

Classes

TypeBackTracker

Modules

ConsistencyChecks

TypeBackTracker

Predicate signatures

Parameters

I

Datatype TypeTracking :: TTypeTracker

Import path


                                import codeql.typetracking.TypeTracking

Known direct subtypes

TypeTracker