3040 Commits

Author	SHA1	Message	Date
Ian Lynagh	8440bafc42	Kotlin: Add CFG for KtAnonymousClassDeclarationStmt	2022-05-10 19:51:07 +01:00
Ian Lynagh	5ae74949a0	Kotlin: Add CFG for ClassExpr	2022-05-10 19:51:07 +01:00
Ian Lynagh	2135a870d3	Kotlin: Fix CFG for StmtExpr	2022-05-10 19:51:06 +01:00
Ian Lynagh	2e5cf92f8a	Kotlin: Fix CFG for string templates	2022-05-10 19:51:06 +01:00
Ian Lynagh	7baefbb9e5	Kotlin: Add WhenBranch.getWhenExpr()	2022-05-10 19:51:06 +01:00
Tamas Vajk	716b87d200	Extract not-null expression	2022-05-10 19:51:06 +01:00
Tamas Vajk	afabe652c1	Add anonymous class declaration stmt	2022-05-10 19:51:05 +01:00
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	805b54897e	KotlinType: accept non-class-or-interface Java types	2022-05-10 19:51:02 +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	ba56517900	Kotlin: Add Variable.getKotlinType()	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	d9822266f5	Kotlin: Fix SafeCastConversionContext QLL	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	d247e4fcff	Kotlin: WhenBranch isn't postorder	2022-05-10 19:50:58 +01:00
Ian Lynagh	c4880cc935	Kotlin: Fix handling of non-true conditions	2022-05-10 19:50:58 +01:00
Ian Lynagh	7f3ae94d73	Tweak the WhenExpr CFG and QL class	2022-05-10 19:50:58 +01:00
Ian Lynagh	715a92c602	Kotlin: Add CFG for when expressions	2022-05-10 19:50:58 +01:00
Ian Lynagh	14a10564f3	Kotlin: Fix File locations, and fromSource/hasSourceLocation for Kotlin code	2022-05-10 18:46:01 +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
Tamas Vajk	1a6d693618	Implement review findings + fix ID of nested types	2022-05-10 18:46:00 +01:00
Tamas Vajk	8dff527a0e	WIP: type arg extraction	2022-05-10 18:46:00 +01:00
Tamas Vajk	ab77ed085f	Add QL classes and tests for comments	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	32a61c16cb	Add break/continue QL and tests	2022-05-10 18:45:58 +01:00
Tamas Vajk	9889f49560	Add QL for ::class expression, and add test	2022-05-10 18:45:58 +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	a64fedf764	Kotlin: When expressions	2022-05-10 18:45:54 +01:00
Tom Hvitved	712fe002b9	Data flow: Sync files	2022-05-10 12:41:10 +02:00
Anders Schack-Mulligen	f85e06c2e4	Dataflow: Sync.	2022-05-10 10:12:39 +02:00
Anders Schack-Mulligen	135d7f6e32	Dataflow: Prune more cons-candidates.	2022-05-09 16:21:12 +02:00
Anders Schack-Mulligen	1b0e9d5cd7	Dataflow: Fix join order in nodeMayUseSummary.	2022-05-09 16:21:12 +02:00
Anders Schack-Mulligen	f24364d951	Merge pull request #9045 from hvitved/dataflow/subpaths-perf-take2 ... Data flow: Speedup `subpaths` predicate (take 2)	2022-05-09 15:39:11 +02:00
Michael Nebel	9a45949e8c	Merge pull request #9044 from michaelnebel/csharp/flowsummariestest ... C#: Flow summaries test should print, whether a summary is generated or not.	2022-05-09 10:06:19 +02:00
Michael Nebel	76fd424795	C#: Turn isAutogenerated predicate into a predicate without result.	2022-05-09 07:30:06 +02:00