Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
09ef31ca
R
Rust
项目概览
int
/
Rust
大约 1 年 前同步成功
通知
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,发现更多精彩内容 >>
提交
09ef31ca
编写于
12月 30, 2010
作者:
R
Rafael Ávila de Espíndola
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Record the ast of uses and imports.
上级
ad19961c
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
59 addition
and
21 deletion
+59
-21
src/comp/front/ast.rs
src/comp/front/ast.rs
+14
-0
src/comp/front/parser.rs
src/comp/front/parser.rs
+45
-21
未找到文件。
src/comp/front/ast.rs
浏览文件 @
09ef31ca
...
...
@@ -39,6 +39,20 @@
type
crate
=
spanned
[
crate_
];
type
crate_
=
rec
(
_
mod
module
);
type
use_node
=
spanned
[
use_node_
];
type
use_node_
=
rec
(
ident
name
,
vec
[
@
meta_item
]
metadata
);
type
import_node
=
spanned
[
import_node_
];
type
import_node_
=
rec
(
vec
[
ident
]
identifiers
);
tag
use_or_import
{
use_or_import_use
(
@
use_node
);
use_or_import_import
(
@
import_node
);
}
type
meta_item
=
spanned
[
meta_item_
];
type
meta_item_
=
rec
(
ident
name
,
str
value
);
type
block
=
spanned
[
block_
];
type
block_
=
rec
(
vec
[
@
stmt
]
stmts
,
option
.t
[
@
expr
]
expr
,
...
...
src/comp/front/parser.rs
浏览文件 @
09ef31ca
...
...
@@ -1533,65 +1533,92 @@ fn stmt_ends_with_semi(@ast.stmt stmt) -> bool {
fail
;
}
impure
fn
parse_meta_item
(
parser
p
)
{
impure
fn
parse_meta_item
(
parser
p
)
->
@
ast
.meta_item
{
auto
lo
=
p
.get_span
();
auto
hi
=
lo
;
auto
ident
=
parse_ident
(
p
);
expect
(
p
,
token
.EQ
);
alt
(
p
.peek
())
{
case
(
token
.LIT_STR
(
?
s
))
{
p
.bump
();
ret
@
spanned
(
lo
,
hi
,
rec
(
name
=
ident
,
value
=
s
));
}
case
(
_
)
{
p
.err
(
"Metadata items must be string literals"
);
}
}
fail
;
}
impure
fn
parse_meta
(
parser
p
)
{
impure
fn
parse_meta
(
parser
p
)
->
vec
[
@
ast
.meta_item
]
{
auto
pf
=
parse_meta_item
;
parse_seq
[()](
token
.LPAREN
,
token
.RPAREN
,
some
(
token
.COMMA
),
pf
,
p
);
ret
parse_seq
[
@
ast
.meta_item
](
token
.LPAREN
,
token
.RPAREN
,
some
(
token
.COMMA
),
pf
,
p
)
.node
;
}
impure
fn
parse_optional_meta
(
parser
p
)
{
impure
fn
parse_optional_meta
(
parser
p
)
->
vec
[
@
ast
.meta_item
]
{
auto
lo
=
p
.get_span
();
auto
hi
=
lo
;
alt
(
p
.peek
())
{
case
(
token
.LPAREN
)
{
ret
parse_meta
(
p
);
}
case
(
_
)
{
ret
;
let
vec
[
@
ast
.meta_item
]
v
=
vec
();
ret
v
;
}
}
}
impure
fn
parse_rest_import_name
(
parser
p
,
ast
.ident
id
)
{
impure
fn
parse_use
(
parser
p
)
->
@
ast
.use_node
{
auto
lo
=
p
.get_span
();
auto
hi
=
lo
;
expect
(
p
,
token
.USE
);
auto
ident
=
parse_ident
(
p
);
auto
metadata
=
parse_optional_meta
(
p
);
expect
(
p
,
token
.SEMI
);
ret
@
spanned
(
lo
,
hi
,
rec
(
name
=
ident
,
metadata
=
metadata
));
}
impure
fn
parse_rest_import_name
(
parser
p
,
ast
.ident
id
)
->
@
ast
.import_node
{
auto
lo
=
p
.get_span
();
auto
hi
=
lo
;
let
vec
[
ast
.ident
]
identifiers
=
vec
();
identifiers
+=
id
;
while
(
p
.peek
()
!=
token
.SEMI
)
{
expect
(
p
,
token
.DOT
);
parse_ident
(
p
);
auto
i
=
parse_ident
(
p
);
identifiers
+=
i
;
}
p
.bump
();
ret
@
spanned
(
lo
,
hi
,
rec
(
identifiers
=
identifiers
));
}
impure
fn
parse_full_import_name
(
parser
p
)
{
impure
fn
parse_full_import_name
(
parser
p
)
->
@
ast
.import_node
{
alt
(
p
.peek
())
{
case
(
token
.IDENT
(
?
ident
))
{
p
.bump
();
parse_rest_import_name
(
p
,
ident
);
ret
parse_rest_import_name
(
p
,
ident
);
}
case
(
_
)
{
p
.err
(
"expecting an identifier"
);
}
}
fail
;
}
impure
fn
parse_import
(
parser
p
)
{
impure
fn
parse_import
(
parser
p
)
->
@
ast
.import_node
{
expect
(
p
,
token
.IMPORT
);
alt
(
p
.peek
())
{
case
(
token
.IDENT
(
?
ident
))
{
p
.bump
();
alt
(
p
.peek
())
{
case
(
token
.EQ
)
{
p
.bump
();
parse_full_import_name
(
p
);
ret
parse_full_import_name
(
p
);
}
case
(
_
)
{
parse_rest_import_name
(
p
,
ident
);
ret
parse_rest_import_name
(
p
,
ident
);
}
}
}
...
...
@@ -1599,24 +1626,21 @@ fn stmt_ends_with_semi(@ast.stmt stmt) -> bool {
p
.err
(
"expecting an identifier"
);
}
}
fail
;
}
impure
fn
parse_use_and_imports
(
parser
p
)
{
impure
fn
parse_use_and_imports
(
parser
p
)
->
vec
[
ast
.use_or_import
]
{
let
vec
[
ast
.use_or_import
]
items
=
vec
();
while
(
true
)
{
alt
(
p
.peek
())
{
case
(
token
.USE
)
{
p
.bump
();
auto
ident
=
parse_ident
(
p
);
parse_optional_meta
(
p
);
expect
(
p
,
token
.SEMI
);
items
+=
vec
(
ast
.use_or_import_use
(
parse_use
(
p
)));
}
case
(
token
.IMPORT
)
{
p
.bump
();
parse_import
(
p
);
expect
(
p
,
token
.SEMI
);
items
+=
vec
(
ast
.use_or_import_import
(
parse_import
(
p
)));
}
case
(
_
)
{
ret
;
ret
items
;
}
}
}
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录