87dfa123ed223eaef55fed21f92d6ee6d743f3de
[nit.git] / contrib / jwrapper / grammar / javap.sablecc
1 Grammar javap;
2
3 Lexer
4
5 identifier = ('a'..'z'|'A'..'Z'|'_'|'$') ('a'..'z'|'A'..'Z'|'_'|'$'|'0'..'9')*;
6 blank = (' '|'\n'|'\t'|'\r')+;
7 separator = ('.'|'/');
8
9 Parser
10 Ignored blank;
11
12 multi_files = class_or_interface*;
13
14 class_or_interface = class_declaration | interface_declaration;
15
16 class_declaration = class_header '{' property_declaration* '}';
17
18 class_header = modifier* 'class' full_class_name extends_declaration?
19                            implements_declaration? throws_declaration?;
20 interface_declaration = modifier* 'interface' full_class_name extends_interface_declaration?
21                                                 '{' property_declaration* '}';
22
23 modifier = 'public'|'private'|'protected'|'static'|'final'|'native'|'synchronized'|'abstract'|'threadsafe'|'transient'|'volatile';
24 type = type_specifier '[]'*;
25 type_specifier = 'boolean'|'byte'|'char'|'short'|'int'|'float'|'long'|'double' | type_ref;
26
27 type_ref = full_class_name | generic_identifier 'extends' full_class_name | '?';
28 type_refs = {tail:} type_refs ',' type_ref | {head:} type_ref;
29
30 generic_param = '<' generic_parameter_list '>';
31 generic_parameter_list = {tail:} generic_parameter_list ',' parameter | {head:} parameter;
32 generic_identifier = full_class_name | '?';
33
34 full_class_name = full_class_name separator class_name | class_name;
35 class_name = identifier generic_param?;
36
37 interface_name = full_class_name;
38 interface_list = {tail:} interface_list ',' interface_name | {head:} interface_name;
39
40 parameter = type '...'?;
41 parameter_list_comp = {tail:} parameter_list_comp ',' parameter | {head:} parameter;
42 parameter_list = parameter_list_comp;
43
44 exception = type;
45 exception_list = exception_list ',' exception | exception;
46
47 statement = variable_declaration | statement_block | ';';
48 statement_block = '{' statement* '}';
49
50 variable_id = identifier '[]'*;
51 method_id = identifier;
52
53 property_declaration = method_declaration | constructor_declaration | variable_declaration | static_declaration | ';';
54 variable_declaration = modifier* type variable_id throws_declaration? ';';
55 method_declaration = modifier* generic_param? type method_id '(' parameter_list? ')' throws_declaration? ';';
56 constructor_declaration = modifier* full_class_name '(' parameter_list? ')' throws_declaration? ';';
57 implements_declaration = 'implements' interface_list*;
58 extends_interface_declaration = 'extends' interface_list*;
59 extends_declaration = 'extends' type;
60 static_declaration = modifier* '{' '}' ';';
61 throws_declaration = 'throws' exception_list?;