remove parse_to
This commit is contained in:
schaeff
parent
4c5aa898e0
commit
f435a2958d
1 changed files with 212 additions and 212 deletions
|
|
@ -53,224 +53,224 @@ mod tests {
|
|||
|
||||
mod rules {
|
||||
use super::*;
|
||||
#[test]
|
||||
fn parse_valid_identifier() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: "valididentifier_01",
|
||||
rule: Rule::identifier,
|
||||
tokens: [
|
||||
identifier(0, 18)
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_valid_identifier() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: "valididentifier_01",
|
||||
// rule: Rule::identifier,
|
||||
// tokens: [
|
||||
// identifier(0, 18)
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_parameter_list() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: "def foo(field a) -> (field, field): return 1
|
||||
",
|
||||
rule: Rule::function_definition,
|
||||
tokens: [
|
||||
function_definition(0, 45, [
|
||||
identifier(4, 7),
|
||||
// parameter_list is not created (silent rule)
|
||||
parameter(8, 15, [
|
||||
ty(8, 13, [
|
||||
ty_basic(8, 13, [
|
||||
ty_field(8, 13)
|
||||
])
|
||||
]),
|
||||
identifier(14, 15)
|
||||
]),
|
||||
// type_list is not created (silent rule)
|
||||
ty(21, 26, [
|
||||
ty_basic(21, 26, [
|
||||
ty_field(21, 26)
|
||||
])
|
||||
]),
|
||||
ty(28, 33, [
|
||||
ty_basic(28, 33, [
|
||||
ty_field(28, 33)
|
||||
])
|
||||
]),
|
||||
statement(36, 45, [
|
||||
return_statement(36, 44, [
|
||||
expression(43, 44, [
|
||||
term(43, 44, [
|
||||
primary_expression(43, 44, [
|
||||
constant(43, 44, [
|
||||
decimal_number(43, 44)
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_parameter_list() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: "def foo(field a) -> (field, field): return 1
|
||||
// ",
|
||||
// rule: Rule::function_definition,
|
||||
// tokens: [
|
||||
// function_definition(0, 45, [
|
||||
// identifier(4, 7),
|
||||
// // parameter_list is not created (silent rule)
|
||||
// parameter(8, 15, [
|
||||
// ty(8, 13, [
|
||||
// ty_basic(8, 13, [
|
||||
// ty_field(8, 13)
|
||||
// ])
|
||||
// ]),
|
||||
// identifier(14, 15)
|
||||
// ]),
|
||||
// // type_list is not created (silent rule)
|
||||
// ty(21, 26, [
|
||||
// ty_basic(21, 26, [
|
||||
// ty_field(21, 26)
|
||||
// ])
|
||||
// ]),
|
||||
// ty(28, 33, [
|
||||
// ty_basic(28, 33, [
|
||||
// ty_field(28, 33)
|
||||
// ])
|
||||
// ]),
|
||||
// statement(36, 45, [
|
||||
// return_statement(36, 44, [
|
||||
// expression(43, 44, [
|
||||
// term(43, 44, [
|
||||
// primary_expression(43, 44, [
|
||||
// constant(43, 44, [
|
||||
// decimal_number(43, 44)
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_single_def_to_multi() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: r#"a = foo()
|
||||
"#,
|
||||
rule: Rule::statement,
|
||||
tokens: [
|
||||
statement(0, 22, [
|
||||
definition_statement(0, 9, [
|
||||
optionally_typed_assignee(0, 2, [
|
||||
assignee(0, 2, [
|
||||
identifier(0, 1)
|
||||
])
|
||||
]),
|
||||
expression(4, 9, [
|
||||
term(4, 9, [
|
||||
postfix_expression(4, 9, [
|
||||
identifier(4, 7),
|
||||
access(7, 9, [
|
||||
call_access(7, 9)
|
||||
])
|
||||
])
|
||||
])
|
||||
]),
|
||||
])
|
||||
])
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_single_def_to_multi() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: r#"a = foo()
|
||||
// "#,
|
||||
// rule: Rule::statement,
|
||||
// tokens: [
|
||||
// statement(0, 22, [
|
||||
// definition_statement(0, 9, [
|
||||
// optionally_typed_assignee(0, 2, [
|
||||
// assignee(0, 2, [
|
||||
// identifier(0, 1)
|
||||
// ])
|
||||
// ]),
|
||||
// expression(4, 9, [
|
||||
// term(4, 9, [
|
||||
// postfix_expression(4, 9, [
|
||||
// identifier(4, 7),
|
||||
// access(7, 9, [
|
||||
// call_access(7, 9)
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ]),
|
||||
// ])
|
||||
// ])
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_field_def_to_multi() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: r#"field a = foo()
|
||||
"#,
|
||||
rule: Rule::statement,
|
||||
tokens: [
|
||||
statement(0, 28, [
|
||||
definition_statement(0, 15, [
|
||||
optionally_typed_assignee(0, 8, [
|
||||
ty(0, 5, [
|
||||
ty_basic(0, 5, [
|
||||
ty_field(0, 5)
|
||||
])
|
||||
]),
|
||||
assignee(6, 8, [
|
||||
identifier(6, 7)
|
||||
])
|
||||
]),
|
||||
expression(10, 15, [
|
||||
term(10, 15, [
|
||||
postfix_expression(10, 15, [
|
||||
identifier(10, 13),
|
||||
access(13, 15, [
|
||||
call_access(13, 15)
|
||||
])
|
||||
])
|
||||
])
|
||||
]),
|
||||
])
|
||||
])
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_field_def_to_multi() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: r#"field a = foo()
|
||||
// "#,
|
||||
// rule: Rule::statement,
|
||||
// tokens: [
|
||||
// statement(0, 28, [
|
||||
// definition_statement(0, 15, [
|
||||
// optionally_typed_assignee(0, 8, [
|
||||
// ty(0, 5, [
|
||||
// ty_basic(0, 5, [
|
||||
// ty_field(0, 5)
|
||||
// ])
|
||||
// ]),
|
||||
// assignee(6, 8, [
|
||||
// identifier(6, 7)
|
||||
// ])
|
||||
// ]),
|
||||
// expression(10, 15, [
|
||||
// term(10, 15, [
|
||||
// postfix_expression(10, 15, [
|
||||
// identifier(10, 13),
|
||||
// access(13, 15, [
|
||||
// call_access(13, 15)
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ]),
|
||||
// ])
|
||||
// ])
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_u8_def_to_multi() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: r#"u32 a = foo()
|
||||
"#,
|
||||
rule: Rule::statement,
|
||||
tokens: [
|
||||
statement(0, 26, [
|
||||
definition_statement(0, 13, [
|
||||
optionally_typed_assignee(0, 6, [
|
||||
ty(0, 3, [
|
||||
ty_basic(0, 3, [
|
||||
ty_u32(0, 3)
|
||||
])
|
||||
]),
|
||||
assignee(4, 6, [
|
||||
identifier(4, 5)
|
||||
])
|
||||
]),
|
||||
expression(8, 13, [
|
||||
term(8, 13, [
|
||||
postfix_expression(8, 13, [
|
||||
identifier(8, 11),
|
||||
access(11, 13, [
|
||||
call_access(11, 13)
|
||||
])
|
||||
])
|
||||
])
|
||||
]),
|
||||
])
|
||||
])
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_u8_def_to_multi() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: r#"u32 a = foo()
|
||||
// "#,
|
||||
// rule: Rule::statement,
|
||||
// tokens: [
|
||||
// statement(0, 26, [
|
||||
// definition_statement(0, 13, [
|
||||
// optionally_typed_assignee(0, 6, [
|
||||
// ty(0, 3, [
|
||||
// ty_basic(0, 3, [
|
||||
// ty_u32(0, 3)
|
||||
// ])
|
||||
// ]),
|
||||
// assignee(4, 6, [
|
||||
// identifier(4, 5)
|
||||
// ])
|
||||
// ]),
|
||||
// expression(8, 13, [
|
||||
// term(8, 13, [
|
||||
// postfix_expression(8, 13, [
|
||||
// identifier(8, 11),
|
||||
// access(11, 13, [
|
||||
// call_access(11, 13)
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ]),
|
||||
// ])
|
||||
// ])
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_invalid_identifier() {
|
||||
fails_with! {
|
||||
parser: ZoKratesParser,
|
||||
input: "0_invalididentifier",
|
||||
rule: Rule::identifier,
|
||||
positives: vec![Rule::identifier],
|
||||
negatives: vec![],
|
||||
pos: 0
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_invalid_identifier() {
|
||||
// fails_with! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: "0_invalididentifier",
|
||||
// rule: Rule::identifier,
|
||||
// positives: vec![Rule::identifier],
|
||||
// negatives: vec![],
|
||||
// pos: 0
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_struct_def() {
|
||||
parses_to! {
|
||||
parser: ZoKratesParser,
|
||||
input: "struct Foo { field foo\n field[2] bar }
|
||||
",
|
||||
rule: Rule::ty_struct_definition,
|
||||
tokens: [
|
||||
ty_struct_definition(0, 39, [
|
||||
identifier(7, 10),
|
||||
struct_field(13, 22, [
|
||||
ty(13, 18, [
|
||||
ty_basic(13, 18, [
|
||||
ty_field(13, 18)
|
||||
])
|
||||
]),
|
||||
identifier(19, 22)
|
||||
]),
|
||||
struct_field(24, 36, [
|
||||
ty(24, 33, [
|
||||
ty_array(24, 33, [
|
||||
ty_basic_or_struct(24, 29, [
|
||||
ty_basic(24, 29, [
|
||||
ty_field(24, 29)
|
||||
])
|
||||
]),
|
||||
expression(30, 31, [
|
||||
term(30, 31, [
|
||||
primary_expression(30, 31, [
|
||||
constant(30, 31, [
|
||||
decimal_number(30, 31)
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
])
|
||||
]),
|
||||
identifier(33, 36)
|
||||
])
|
||||
])
|
||||
]
|
||||
};
|
||||
}
|
||||
// #[test]
|
||||
// fn parse_struct_def() {
|
||||
// parses_to! {
|
||||
// parser: ZoKratesParser,
|
||||
// input: "struct Foo { field foo\n field[2] bar }
|
||||
// ",
|
||||
// rule: Rule::ty_struct_definition,
|
||||
// tokens: [
|
||||
// ty_struct_definition(0, 39, [
|
||||
// identifier(7, 10),
|
||||
// struct_field(13, 22, [
|
||||
// ty(13, 18, [
|
||||
// ty_basic(13, 18, [
|
||||
// ty_field(13, 18)
|
||||
// ])
|
||||
// ]),
|
||||
// identifier(19, 22)
|
||||
// ]),
|
||||
// struct_field(24, 36, [
|
||||
// ty(24, 33, [
|
||||
// ty_array(24, 33, [
|
||||
// ty_basic_or_struct(24, 29, [
|
||||
// ty_basic(24, 29, [
|
||||
// ty_field(24, 29)
|
||||
// ])
|
||||
// ]),
|
||||
// expression(30, 31, [
|
||||
// term(30, 31, [
|
||||
// primary_expression(30, 31, [
|
||||
// constant(30, 31, [
|
||||
// decimal_number(30, 31)
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ])
|
||||
// ]),
|
||||
// identifier(33, 36)
|
||||
// ])
|
||||
// ])
|
||||
// ]
|
||||
// };
|
||||
// }
|
||||
|
||||
#[test]
|
||||
fn parse_invalid_identifier_because_keyword() {
|
||||
|
|
|
|||
Loading…
Reference in a new issue