Commit da5a1d23 authored by anisko_r's avatar anisko_r
Browse files

2002-12-04 Robert Anisko <robert@lrde.epita.fr>

	* src/deterministic/Cpp-det.sdf: Rename the module.  Remove space
	characters from the disambiguation comments, it makes annotated
	programs much more readable.
parent 6e13cf2d
2002-12-04 Robert Anisko <robert@lrde.epita.fr>
* src/deterministic/Cpp-det.sdf: Rename the module. Remove space
characters from the disambiguation comments, it makes annotated
programs much more readable.
2002-12-04 Robert Anisko <robert@lrde.epita.fr>
* src/Makefile.am: Update.
......
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 2)
(Project-Description "Meta/SDF Grammar for C++")
(Project-Version meta-c++-grammar 0 87)
(Parent-Version meta-c++-grammar 0 86)
(Project-Version meta-c++-grammar 0 88)
(Parent-Version meta-c++-grammar 0 87)
(Version-Log "2002-12-04 Robert Anisko <robert@lrde.epita.fr>
* src/Makefile.am: Update.
* configure.ac: Update.
* src/deterministic/Cpp-det.sdf: New. Introduce an annotated
flavor of our C++ grammar, that makes deterministic parsing
possible.
* src/deterministic/Makefile.am: New file.
* src/deterministic: New directory.")
* src/deterministic/Cpp-det.sdf: Rename the module. Remove space
characters from the disambiguation comments, it makes annotated
programs much more readable.")
(New-Version-Log "")
(Checkin-Time "Wed, 04 Dec 2002 17:51:28 +0100")
(Checkin-Time "Wed, 04 Dec 2002 18:53:37 +0100")
(Checkin-Login anisko_r)
(Populate-Ignore
(
......@@ -86,7 +81,7 @@
)
(Project-Keywords)
(Files
(ChangeLog (meta-c++-grammar/0_ChangeLog 1.84 640))
(ChangeLog (meta-c++-grammar/0_ChangeLog 1.85 640))
(Makefile.am (meta-c++-grammar/f/34_Makefile.a 1.2 640))
(TODO (meta-c++-grammar/f/27_TODO 1.2 640))
(README (meta-c++-grammar/g/37_README 1.1 644))
......@@ -193,7 +188,7 @@
(src/grammar/UsingDeclarations.sdf (meta-c++-grammar/b/28_UsingDecla 1.4 640))
(src/grammar/UsingDirectives.sdf (meta-c++-grammar/b/29_UsingDirec 1.5 640))
(src/deterministic/Cpp-det.sdf (meta-c++-grammar/g/38_Cpp-det.sd 1.1 644))
(src/deterministic/Cpp-det.sdf (meta-c++-grammar/g/38_Cpp-det.sd 1.2 644))
(src/deterministic/Makefile.am (meta-c++-grammar/g/39_Makefile.a 1.1 644))
(test/Makefile.am (meta-c++-grammar/f/45_Makefile.a 1.3 640))
......
module Deterministic
module Cpp-det
imports
......@@ -6,37 +6,41 @@ imports
exports
sorts
TranslationUnit
context-free syntax
%% Introduce specific comments that will act as source code
%% annotations. Of course, they should not be parsed as layout.
"/*[ al ]*/" -> LAYOUT { reject } %% NamespaceAlias
"/*[ cl ]*/" -> LAYOUT { reject } %% ClassName
"/*[ ns ]*/" -> LAYOUT { reject } %% OriginalNamespaceName
"/*[ nns ]*/" -> LAYOUT { reject } %% NestedNameSpecifier
"/*[ uid ]*/" -> LAYOUT { reject } %% UnqualifiedId
"/*[ qid ]*/" -> LAYOUT { reject } %% QualifiedId
"/*[ !al ]*/" -> LAYOUT { reject }
"/*[ !cl ]*/" -> LAYOUT { reject }
"/*[ !ns ]*/" -> LAYOUT { reject }
"/*[ !nns ]*/" -> LAYOUT { reject }
"/*[ !uid ]*/" -> LAYOUT { reject }
"/*[ !qui ]*/" -> LAYOUT { reject }
"/*[al]*/" -> LAYOUT { reject } %% NamespaceAlias
"/*[cl]*/" -> LAYOUT { reject } %% ClassName
"/*[ns]*/" -> LAYOUT { reject } %% OriginalNamespaceName
"/*[nns]*/" -> LAYOUT { reject } %% NestedNameSpecifier
"/*[uid]*/" -> LAYOUT { reject } %% UnqualifiedId
"/*[qid]*/" -> LAYOUT { reject } %% QualifiedId
"/*[!al]*/" -> LAYOUT { reject }
"/*[!cl]*/" -> LAYOUT { reject }
"/*[!ns]*/" -> LAYOUT { reject }
"/*[!nns]*/" -> LAYOUT { reject }
"/*[!uid]*/" -> LAYOUT { reject }
"/*[!qui]*/" -> LAYOUT { reject }
%% 5.1 [expr.prim]
%% Ambiguous rules in: grammar/IdExpressions.sdf
"/*[ uid ]*/" Identifier "/*[ !uid ]*/" -> UnqualifiedId
"/*[ uid ]*/" TemplateId "/*[ !uid ]*/" -> UnqualifiedId
"/*[ qid ]*/" "::" Identifier "/*[ !qid ]*/" -> QualifiedId
"/*[ qid ]*/" "::" TemplateId "/*[ !qid ]*/" -> QualifiedId
"/*[ nns ]*/" NestedNameSpecifier "/*[ !nns ]*/" -> NestedNameSpecifier
"/*[uid]*/" Identifier "/*[!uid]*/" -> UnqualifiedId
"/*[uid]*/" TemplateId "/*[!uid]*/" -> UnqualifiedId
"/*[qid]*/" "::" Identifier "/*[!qid]*/" -> QualifiedId
"/*[qid]*/" "::" TemplateId "/*[!qid]*/" -> QualifiedId
"/*[nns]*/" NestedNameSpecifier "/*[!nns]*/" -> NestedNameSpecifier
%% 7.3.1 [namespace.def]
%% Ambiguous rules in: grammar/Namespaces.sdf
"/*[ ns ]*/" Identifier "/*[ !ns ]*/" -> OriginalNamespaceName
"/*[ al ]*/" Identifier "/*[ !al ]*/" -> NamespaceAlias
"/*[ns]*/" Identifier "/*[!ns]*/" -> OriginalNamespaceName
"/*[al]*/" Identifier "/*[!al]*/" -> NamespaceAlias
%% 9 [class]
%% Ambiguous rules in: grammar/ClassSpecifiers.sdf
"/*[ cl ]*/" Identifier "/*[ !cl ]*/" -> ClassName
"/*[ cl ]*/" TemplateId "/*[ !cl ]*/" -> ClassName
"/*[cl]*/" Identifier "/*[!cl]*/" -> ClassName
"/*[cl]*/" TemplateId "/*[!cl]*/" -> ClassName
Supports Markdown
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