Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
4e352892
R
Rust
项目概览
int
/
Rust
11 个月 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
4e352892
编写于
10月 29, 2014
作者:
N
Niko Matsakis
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Restructure parsing of paths, which is quite tortured
上级
e84e7a00
变更
1
隐藏空白更改
内联
并排
Showing
1 changed file
with
108 addition
and
42 deletion
+108
-42
src/libsyntax/parse/parser.rs
src/libsyntax/parse/parser.rs
+108
-42
未找到文件。
src/libsyntax/parse/parser.rs
浏览文件 @
4e352892
...
...
@@ -1706,50 +1706,18 @@ pub fn parse_path(&mut self, mode: PathParsingMode) -> PathAndBounds {
// Parse any number of segments and bound sets. A segment is an
// identifier followed by an optional lifetime and a set of types.
// A bound set is a set of type parameter bounds.
let
mut
segments
=
Vec
::
new
();
loop
{
// First, parse an identifier.
let
identifier
=
self
.parse_ident
();
// Parse the '::' before type parameters if it's required. If
// it is required and wasn't present, then we're done.
if
mode
==
LifetimeAndTypesWithColons
&&
!
self
.eat
(
&
token
::
ModSep
)
{
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
Vec
::
new
(),
types
:
OwnedSlice
::
empty
(),
});
break
let
segments
=
match
mode
{
LifetimeAndTypesWithoutColons
|
LifetimeAndTypesAndBounds
=>
{
self
.parse_path_segments_without_colons
()
}
// Parse the `<` before the lifetime and types, if applicable.
let
(
any_lifetime_or_types
,
lifetimes
,
types
)
=
{
if
mode
!=
NoTypesAllowed
&&
self
.eat_lt
(
false
)
{
let
(
lifetimes
,
types
)
=
self
.parse_generic_values_after_lt
();
(
true
,
lifetimes
,
OwnedSlice
::
from_vec
(
types
))
}
else
{
(
false
,
Vec
::
new
(),
OwnedSlice
::
empty
())
}
};
// Assemble and push the result.
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
lifetimes
,
types
:
types
,
});
// We're done if we don't see a '::', unless the mode required
// a double colon to get here in the first place.
if
!
(
mode
==
LifetimeAndTypesWithColons
&&
!
any_lifetime_or_types
)
{
if
!
self
.eat
(
&
token
::
ModSep
)
{
break
}
LifetimeAndTypesWithColons
=>
{
self
.parse_path_segments_with_colons
()
}
}
NoTypesAllowed
=>
{
self
.parse_path_segments_without_types
()
}
};
// Next, parse a plus and bounded type parameters, if
// applicable. We need to remember whether the separate was
...
...
@@ -1792,6 +1760,104 @@ pub fn parse_path(&mut self, mode: PathParsingMode) -> PathAndBounds {
}
}
/// Examples:
/// - `a::b<T,U>::c<V,W>`
/// - `a::b<T,U>::c(V) -> W`
/// - `a::b<T,U>::c(V)`
pub
fn
parse_path_segments_without_colons
(
&
mut
self
)
->
Vec
<
ast
::
PathSegment
>
{
let
mut
segments
=
Vec
::
new
();
loop
{
// First, parse an identifier.
let
identifier
=
self
.parse_ident
();
// Parse types, optionally.
let
(
lifetimes
,
types
)
=
if
self
.eat_lt
(
false
)
{
self
.parse_generic_values_after_lt
()
}
else
if
false
&&
self
.eat
(
&
token
::
LParen
)
{
let
mut
types
=
self
.parse_seq_to_end
(
&
token
::
RParen
,
seq_sep_trailing_allowed
(
token
::
Comma
),
|
p
|
p
.parse_ty
(
true
));
if
self
.eat
(
&
token
::
RArrow
)
{
types
.push
(
self
.parse_ty
(
true
))
}
(
Vec
::
new
(),
types
)
}
else
{
(
Vec
::
new
(),
Vec
::
new
())
};
// Assemble and push the result.
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
lifetimes
,
types
:
OwnedSlice
::
from_vec
(
types
),
});
// Continue only if we see a `::`
if
!
self
.eat
(
&
token
::
ModSep
)
{
return
segments
;
}
}
}
/// Examples:
/// - `a::b::<T,U>::c`
pub
fn
parse_path_segments_with_colons
(
&
mut
self
)
->
Vec
<
ast
::
PathSegment
>
{
let
mut
segments
=
Vec
::
new
();
loop
{
// First, parse an identifier.
let
identifier
=
self
.parse_ident
();
// If we do not see a `::`, stop.
if
!
self
.eat
(
&
token
::
ModSep
)
{
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
Vec
::
new
(),
types
:
OwnedSlice
::
empty
()
});
return
segments
;
}
// Check for a type segment.
if
self
.eat_lt
(
false
)
{
// Consumed `a::b::<`, go look for types
let
(
lifetimes
,
types
)
=
self
.parse_generic_values_after_lt
();
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
lifetimes
,
types
:
OwnedSlice
::
from_vec
(
types
)
});
// Consumed `a::b::<T,U>`, check for `::` before proceeding
if
!
self
.eat
(
&
token
::
ModSep
)
{
return
segments
;
}
}
else
{
// Consumed `a::`, go look for `b`
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
Vec
::
new
(),
types
:
OwnedSlice
::
empty
()
});
}
}
}
/// Examples:
/// - `a::b::c`
pub
fn
parse_path_segments_without_types
(
&
mut
self
)
->
Vec
<
ast
::
PathSegment
>
{
let
mut
segments
=
Vec
::
new
();
loop
{
// First, parse an identifier.
let
identifier
=
self
.parse_ident
();
// Assemble and push the result.
segments
.push
(
ast
::
PathSegment
{
identifier
:
identifier
,
lifetimes
:
Vec
::
new
(),
types
:
OwnedSlice
::
empty
(),
});
// If we do not see a `::`, stop.
if
!
self
.eat
(
&
token
::
ModSep
)
{
return
segments
;
}
}
}
/// parses 0 or 1 lifetime
pub
fn
parse_opt_lifetime
(
&
mut
self
)
->
Option
<
ast
::
Lifetime
>
{
match
self
.token
{
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录