URL: https://svn.lrde.epita.fr/svn/scool/branches/scool-ng ChangeLog: 2009-02-12 Matthieu Martin <matthieu.mar@gmail.com> Add concept declaration in the grammar. * scl-syn/Concept.sdf: New. * scl-syn/Declaration.sdf: Here. --- Concept.sdf | 10 ++++++++++ Declaration.sdf | 4 +++- 2 files changed, 13 insertions(+), 1 deletion(-) Index: branches/scool-ng/src/scl-syn/Declaration.sdf =================================================================== --- branches/scool-ng/src/scl-syn/Declaration.sdf (revision 144) +++ branches/scool-ng/src/scl-syn/Declaration.sdf (revision 145) @@ -1,7 +1,7 @@ module Declaration imports - Lexical Type Statement Expression Class + Lexical Type Statement Expression Class Concept exports sorts Declaration Block FunctionBlock SimpleDeclaration StaticFunction ExpressionInitialiser StaticExpressionInitialiser @@ -37,3 +37,5 @@ Identifier ":" ClassQualifier? "class" ClassWhereClause? ";" -> Declaration {cons("ClassDeclaration")} Identifier ":" ClassQualifier? "class" ClassWhereClause? "=" ClassBlock -> Declaration {cons("ClassDefinition")} + + Identifier ":" "concept" "=" ConceptBlock -> Declaration {cons("ConceptDeclaration")} Index: branches/scool-ng/src/scl-syn/Concept.sdf =================================================================== --- branches/scool-ng/src/scl-syn/Concept.sdf (revision 0) +++ branches/scool-ng/src/scl-syn/Concept.sdf (revision 145) @@ -0,0 +1,10 @@ +module Concept + +imports + Lexical Type Statement Expression Class + +exports + sorts Concept + context-free syntax + + "{" Declaration* "}" -> ConceptBlock {cons("ConceptBlock")}