Skip to content
Snippets Groups Projects
Commit 2345511f authored by Sven Gestegård Robertz's avatar Sven Gestegård Robertz
Browse files

minor cleanup of AST file

parent e4bd798f
No related branches found
No related tags found
No related merge requests found
Program ::= Decl*; Program ::= Decl*;
//TODO: Add signatures to the abstract grammar, so that abstract Decl ::= Type <Name:String> /Signature/;
//they can be extended and refined by more than one aspect.
//sketch: TypeDecl : Decl;
SampleDecl : Decl;
//Signatures are in the abstract grammar, so that
//they can be extended and refined by aspects.
Signature ::= SignatureList FlatSignatureList:SignatureList; Signature ::= SignatureList FlatSignatureList:SignatureList;
SignatureList ::= SignatureLine*; SignatureList ::= SignatureLine*;
abstract SignatureLine ::= <Indent:int> <Comment:String>; abstract SignatureLine ::= <Indent:int> <Comment:String>;
...@@ -12,13 +17,6 @@ IntSignatureLine : DataSignatureLine ::= <Data:int>; ...@@ -12,13 +17,6 @@ IntSignatureLine : DataSignatureLine ::= <Data:int>;
StringSignatureLine : DataSignatureLine ::= <Data:String>; StringSignatureLine : DataSignatureLine ::= <Data:String>;
TypeRefSignatureLine : SignatureLine ::= Decl; TypeRefSignatureLine : SignatureLine ::= Decl;
//abstract Decl ::= Type <Name:String>;
// the signature list be defined as a non-terminal attribute:
abstract Decl ::= Type <Name:String> /Signature/;
TypeDecl : Decl;
SampleDecl : Decl;
Field ::= Type <Name:String>; Field ::= Type <Name:String>;
abstract Type; abstract Type;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment