94 Commits

Author	SHA1	Message	Date
Ian Lynagh	e6e56238c5	Kotlin: Handle properties better	2022-05-10 19:51:03 +01:00
Chris Smowton	1b7e33b6e3	Remove Kotlin element and component type from arrays ... Now that these are no longer required, array extraction can extract kt-types consistently with other parameterised classes.	2022-05-10 19:51:03 +01:00
Chris Smowton	2cc5f3e5b7	kt_*_types tables: cite correct Kotlin classid for arrays	2022-05-10 19:51:01 +01:00
Ian Lynagh	5cf14e6f39	Kotlin: Tweak a comment	2022-05-10 19:51:01 +01:00
Ian Lynagh	8853489f04	Kotlin: Add a "generted by" field to the diagnostics table	2022-05-10 19:51:01 +01:00
Ian Lynagh	be75d30ee0	Kotlin: Add support for varargs	2022-05-10 19:51:01 +01:00
Ian Lynagh	bdaa3ce2b3	Kotlin: Add support for companion objects	2022-05-10 19:51:01 +01:00
Ian Lynagh	ceb1e57ddd	Kotlin: Add support for objects	2022-05-10 19:51:01 +01:00
Ian Lynagh	87b433142c	Kotlin: Add support for Kotlin type aliases	2022-05-10 19:51:01 +01:00
Ian Lynagh	e61ff60bf8	Kotlin: Add KotlinType to ExtensionMethod	2022-05-10 19:51:00 +01:00
Ian Lynagh	6cf0b755f0	Kotlin: Add KotlinType to localvars	2022-05-10 19:51:00 +01:00
Ian Lynagh	06a41b3923	Kotlin: Add KotlinTypes to arrays	2022-05-10 19:51:00 +01:00
Ian Lynagh	ef22194eed	Kotlin: Add KotlinType to params	2022-05-10 19:51:00 +01:00
Ian Lynagh	0d5e471b96	Kotlin: Give methods and constructors a KotlinType	2022-05-10 19:51:00 +01:00
Ian Lynagh	c20ee76826	Kotlin: Give fields a Kotlin type ... This meant refactoring the EnumEntry extraction a bit. The IR doesn't give us a type for fields, so we have to make it up based on the parent.	2022-05-10 19:51:00 +01:00
Ian Lynagh	976cc31c7a	Kotlin: Add support for string templates	2022-05-10 19:50:59 +01:00
Ian Lynagh	ba335b0c69	Kotlin: Add StmtExpr ... In some contexts, Kotlin has what we would call a Stmt inside what we would call an Expr. This allows us to handle this case.	2022-05-10 19:50:59 +01:00
Ian Lynagh	ba7a7535e9	Kotlin: Add support for more type operators	2022-05-10 19:50:58 +01:00
Ian Lynagh	286e29cd81	Kotlin: Add exprstmt's where appropriate	2022-05-10 18:46:02 +01:00
Ian Lynagh	cd41d5b9cf	Kotlin: Add KotlinType to exprs	2022-05-10 18:46:01 +01:00
Ian Lynagh	1bce9a131a	Kotlin: Towards KotlinType support	2022-05-10 18:46:01 +01:00
Ian Lynagh	93f6b23a91	Kotlin: Revert some now-unnecessary changes to dbscheme	2022-05-10 18:45:59 +01:00
Tamas Vajk	5aac46f20f	Fix DB relation names to use plurals	2022-05-10 18:45:58 +01:00
Tamas Vajk	bf4fb13326	Revert extracting this and this@TYPE parameters	2022-05-10 18:45:58 +01:00
Tamas Vajk	3bfc93daab	Add ExtensionMethod class	2022-05-10 18:45:58 +01:00
Tamas Vajk	aa190f9d65	Store break/continue targets	2022-05-10 18:45:58 +01:00
Tamas Vajk	3e60841774	Extract ::class expressions	2022-05-10 18:45:57 +01:00
Tamas Vajk	48d019ebbe	Fix review findings, add DB scheme for comments	2022-05-10 18:45:57 +01:00
Ian Lynagh	598a2f8cb0	Kotlin: Record compilation and extraction times	2022-05-10 18:45:56 +01:00
Ian Lynagh	651847d202	Java/Kotlin: Enhance 'compilations' support	2022-05-10 18:45:56 +01:00
Ian Lynagh	3e8f9f52a6	Kotlin: Start using invocation TRAP files	2022-05-10 18:45:55 +01:00
Ian Lynagh	486cff5df1	Kotlin: Add support for interfaces	2022-05-10 18:45:55 +01:00
Ian Lynagh	4837e4e46a	Kotlin: More top-level stuff	2022-05-10 18:45:54 +01:00
Ian Lynagh	f0e2de1fa9	Kotlin: Add file classes ... Kotlin invents a class for each file that has a top-level functionp/property, so that Java can use them.	2022-05-10 18:45:54 +01:00
Ian Lynagh	a64fedf764	Kotlin: When expressions	2022-05-10 18:45:54 +01:00
Ian Lynagh	b91660a0f0	Kotlin: Extract properties	2022-05-10 18:45:53 +01:00
Ian Lynagh	a8a6b4c09f	Kotlin: Move some expressions to the right place	2022-05-10 18:45:52 +01:00
Ian Lynagh	49a4e479da	Kotlin: Extract methods	2022-05-10 18:45:51 +01:00
Ian Lynagh	2116e6d120	Java: Add ErrorExpr, ErrorStmt	2022-03-15 17:30:19 +00:00
Ian Lynagh	90299033d1	Java: Replace @type with more specific types	2021-10-19 20:23:53 +01:00
Tom Hvitved	9fdcacd865	Java: Drop redundant columns from files and folders relations	2021-09-13 16:09:47 +02:00
Chris Smowton	29b9231f49	Rename db types relating to local classes ... These now all refer to types or classes-or-interfaces.	2021-09-02 14:51:51 +01:00
Chris Smowton	9c4a50503c	Allow local interfaces ... Java 16 permits enums and interfaces to be declared method-locally. Enums are already classes, but interfaces are not (in dbscheme terms), so we need to permit isLocalClass to tag them like it already does classes.	2021-09-02 14:51:45 +01:00
Andrew Eisenberg	8e750f18ad	Packaging: Java refactoring ... Split java pack into `codeql/java-all` and `codeql/java-queries`.	2021-08-19 14:09:35 -07:00