This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Extract generics#686

Merged

smowton merged 46 commits intogithub:mainfrom

owen-mc:extract-generics

May 11, 2022

Commits on May 10, 2022

Use Go 1.18

owen-mc
authored and
smowton
committed
Extract uninstantiated generic types only

owen-mc
authored and
smowton
committed
Extract type parameter types (and update dbscheme)

owen-mc
authored and
smowton
committed
Add QL class for type parameter types

owen-mc
authored and
smowton
committed
Extract generic function instantiations to new table

owen-mc
authored and
smowton
committed
Extract generic type instantiations to new table

owen-mc
authored and
smowton
committed
Support non-basic interfaces in extractor

owen-mc
authored and
smowton
committed
Extract type param declarations

owen-mc
authored and
smowton
committed
Rename `parm` to `param` for clarity

owen-mc
authored and
smowton
committed
Make ScopedObjectID take a function

owen-mc
authored and
smowton
committed
Break out of loop when a match has been found

owen-mc
authored and
smowton
committed
Extract type parameters in types, not just decls

owen-mc
authored and
smowton
committed
bug fix: label pointer-typed receivers correctly

owen-mc
authored and
smowton
committed
Add tests

owen-mc
authored and
smowton
committed
Add an upgrade and downgrade script

owen-mc
authored and
smowton
committed
Fix obvious test failures

owen-mc
authored and
smowton
committed
Rename variable for clarity

owen-mc
authored and
smowton
committed
Extract all object types before emitting them

owen-mc
authored and
smowton
committed
Address review comments 1

owen-mc
authored and
smowton
committed
Add comments about entities without a parent scope

owen-mc
authored and
smowton
committed
Address review comments 2

owen-mc
authored and
smowton
committed
Use generic method not instantiated one in Uses

owen-mc
authored and
smowton
committed
Use generic struct field not instantiated one in Uses

owen-mc
authored and
smowton
committed
Update tests

owen-mc
authored and
smowton
committed
Update comment above first extraction of packages

owen-mc
authored and
smowton
committed
Add data flow tests for generic structs, methods and functions

owen-mc
authored and
smowton
committed
`CallExpr.getCalleeExpr` should get uninstantiated function

owen-mc
authored and
smowton
committed
generic function instantions aren't type exprs

owen-mc
authored and
smowton
committed
Add control flow test

owen-mc
authored and
smowton
committed
Add missing `this.` to member predicate calls

owen-mc
authored and
smowton
committed
Improve comment

owen-mc
authored and
smowton
committed
Update CodeQL tests to go 1.18.1

owen-mc
authored and
smowton
committed
Control flow for generic function instantiations

owen-mc
authored and
smowton
committed
Find callee through function instantiation

owen-mc
authored and
smowton
committed
Test calls through variables

owen-mc
authored and
smowton
committed
Fix extractor crash when missing type information

owen-mc
authored and
smowton
committed
Fix panic when type is unknown

owen-mc
authored and
smowton
committed
Fix another place where type could be nil

owen-mc
authored and
smowton
committed
Remove invalid code in test

owen-mc
authored and
smowton
committed
Test calling generic functions from other files

owen-mc
authored and
smowton
committed
Make TypeParamParent map global

owen-mc
authored and
smowton
committed
Reintroduce noinlined predicate to fix performance

owen-mc
authored and
smowton
committed
Fix type aliases for instantiated generic types

owen-mc
authored and
smowton
committed
Make objects-map-changed warning non-fatal
smowton
committed
Remove commented-out debug code
smowton
committed
Add qldoc for `getTermInIntersection`
smowton
committed