bc168c0cba
Support KClass.jvmName = java.lang.Class.getName()
2015-07-10 20:10:07 +03:00
236214305f
Support KClass.qualifiedName for non-local classes
2015-07-10 20:10:06 +03:00
df07a61a08
Control-Flow: Generate instruction for left-hand side of invalid assignments
...
#KT-8390 Fixed
2015-07-10 19:27:53 +03:00
d2dc44379e
Changed default value for 'getNestedTypeVariables()'
2015-07-10 15:05:12 +03:00
722a49767a
Rename: TypeConstructorMismatch -> ParameterConstraintError
2015-07-10 15:05:12 +03:00
016a8f69da
Removed check for position when storing initial top-level constraints
2015-07-10 15:05:11 +03:00
425a9516db
Minor. Rename: typeParameterBounds -> localTypeParameterBounds
2015-07-10 15:05:11 +03:00
4701310852
Removed unnecessary check to prevent infinite recursion in incorporation
2015-07-10 15:05:11 +03:00
92e7ed0425
Rename: getNestedTypeArguments -> getNestedArguments
2015-07-10 15:05:10 +03:00
3c698992e0
Generate specific type inference error
...
only for bounds from 'parameter' positions (receiver & value arguments).
They can be marked as error (with red color) explicitly later.
Replaced getSystemWithoutWeakConstraints() with filterConstraintsOut(TYPE_BOUND_POSITION)
2015-07-10 15:05:10 +03:00
4c8b75928e
Added tests
...
#KT-6179 Fixed
#KT-8132 Fixed
2015-07-10 15:05:10 +03:00
fc69cf1b5e
Added more tests on incorporation
2015-07-10 15:05:09 +03:00
4c1eedce3b
Added tests for incorporation with nullable type parameter
2015-07-10 15:05:09 +03:00
d1e9f00e5f
Removed obsolete type parameter substitution logic
...
when copy constraint system
2015-07-10 15:05:09 +03:00
f25f59bb6e
Solve the constraint system for alpha-converted variables,
...
store initial and backward conversions for
substituting new constraints and the result
2015-07-10 15:05:08 +03:00
a714de783f
Converted CallResolverUtil to kotlin
2015-07-10 15:05:08 +03:00
517c2b3520
Rename to kt: CallResolverUtil
2015-07-10 15:05:08 +03:00
b8526e7048
Added diagnostic tests for inference and incorporation
2015-07-10 15:05:07 +03:00
086e69e132
Added tests for obsolete tasks
2015-07-10 15:05:07 +03:00
690a46bbb4
Removed obsolete use of resolution results cache
...
the other usage is still relevant
2015-07-10 15:05:07 +03:00
89e16ecbcc
Don't generate constraint if a type variable was substituted twice
...
to prevent infinite recursion
2015-07-10 15:05:06 +03:00
3b85ac90ba
Check initial constraints in constraint system status
2015-07-10 15:05:06 +03:00
4c4f99c356
Use approximation of captured types in incorporation
...
to generate new constraints
2015-07-10 15:05:06 +03:00
c6e698e18d
Minor: simplified code
...
Used BoundKind.ordinal()
2015-07-10 15:05:05 +03:00
ac578f7e5b
Cache type corresponding to type variable
2015-07-10 15:05:05 +03:00
db8085c399
Incorporation tests
2015-07-10 15:05:05 +03:00
179c5e3c3a
Add a constraint for nested call
...
if there are no bounds on variables in this call return type
2015-07-10 15:05:04 +03:00
1463ff7258
Updated constraint system tests
2015-07-10 15:05:04 +03:00
cf64687b02
More accurate error reporting
...
with type inference error for delegated properties
Add the constraints from completer if they don't lead to errors
except errors from upper bounds to improve diagnostics
2015-07-10 15:05:04 +03:00
9a5abf368f
Constraint incorporation
...
In a constraint system a new bound is incorporated:
all new constrains that can be derived from it
(and from existing ones) are added
2015-07-10 15:05:04 +03:00
82acce4767
Separate input and result data in constraint system test
...
input file: *.constraints
result file: *.bounds
2015-07-10 15:05:03 +03:00
07937a27eb
Added GenericCandidateResolver
2015-07-10 15:05:03 +03:00
0fdfb6b5db
Render short names in constraint system tests
2015-07-10 15:05:02 +03:00
8b9cdd1751
Changes in TypeBounds interface
...
inlined 'isEmpty' (correctly)
replaced functions 'getValue, getValues' with properties
2015-07-10 15:05:02 +03:00
5717148bd4
Changed test data
...
Added an extra blank line to rendered constraint system
2015-07-10 15:05:02 +03:00
918087f475
Don't render constraint positions in tests
...
for constraint system, it's always SPECIAL anyway
2015-07-10 15:05:02 +03:00
f7dc59e2d6
Added 'UNKNOWN' argument mapping
...
for cases with no argument expression
2015-07-10 15:04:38 +03:00
76648878e0
Ignore type parameters in value arguments while comparing SAM adapters
...
#KT-8388 Fixed
2015-07-10 08:46:27 +03:00
aa34fe6352
Minor: Remove useless annotation
2015-07-10 01:28:54 +03:00
f71f7dd4dd
Minor: Drop unused classes
2015-07-09 20:47:57 +03:00
f9b836e144
Change Signature: Error reporting for Java class without an explicit constructor
2015-07-09 20:47:54 +03:00
a96bd546a1
Change Signature: Avoid explicit Unit return type
2015-07-09 20:47:51 +03:00
eb7463ed81
Change Signature: Propagate parameters to chosen callers
...
#KT-7902 Fixed
2015-07-09 20:47:48 +03:00
9853934087
Change Signature: Implement parameter propagation UI
...
#KT-7902 In progress
2015-07-09 20:47:45 +03:00
46dcfb508e
Call Hierarchy: Find implicit constructor calls in Java code
2015-07-09 20:35:06 +03:00
8104b899aa
Find Usages: Unify usage highlighting and full usage search
2015-07-09 20:35:03 +03:00
e8f5a2db7c
Minor: Fix compilation-breaking nullability issues
2015-07-09 20:34:55 +03:00
058829aa55
J2K: JetChangeSignatureDialog
2015-07-09 17:56:54 +03:00
8b2be72434
J2K: JetChangeSignatureDialog (rename to .kt)
2015-07-09 17:56:53 +03:00
0bf7bb3987
J2K: JetChangeSignatureHandler
2015-07-09 17:56:52 +03:00
Alexander Udalov