jwrapper: accept interfaces
[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 = compiled_from? class_declaration;
13
14 compiled_from = 'Compiled from "' identifier+ '.java"';
15
16 class_declaration = modifier* class_or_interface full_class_name
17         extends_declaration? implements_declaration? throws_declaration?
18         '{' property_declaration* '}';
19
20 class_or_interface = 'class'|'interface';
21
22 modifier = 'public'|'private'|'protected'|'static'|'final'|'native'|'synchronized'|'abstract'|'threadsafe'|'transient'|'volatile';
23 type = type_specifier '[]'*;
24 type_specifier = 'boolean'|'byte'|'char'|'short'|'int'|'float'|'long'|'double' | type_ref;
25
26 type_ref = full_class_name | generic_identifier 'extends' full_class_name | '?';
27 type_refs = {tail:} type_refs ',' type_ref | {head:} type_ref;
28
29 generic_param = '<' generic_parameter_list '>';
30 generic_parameter_list = {tail:} generic_parameter_list ',' parameter | {head:} parameter;
31 generic_identifier = full_class_name | '?';
32
33 full_class_name = full_class_name separator class_name | class_name;
34 class_name = identifier generic_param?;
35
36 interface_name = full_class_name;
37 interface_list = {tail:} interface_list ',' interface_name | {head:} interface_name;
38
39 parameter = type '...'?;
40 parameter_list_comp = {tail:} parameter_list_comp ',' parameter | {head:} parameter;
41 parameter_list = parameter_list_comp;
42
43 exception = type;
44 exception_list = exception_list ',' exception | exception;
45
46 statement = variable_declaration | statement_block | ';';
47 statement_block = '{' statement* '}';
48
49 variable_id = identifier '[]'*;
50 method_id = identifier;
51
52 property_declaration = method_declaration | constructor_declaration | variable_declaration | static_declaration | ';';
53 variable_declaration = modifier* type variable_id throws_declaration? ';';
54 method_declaration = modifier* generic_param? type method_id '(' parameter_list? ')' throws_declaration? ';';
55 constructor_declaration = modifier* full_class_name '(' parameter_list? ')' throws_declaration? ';';
56 implements_declaration = 'implements' interface_list*;
57 extends_interface_declaration = 'extends' interface_list*;
58 extends_declaration = 'extends' type;
59 static_declaration = modifier* '{' '}' ';';
60 throws_declaration = 'throws' exception_list?;