Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
硅谷海盗
kotlin
提交
9d123b5c
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,发现更多精彩内容 >>
提交
9d123b5c
编写于
5月 21, 2011
作者:
A
Andrey Breslav
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
JET-39 Process ?. correctly in the receiver types
上级
caad86e8
变更
4
隐藏空白更改
内联
并排
Showing
4 changed file
with
59 addition
and
14 deletion
+59
-14
idea/src/org/jetbrains/jet/lang/parsing/JetParsing.java
idea/src/org/jetbrains/jet/lang/parsing/JetParsing.java
+30
-12
idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
+3
-1
idea/testData/psi/Functions.jet
idea/testData/psi/Functions.jet
+2
-0
idea/testData/psi/Functions.txt
idea/testData/psi/Functions.txt
+24
-1
未找到文件。
idea/src/org/jetbrains/jet/lang/parsing/JetParsing.java
浏览文件 @
9d123b5c
...
...
@@ -862,23 +862,39 @@ public class JetParsing extends AbstractJetParsing {
return
FUN
;
}
boolean
p
arameterListOccured
=
false
;
boolean
typeP
arameterListOccured
=
false
;
if
(
at
(
LT
))
{
parseTypeParameterList
(
TokenSet
.
create
(
LBRACKET
,
LBRACE
,
LPAR
));
p
arameterListOccured
=
true
;
typeP
arameterListOccured
=
true
;
}
int
lastDot
=
findLastBefore
(
TokenSet
.
create
(
DOT
)
,
TokenSet
.
create
(
LPAR
),
true
);
TokenSet
receiverTypeTerminators
=
TokenSet
.
create
(
DOT
,
SAFE_ACCESS
);
int
lastDot
=
findLastBefore
(
receiverTypeTerminators
,
TokenSet
.
create
(
LPAR
),
true
);
if
(
lastDot
==
-
1
)
{
// There's no explicit receiver type specified
parseAttributeList
();
expect
(
IDENTIFIER
,
"Expecting function name or receiver type"
);
}
else
{
createTruncatedBuilder
(
lastDot
).
parseTypeRef
();
PsiBuilder
.
Marker
typeRefMarker
=
mark
();
PsiBuilder
.
Marker
nullableType
=
mark
();
typeRefMarker
=
createTruncatedBuilder
(
lastDot
).
parseTypeRefContents
(
typeRefMarker
);
if
(
at
(
SAFE_ACCESS
))
{
nullableType
.
done
(
NULLABLE_TYPE
);
}
else
{
nullableType
.
drop
();
}
typeRefMarker
.
done
(
TYPE_REFERENCE
);
TokenSet
functionNameFollow
=
TokenSet
.
create
(
LT
,
LPAR
,
COLON
,
EQ
);
expect
(
DOT
,
"Expecting '.' before a function name"
,
functionNameFollow
);
if
(
atSet
(
receiverTypeTerminators
))
{
advance
();
// expectation
}
else
{
errorWithRecovery
(
"Expecting '.' before a function name"
,
functionNameFollow
);
}
// expect(DOT, "Expecting '.' before a function name", functionNameFollow);
expect
(
IDENTIFIER
,
"Expecting function name"
,
functionNameFollow
);
}
...
...
@@ -887,7 +903,7 @@ public class JetParsing extends AbstractJetParsing {
if
(
at
(
LT
))
{
PsiBuilder
.
Marker
error
=
mark
();
parseTypeParameterList
(
TokenSet
.
orSet
(
TokenSet
.
create
(
LPAR
),
valueParametersFollow
));
if
(
p
arameterListOccured
)
{
if
(
typeP
arameterListOccured
)
{
error
.
error
(
"Only one type parameter list is allowed for a function"
);
// TODO : discuss
}
else
{
...
...
@@ -1158,8 +1174,10 @@ public class JetParsing extends AbstractJetParsing {
* : typeDescriptor "?"
*/
public
void
parseTypeRef
()
{
PsiBuilder
.
Marker
type
=
mark
();
parseTypeRefContents
(
mark
()).
done
(
TYPE_REFERENCE
);
}
private
PsiBuilder
.
Marker
parseTypeRefContents
(
PsiBuilder
.
Marker
typeRefMarker
)
{
parseAttributeList
();
if
(
at
(
IDENTIFIER
)
||
at
(
NAMESPACE_KEYWORD
))
{
...
...
@@ -1181,14 +1199,14 @@ public class JetParsing extends AbstractJetParsing {
}
while
(
at
(
QUEST
))
{
PsiBuilder
.
Marker
precede
=
type
.
precede
();
PsiBuilder
.
Marker
precede
=
type
RefMarker
.
precede
();
advance
();
// QUEST
type
.
done
(
NULLABLE_TYPE
);
type
RefMarker
.
done
(
NULLABLE_TYPE
);
type
=
precede
;
type
RefMarker
=
precede
;
}
type
.
done
(
TYPE_REFERENCE
)
;
return
typeRefMarker
;
}
/*
...
...
idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
浏览文件 @
9d123b5c
...
...
@@ -1425,7 +1425,9 @@ public class JetTypeInferrer {
trace
.
getErrorHandler
().
genericWarning
(
expression
.
getNode
(),
"Expression always evaluates to false"
);
// TODO : make an error?
}
}
}
else
{
trace
.
getErrorHandler
().
genericError
(
pattern
.
getNode
(),
"Unsupported [JetTypeInferrer]"
);
}
result
=
semanticServices
.
getStandardLibrary
().
getBooleanType
();
}
...
...
idea/testData/psi/Functions.jet
浏览文件 @
9d123b5c
...
...
@@ -21,3 +21,5 @@ fun [a()] T.foo<T : {(a) : b}>(a : foo) : bar {}
fun [a] {[a] T<T>.(A<B>) : ()}.foo() {}
fun [a()] T.foo<T : [a] {(a) : b}>(a : foo) : bar {}
fun A?.foo() : bar?
\ No newline at end of file
idea/testData/psi/Functions.txt
浏览文件 @
9d123b5c
...
...
@@ -813,4 +813,27 @@ JetFile: Functions.jet
PsiWhiteSpace(' ')
BLOCK
PsiElement(LBRACE)('{')
PsiElement(RBRACE)('}')
\ No newline at end of file
PsiElement(RBRACE)('}')
PsiWhiteSpace('\n\n')
FUN
PsiElement(fun)('fun')
PsiWhiteSpace(' ')
TYPE_REFERENCE
NULLABLE_TYPE
USER_TYPE
REFERENCE_EXPRESSION
PsiElement(IDENTIFIER)('A')
PsiElement(SAFE_ACCESS)('?.')
PsiElement(IDENTIFIER)('foo')
VALUE_PARAMETER_LIST
PsiElement(LPAR)('(')
PsiElement(RPAR)(')')
PsiWhiteSpace(' ')
PsiElement(COLON)(':')
PsiWhiteSpace(' ')
TYPE_REFERENCE
NULLABLE_TYPE
USER_TYPE
REFERENCE_EXPRESSION
PsiElement(IDENTIFIER)('bar')
PsiElement(QUEST)('?')
\ No newline at end of file
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录