Commit f0511184 authored by Sarah Spall's avatar Sarah Spall Committed by Vikram Narayanan

fixed issues matching spaces

parent 196c1151
...@@ -69,7 +69,7 @@ File = Spacing v:Verbatim? t:Things* <eof> {{ ...@@ -69,7 +69,7 @@ File = Spacing v:Verbatim? t:Things* <eof> {{
} }
value = new File((char*) v.getValue(), current_file_scope(), rpcs); }} value = new File((char*) v.getValue(), current_file_scope(), rpcs); }}
Typedef = "typedef" Spacing "<" Spacing rt:RealType Spacing "," Spacing mt:Type_form Spacing ">" Spacing id:Identifier Spacing {{ Typedef = "typedef" Spacing "<" Spacing rt:RealType Spacing "," Spacing mt:Type_form ">" Spacing id:Identifier Spacing {{
Typedef * val = new Typedef((char*) rt.getValue(), (Type*) mt.getValue()); Typedef * val = new Typedef((char*) rt.getValue(), (Type*) mt.getValue());
insertType((char*)id.getValue(),val); insertType((char*)id.getValue(),val);
}} }}
...@@ -264,18 +264,18 @@ Line_comment = Line_comm_start Line_comm_rest ...@@ -264,18 +264,18 @@ Line_comment = Line_comm_start Line_comm_rest
Line_comm_end = "\n" Line_comm_end = "\n"
signed_type = "int" {{ value = getType("int");}} signed_type = "int" Space+{{ value = getType("int");}}
| "char" {{ value = getType("char"); }} | "char" Space+ {{ value = getType("char"); }}
| "capability" {{ value = getType("capability"); }} | "capability" Space+ {{ value = getType("capability"); }}
| "short" {{ value = getType("short");}} | "short" Space+ {{ value = getType("short");}}
| "long" Space+ "long" {{ value = getType("long long");}} | "long" Space+ "long" Space+ {{ value = getType("long long");}}
| "long" {{ value = getType("long"); }} | "long" Space+ {{ value = getType("long"); }}
unsigned_type = "unsigned" Space+ "int" {{ value = getType("unsigned int"); }} unsigned_type = "unsigned" Space+ "int" Space+ {{ value = getType("unsigned int"); }}
| "unsigned" Space+ "char" {{ value = getType("unsigned char"); }} | "unsigned" Space+ "char" Space+ {{ value = getType("unsigned char"); }}
| "unsigned" Space+ "short" {{ value = getType("unsigned long"); }} | "unsigned" Space+ "short" Space+ {{ value = getType("unsigned long"); }}
| "unsigned" Space+ "long" Space+ "long" {{ value = getType("unsigned long long"); }} | "unsigned" Space+ "long" Space+ "long" Space+ {{ value = getType("unsigned long long"); }}
| "unsigned" Space+ "long" {{ value = getType("unsigned long"); }} | "unsigned" Space+ "long" Space+ {{ value = getType("unsigned long"); }}
type = unsigned_type type = unsigned_type
| signed_type | signed_type
......
rpc int foo(capability cpa, char v1, int v2); rpc int foo(capability cpa, char v1, int v2);
rpc int bar(projection super_block *rp); rpc int bar(projection super_block * rp);
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment