6e86df2f6d
Workaround illegal access to JDK internals in DynamicBundle
...
This is basically a manual cherry-pick of
https://github.com/JetBrains/intellij-community/commit/547caebd980d .
#KT-44624 Fixed
2021-03-30 11:33:07 +02:00
8e1a70cff6
Copy com.intellij.DynamicBundle to compiler/cli
...
This is needed to fix KT-44264 without updating the whole project to
intellij 203, which might take significant time.
In this commit, the file is copied as is from
https://github.com/JetBrains/intellij-community/blob/27837dd8e68a95cc4da0954f93321c98017b3d11/platform/core-api/src/com/intellij/DynamicBundle.java .
2021-03-30 11:33:07 +02:00
d0a148074f
[FIR2IR] Fix generating body for for-loop
2021-03-30 12:28:15 +03:00
5d78b0a962
Report resolution ambiguity on '+=' by taking into account full resolution result including post type checking for '+'
...
^KT-45503 Fixed
2021-03-30 12:12:56 +03:00
1da35029a6
Restore UNUSED_* diagnostics to relevant tests.
2021-03-30 09:57:56 +03:00
17ba350868
AnalysisHandlerExtensionTest: set output dir for JVM
2021-03-29 20:41:09 +03:00
0dee48781c
Tests for AnalysisHandlerExtension
...
Add two common use cases of AnalysisHandlerExtension:
1. repeated analysis with new source roots.
2. frontend only mode
2021-03-29 20:41:08 +03:00
8e7b561b10
Add AnalysisHandlerExtension extension point for K2JsCompiler
...
AnalysisHandlerExtension allows compiler plugins to:
1. Intercept and override the default analysis.
2. Utilize the compiler infrastructure to do custom analysis.
A well know plugin on the JVM platform is KAPT.
2021-03-29 20:41:05 +03:00
4db79285c1
Add AnalysisHandlerExtension extension point for K2MetadataCompiler
...
AnalysisHandlerExtension allows compiler plugins to:
1. Intercept and override the default analysis.
2. Utilize the compiler infrastructure to do custom analysis.
A well know plugin on the JVM platform is KAPT.
2021-03-29 20:41:03 +03:00
e0c28e27d2
Move AnalysisHandlerExtension out of frontend.java
...
A dummy AnalysisHandlerExtension that extends the new extension is kept
in frontend.java for backward compatbility.
2021-03-29 20:41:01 +03:00
a7f8f0d903
JVM IR: Avoid IndexOutOfBounds exceptions in TypeOperatorLowering
...
The code didn't account for SYNTHETIC_OFFSETs (KT-45688) and could
throw on IR containing broken line numbers (KT-44910).
2021-03-29 19:44:11 +03:00
466e7b60b0
JVM_IR fix receiver type for fake overrides
2021-03-29 19:04:42 +03:00
736efe0403
[VISUALIZER] Edit black box test to run visualizer on all modules
2021-03-29 18:11:24 +03:00
097b5a74fb
[VISUALIZER] Rewrite black box runner using callback to TestRunner
2021-03-29 18:11:23 +03:00
dbf1f54c3f
Add possibility to run callback lambda before dispose test project
2021-03-29 18:11:22 +03:00
0f70ec032d
[VISUALIZER] Add new visualizer tests processing codegen box test data
2021-03-29 18:11:21 +03:00
427a1295c8
Allow to create sub folders for expected data file that did not exist
2021-03-29 18:11:21 +03:00
29920d729f
[VISUALIZER] Remove unnecessary abstract property frontendFacade
...
Right frontend facade will be chosen by frontendKind
2021-03-29 18:11:20 +03:00
e19514f1dc
[VISUALIZER] Render original symbols/descriptors in fir/psi
2021-03-29 18:11:19 +03:00
869585870d
[VISUALIZER] Rewrite getSymbolId method
...
For now it is more clear that id means. It is a combination
of package name and class name with additional local path
2021-03-29 18:11:18 +03:00
6d08ef2f41
[VISUALIZER] Allow to render arrayOf call for fir
2021-03-29 18:11:17 +03:00
74c19807b8
[VISUALIZER] Replace get with getOrNull to avoid NullPointerException
2021-03-29 18:11:16 +03:00
f32f61a950
[VISUALIZER] Remove all usages of fir native renderer
2021-03-29 18:11:15 +03:00
30bd39aabf
[FIR] Allow to render function type with custom cone type renderer
2021-03-29 18:11:14 +03:00
13d8b10be0
Extract some cone type utils properties to reuse them in visualizer
2021-03-29 18:11:13 +03:00
bbf5c4412e
Do subtyping between self types with captured type in special way
2021-03-29 16:30:58 +03:00
7f2c5cde55
Propagate input type position across incorporation properly
...
^KT-45719 Fixed
2021-03-29 16:17:31 +03:00
d06031ece3
Approximate types when only input types check is done. Otherwise given types are inconsistent with types obtained by ResultTypeResolver
...
^KT-45714 Fixed
2021-03-29 16:17:30 +03:00
cc1cb463b2
Remove NonStrictOnlyInputTypesChecks LF and introduce opposite – StrictOnlyInputTypesChecks, set default as strict
2021-03-29 16:17:30 +03:00
b60056f11e
Turn only input type warning to error
...
^KT-45482 Fixed
2021-03-29 16:17:22 +03:00
c73c73e85e
[Test] Simplify DiagnosticsService
2021-03-29 16:12:29 +03:00
cd890d5833
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
85949b387e
[Test] Explicitly enable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:28 +03:00
a9ff030c73
[Test] Add ability to configure tests by negative test location regex
2021-03-29 16:12:27 +03:00
2cb9d1f287
KT-45676: fix backing field annotation resolve
2021-03-29 15:36:05 +03:00
253c389f4a
FIR checker: fix failed test files after sync
2021-03-29 12:45:27 +03:00
ae902e6fe5
FIR: fix source of callee reference in delegated constructor call
...
Previously the callee reference of a delegated constructor call is
always the same as the call itself. This violates the contract that no
two FIR elements can have identical sources. In addition, this sets the
entire call expression as the source of the callee expression.
This change instead sets the proper constructor ref as the callee.
Also fixed EXPLICIT_DELEGATION_CALL_REQUIRED type. It should be an error
instead of a warning.
2021-03-29 12:45:27 +03:00
fb14b03824
FIR checker: skip error named reference if receiver is unresolved
...
Currently, FIR reports errors caused by previous resolution failure. For
example with unresolved `a` and `b` in code `a.b`, both `a` and `b` are
highlighted. FE1.0 only highlights `a` since it's the root cause. This
change applies this heuristics when reporting FirDiagnostics.
2021-03-29 12:45:27 +03:00
d6907222cd
FIR: pass the qualified access source when reporting ErrorNamedReference
...
Currently if there is an error in a function call, FIR would report the
entire expression if this call is qualified, but *only* the name if it's
not qualified. For example, assume the following two calls are all
contains some errors.
```
a.foo(1,2,3)
^^^^^^^^^^^^
bar(1,2,3)
^^^
```
The entire call of `foo` is reported since it's qualified. But only the
reference `bar` is reported since it's not qualified. This limits the
usage of position strategies because the IDE does not allow position
strategies to go outside of the initially reported PSI element
(org.jetbrains.kotlin.idea.fir.highlighter.KotlinHighLevelDiagnosticHighlightingPass#addDiagnostic).
This change passes both the original error named reference and the
surrounding qualified access expression and defer the decision of which
to use to the reporting logic.
For unresolved reference and checks on `super` keyword, the position
strategy should not highlight the surrounding parentheses. Hence a new
position strategy `REFERENCED_NAME_BY_QUALIFIED` is added.
In addition, this change also has the following side effect
* some diagnostics are no longer reported when there is a syntax error
since the higher level structure does not exist when there is a syntax
error
2021-03-29 12:45:27 +03:00
c198c57e62
FIR checker: fix diagnostic parameter renderer
...
Some of the current renderer is fallbacking to `toString` and output the
fully qualified class name with hash code.
2021-03-29 12:45:27 +03:00
6592407492
[Test] Fix jdk target for BB test
2021-03-29 12:42:54 +03:00
051e2b0869
[FIR] Update diagnostic test forgotten in dd20dd98
2021-03-29 11:14:53 +03:00
a9399535fb
[FIR2IR] Change receiver of field of base class in derived class in property reference
2021-03-29 11:14:52 +03:00
38ab37d7eb
[FIR2IR] Properly handle callable references to static functions
2021-03-29 11:14:52 +03:00
dd20dd9806
Report WRONG_MODIFIER_TARGET on the modifier instead of the declaration
...
in ExternalFunChecker.
This allows RemoveModifierFix to provide a quickfix to remove it.
2021-03-27 22:27:36 +01:00
b903f87704
Drop kotin/kotlinx and kotlin/kotlinx.html bintray usages (KTI-528)
2021-03-26 21:08:45 +03:00
c17b6c59f8
JVM IR: add isInlineClassType, use it instead of isInlined
2021-03-26 18:57:01 +01:00
295858cf5c
Rename FIR diagnostic to METHOD_OF_ANY_IMPLEMENTED_IN_INTERFACE
2021-03-26 17:06:00 +03:00
7d4b8587a3
Unite checks around supertypes in FirPrimaryConstructorSuperTypeChecker
2021-03-26 17:05:58 +03:00
221b6bd184
Drop usages of FirErrors.TYPE_PARAMETER_AS_SUPERTYPE
2021-03-26 17:05:57 +03:00
Alexander Udalov