Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
硅谷海盗
kotlin
提交
c57ae34c
K
kotlin
项目概览
硅谷海盗
/
kotlin
与 Fork 源项目一致
从无法访问的项目Fork
通知
2
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
K
kotlin
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
c57ae34c
编写于
11月 07, 2011
作者:
A
Andrey Breslav
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Assertion failure fixed on fixpoint generics loaded from Java
上级
3e59df95
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
52 addition
and
16 deletion
+52
-16
compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/JavaDescriptorResolver.java
...tbrains/jet/lang/resolve/java/JavaDescriptorResolver.java
+28
-16
compiler/testData/checkerWithErrorTypes/full/ResolveOfJavaGenerics.jet
...Data/checkerWithErrorTypes/full/ResolveOfJavaGenerics.jet
+24
-0
未找到文件。
compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/JavaDescriptorResolver.java
浏览文件 @
c57ae34c
...
...
@@ -100,7 +100,7 @@ public class JavaDescriptorResolver {
classDescriptor
.
setName
(
name
);
List
<
JetType
>
supertypes
=
new
ArrayList
<
JetType
>();
List
<
TypeParameterDescriptor
>
typeParameters
=
resolve
TypeParameters
(
classDescriptor
,
psiClass
.
getTypeParameters
());
List
<
TypeParameterDescriptor
>
typeParameters
=
makeUninitialized
TypeParameters
(
classDescriptor
,
psiClass
.
getTypeParameters
());
classDescriptor
.
setTypeConstructor
(
new
TypeConstructorImpl
(
classDescriptor
,
Collections
.<
AnnotationDescriptor
>
emptyList
(),
// TODO
...
...
@@ -117,8 +117,10 @@ public class JavaDescriptorResolver {
classDescriptor
.
setVisibility
(
resolveVisibilityFromPsiModifiers
(
semanticServices
.
getTrace
(),
psiClass
));
classDescriptorCache
.
put
(
psiClass
.
getQualifiedName
(),
classDescriptor
);
classDescriptor
.
setUnsubstitutedMemberScope
(
new
JavaClassMembersScope
(
classDescriptor
,
psiClass
,
semanticServices
,
false
));
// classDescriptor.setClassObjectMemberScope(new JavaClassMembersScope(classDescriptor, psiClass, semanticServices, true));
// UGLY HACK
initializeTypeParameters
(
psiClass
);
supertypes
.
addAll
(
getSupertypes
(
psiClass
));
if
(
psiClass
.
isInterface
())
{
classDescriptor
.
setSuperclassType
(
JetStandardClasses
.
getAnyType
());
// TODO : Make it java.lang.Object
...
...
@@ -176,25 +178,31 @@ public class JavaDescriptorResolver {
return
resolveNamespace
(
packageName
);
}
private
List
<
TypeParameterDescriptor
>
resolve
TypeParameters
(
@NotNull
DeclarationDescriptor
containingDeclaration
,
@NotNull
PsiTypeParameter
[]
typeParameters
)
{
private
List
<
TypeParameterDescriptor
>
makeUninitialized
TypeParameters
(
@NotNull
DeclarationDescriptor
containingDeclaration
,
@NotNull
PsiTypeParameter
[]
typeParameters
)
{
List
<
TypeParameterDescriptor
>
result
=
Lists
.
newArrayList
();
for
(
PsiTypeParameter
typeParameter
:
typeParameters
)
{
TypeParameterDescriptor
typeParameterDescriptor
=
resolve
TypeParameter
(
containingDeclaration
,
typeParameter
);
TypeParameterDescriptor
typeParameterDescriptor
=
makeUninitialized
TypeParameter
(
containingDeclaration
,
typeParameter
);
result
.
add
(
typeParameterDescriptor
);
}
return
result
;
}
private
TypeParameterDescriptor
createJavaTypeParameterDescriptor
(
@NotNull
DeclarationDescriptor
owner
,
@NotNull
PsiTypeParameter
typeParameter
)
{
@NotNull
private
TypeParameterDescriptor
makeUninitializedTypeParameter
(
@NotNull
DeclarationDescriptor
containingDeclaration
,
@NotNull
PsiTypeParameter
psiTypeParameter
)
{
assert
typeParameterDescriptorCache
.
get
(
psiTypeParameter
)
==
null
:
psiTypeParameter
.
getText
();
TypeParameterDescriptor
typeParameterDescriptor
=
TypeParameterDescriptor
.
createForFurtherModification
(
owner
,
containingDeclaration
,
Collections
.<
AnnotationDescriptor
>
emptyList
(),
// TODO
false
,
Variance
.
INVARIANT
,
t
ypeParameter
.
getName
(),
t
ypeParameter
.
getIndex
()
psiT
ypeParameter
.
getName
(),
psiT
ypeParameter
.
getIndex
()
);
typeParameterDescriptorCache
.
put
(
typeParameter
,
typeParameterDescriptor
);
typeParameterDescriptorCache
.
put
(
psiTypeParameter
,
typeParameterDescriptor
);
return
typeParameterDescriptor
;
}
private
void
initializeTypeParameter
(
PsiTypeParameter
typeParameter
,
TypeParameterDescriptor
typeParameterDescriptor
)
{
PsiClassType
[]
referencedTypes
=
typeParameter
.
getExtendsList
().
getReferencedTypes
();
if
(
referencedTypes
.
length
==
0
){
typeParameterDescriptor
.
addUpperBound
(
JetStandardClasses
.
getNullableAnyType
());
...
...
@@ -207,16 +215,18 @@ public class JavaDescriptorResolver {
typeParameterDescriptor
.
addUpperBound
(
semanticServices
.
getTypeTransformer
().
transformToType
(
referencedType
));
}
}
return
typeParameterDescriptor
;
}
private
void
initializeTypeParameters
(
PsiTypeParameterListOwner
typeParameterListOwner
)
{
for
(
PsiTypeParameter
psiTypeParameter
:
typeParameterListOwner
.
getTypeParameters
())
{
initializeTypeParameter
(
psiTypeParameter
,
resolveTypeParameter
(
psiTypeParameter
));
}
}
@NotNull
p
ublic
TypeParameterDescriptor
resolveTypeParameter
(
@NotNull
DeclarationDescriptor
containingDeclaration
,
@NotNull
PsiTypeParameter
psiTypeParameter
)
{
p
rivate
TypeParameterDescriptor
resolveTypeParameter
(
@NotNull
DeclarationDescriptor
containingDeclaration
,
@NotNull
PsiTypeParameter
psiTypeParameter
)
{
TypeParameterDescriptor
typeParameterDescriptor
=
typeParameterDescriptorCache
.
get
(
psiTypeParameter
);
if
(
typeParameterDescriptor
==
null
)
{
typeParameterDescriptor
=
createJavaTypeParameterDescriptor
(
containingDeclaration
,
psiTypeParameter
);
// This is done inside the method: typeParameterDescriptorCache.put(psiTypeParameter, typeParameterDescriptor);
}
assert
typeParameterDescriptor
!=
null
:
psiTypeParameter
.
getText
();
return
typeParameterDescriptor
;
}
...
...
@@ -413,10 +423,12 @@ public class JavaDescriptorResolver {
method
.
getName
()
);
methodDescriptorCache
.
put
(
method
,
functionDescriptorImpl
);
List
<
TypeParameterDescriptor
>
typeParameters
=
makeUninitializedTypeParameters
(
functionDescriptorImpl
,
method
.
getTypeParameters
());
initializeTypeParameters
(
method
);
functionDescriptorImpl
.
initialize
(
null
,
DescriptorUtils
.
getExpectedThisObjectIfNeeded
(
owner
),
resolveTypeParameters
(
functionDescriptorImpl
,
method
.
getTypeParameters
())
,
typeParameters
,
semanticServices
.
getDescriptorResolver
().
resolveParameterDescriptors
(
functionDescriptorImpl
,
parameters
),
semanticServices
.
getTypeTransformer
().
transformToType
(
returnType
),
Modality
.
convertFromFlags
(
method
.
hasModifierProperty
(
PsiModifier
.
ABSTRACT
),
!
method
.
hasModifierProperty
(
PsiModifier
.
FINAL
)),
...
...
compiler/testData/checkerWithErrorTypes/full/ResolveOfJavaGenerics.jet
0 → 100644
浏览文件 @
c57ae34c
// Fixpoint generic in Java: Enum<T extends Enum<T>>
fun test(a : annotation.RetentionPolicy) {
}
fun test() {
java.util.Collections.emptyList()
}
fun test(a : java.lang.Comparable<Int>) {
}
fun test(a : java.util.ArrayList<Int>) {
}
fun test(a : java.lang.Class<Int>) {
}
fun test(a : java.lang.Class<Int>) {
}
\ No newline at end of file
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录