2004-05-12 Olivier Gournet * src/syn/AndExpressions.sdf: Add restriction for '&'. 2004-05-12 Olivier Gournet * configure.ac, * src/pp/Makefile.am, * src/parser/Makefile.am: Set help2man optional, distribute generated man-pages. 2004-05-11 Olivier Gournet * src/parser/ParsePPDirective.str: Fix bug. 2004-05-11 Olivier Gournet * test/disambiguate/class-10.detcc, * test/disambiguate/template-14.detcc, * test/disambiguate/class-09.cc, * test/disambiguate/array-01.cc, * test/disambiguate/inherit-10.cc, * test/disambiguate/class-10.cc, * test/disambiguate/class-08.detcc, * test/disambiguate/class-07.cc, * test/disambiguate/array-01.detcc, * test/disambiguate/Makefile.am, * test/disambiguate/class-07.detcc, * test/disambiguate/template-14.cc, * test/disambiguate/class-08.cc, * test/disambiguate/simple-decl-03.detcc, * test/disambiguate/simple-decl-03.cc, * test/disambiguate/template-15.detcc, * test/disambiguate/template-15.cc, * test/disambiguate/inherit-10.detcc, * test/disambiguate/class-09.detcc: Add tests. 2004-05-11 Olivier Gournet * src/parser/ParsePPDirective.str: Fix cpp call with standart input (bug #12). 2004-05-07 Nicolas Pouillard * src/sig/Makefile.am: Remove duplicate files in CLEANFILES. 2004-05-05 Nicolas Pouillard * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str: Inline obselete strategy `oncetd-stop'. 2004-05-05 Clement Vasseur * src/sig/Makefile.am (CLEANFILES): Add Dxx.str, Cxx.str and Dxx.def. 2004-05-05 Valentin David * src/syn/notemplate.str: Update to the lastest SDF syntax. 2004-05-05 Valentin David * src/disamb/simpledeclaration/Makefile.am, * src/disamb/validtypes/Makefile.am, * src/disamb/disambiguate/Makefile.am, * src/disamb/declaration/Makefile.am: Delete unused include directories. * src/disamb/simpledeclaration/afcxx-simpledeclaration.str, * src/disamb/validtypes/afcxx-validtypes.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/desugar/afcxx-desugar.str: Delete unused import modules. 2004-05-05 Olivier Gournet * TODO: Update. * lib/prelude/Options.str, * lib/prelude/Identifier.str, * src/disamb/simpledeclaration/Makefile.am, * src/disamb/simpledeclaration/afcxx-simpledeclaration.str, * src/disamb/resolve/afcxx-resolve.str, * src/disamb/validtypes/afcxx-validtypes.str, * src/disamb/validtypes/Makefile.am, * src/disamb/purespecifier/afcxx-purespecifier.str, * src/disamb/declaration/Ambiguity.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/Makefile.am, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/declaration/DeclarationSelect.str, * src/disamb/declaration/Declaration.str, * src/disamb/classparam/afcxx-classparam.str, * src/disamb/ambdown/ambdown.str, * src/disamb/anonymous/AnonymousClass.str, * src/disamb/anonymous/AnonymousNamespace.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/specifier/Stop.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/Makefile.am, * src/disamb/namespace/NamespaceDefinitionSelect.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/ConstructorDefinition.str, * src/disamb/disambiguate/UsingDefinition.str, * src/disamb/disambiguate/TemplateIdAmbiguity.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/NamespaceNameAmbiguity.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/TemplateIdAmbiguityCut.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/TemplateIdAmbiguityCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/FunctionDefinitionAmbiguity.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/EnumDefinition.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/PostfixExpressionAmbiguity.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleDeclarationAmbiguity.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TemplateFunctionDefinitionCandidate.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCut.str, * src/disamb/disambiguate/SizeofAmbiguity.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/InitDeclaratorAmbiguity.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/GetKey.str, * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/DeclaratorIdAmbiguity.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TemplateFunctionTraverse.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/StatementAmbiguity.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/Ambiguity.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/MemInitializerIdAmbiguity.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/PostfixExpressionAmbiguityCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/Definition.str, * src/desugar/afcxx-desugar.str, * src/parser/ParsePPDirective.str: Update SDF imports. 2004-05-04 Valentin David * src/strcxxgen/strcxxgen.str: Update to the last SDF syntax. * src/syn/Makefile.am: Update. "sdf-bracket" is now in the pretty-printer. 2004-05-04 Clement Vasseur * src/sig/Makefile.am: Use Stratego-Regular to generate the signatures. 2004-05-04 Nicolas Pouillard * configure.ac: Bug fix, boxed2sdf no more in boxedsdf. 2004-04-30 Nicolas Pouillard * configure.ac: Add esdf. * src/deterministic/Makefile.am, * src/syn/Makefile.am: Use esdf. 2004-04-22 Olivier Gournet * test/disambiguate/anonym-01.detcc, * test/disambiguate/anonym-02.detcc, * test/disambiguate/Makefile.am: Fix tests. * src/disamb/anonymous/AnonymousClass.str, * src/disamb/anonymous/afcxx-anonymous.str, * src/disamb/anonymous/AnonymousNamespace.str: Update. * src/parser/parse-cxx.str: Change anonymous filter call order. 2004-04-21 Olivier Gournet * test/check-rules.mk: Fix. * test/gcc/Makefile.am: Remove 6 XFAIL. * test/disambiguate/Makefile.am, * test/disambiguate/anonym-01.detcc, * test/disambiguate/anonym-02.cc, * test/disambiguate/anonym-01.cc, * test/disambiguate/anonym-02.detcc: New test. 2004-04-21 Olivier Gournet * src/disamb/Makefile.am, * configure.ac: Add src/disamb/anonymous directory. * src/disamb/anonymous/AnonymousClass.meta, * src/disamb/anonymous/AnonymousClass.str, * src/disamb/anonymous/afcxx-anonymous.str, * src/disamb/anonymous/Makefile.am, * src/disamb/anonymous/AnonymousNamespace.meta, * src/disamb/anonymous/AnonymousNamespace.str: New. * src/parser/parse-cxx.str: Call new filter. 2004-04-20 Olivier Gournet * configure.ac: Set stlport optional, just warn user. 2004-04-20 Olivier Gournet * src/parser/ParsePPDirective.str: Use xtc TempFiles for perl temporary files. 2004-04-19 Olivier Gournet * configure.ac: Fix error message. 2004-04-19 Olivier Gournet * configure.ac: Correct error message. * src/parser/ParsePPDirective.str: Remove temporary file. 2004-04-19 Valentin David * src/disamb/validtypes/afcxx-validtypes.str, * src/disamb/purespecifier/afcxx-purespecifier.str, * src/deterministic/Dxx.sdf, src/syn/ThrowExpressions.sdf, * src/syn/StringLiterals.sdf, src/syn/ExpressionStatements.sdf, * src/syn/UsingDirectives.sdf, src/syn/SimpleTypeSpecifiers.sdf, * src/syn/TryBlocks.sdf, src/syn/AsmDefinitions.sdf, * src/syn/ClassSpecifiers.sdf, src/syn/Expressions.sdf, * src/syn/JumpStatements.sdf, src/syn/PrimaryExpressions.sdf, * src/syn/InitDeclarators.sdf, src/syn/BaseSpecifiers.sdf, * src/syn/ConversionFunctionIds.sdf, src/syn/NewExpressions.sdf, * src/syn/SelectionStatements.sdf, src/syn/EqualityExpressions.sdf, * src/syn/FunctionSpecifiers.sdf, src/syn/TemplateDeclarations.sdf, * src/syn/notemplate.str, src/syn/InclusiveOrExpressions.sdf, * src/syn/ConditionalExpressions.sdf, * src/syn/ExclusiveOrExpressions.sdf, src/syn/TemplateIds.sdf, * src/syn/Layout.sdf, src/syn/AccessSpecifiers.sdf, * src/syn/PmExpressions.sdf, src/syn/ConstantExpressions.sdf, * src/syn/CharacterLiterals.sdf, src/syn/LinkageSpecifications.sdf, * src/syn/MultiplicativeExpressions.sdf, src/syn/IdExpressions.sdf, * src/syn/FloatingLiterals.sdf, src/syn/DeleteExpressions.sdf, * src/syn/AndExpressions.sdf, src/syn/Initializers.sdf, * src/syn/Declarations.sdf, src/syn/ExplicitInstantiations.sdf, * src/syn/AssignmentExpressions.sdf, src/syn/LogicalOrExpressions.sdf, * src/syn/Characters.sdf, src/syn/ShiftExpressions.sdf, * src/syn/FunctionDefinitions.sdf, src/syn/EnumSpecifiers.sdf, * src/syn/TranslationUnits.sdf, src/syn/ExceptionSpecifications.sdf, * src/syn/Statements.sdf, src/syn/MemberSpecifications.sdf, * src/syn/AdditiveExpressions.sdf, src/syn/CvQualifiers.sdf, * src/syn/TypeSpecifiers.sdf, src/syn/CtorInitializers.sdf, * src/syn/PostfixExpressions.sdf, src/syn/LogicalAndExpressions.sdf, * src/syn/LabeledStatements.sdf, src/syn/Cxx.sdf, * src/syn/ExplicitSpecializations.sdf, src/syn/Identifiers.sdf, * src/syn/IterationStatements.sdf, src/syn/Keywords.sdf, * src/syn/StorageClassSpecifiers.sdf, * src/syn/ParameterDeclarations.sdf, src/syn/EscapeSequences.sdf, * src/syn/UsingDeclarations.sdf, src/syn/Literals.sdf, * src/syn/Namespaces.sdf, src/syn/BooleanLiterals.sdf, * src/syn/ElaboratedTypeSpecifiers.sdf, src/syn/TypeIds.sdf, * src/syn/CompoundStatements.sdf, src/syn/Specifiers.sdf, * src/syn/RelationalExpressions.sdf, src/syn/CastExpressions.sdf, * src/syn/DeclarationStatements.sdf, src/syn/IntegerLiterals.sdf, * src/syn/NamespaceAliases.sdf, src/syn/TemplateParameters.sdf, * src/syn/OperatorFunctionIds.sdf, src/syn/UnaryExpressions.sdf, * src/syn/Declarators.sdf, src/strategocxx/StrategoCxx.sdf, * src/strategocxx/CxxVariables.sdf: Add copyright headers. 2004-04-16 Valentin David * test/expressions/Makefile.am, test/Makefile.am, test/gcc/Makefile.am, * test/disambiguate/Makefile.am, config/Makefile.am, * lib/prelude/Makefile.am, lib/Makefile.am, * src/disamb/resolve/Makefile.am, * src/disamb/simpledeclaration/Makefile.am, * src/disamb/validtypes/Makefile.am, * src/disamb/declaration/Makefile.am, * src/disamb/purespecifier/Makefile.am, * src/disamb/classparam/Makefile.am, * src/disamb/ambdown/Makefile.am, src/disamb/Makefile.am, * src/disamb/namespace/Makefile.am, src/pp/Makefile.am, * src/cxxsdf/Makefile.am, src/sig/Makefile.am, * src/deterministic/Makefile.am, src/strcxxgen/Makefile.am, * src/syn/Makefile.am, src/Makefile.am, src/converters/Makefile.am, * src/desugar/Makefile.am, src/strategocxx/Makefile.am, * src/sdf/Makefile.am, src/parser/Makefile.am: Add emacs headers. * TODO, AUTHORS, README: Update. * Makefile.am: Fix uninstall. * configure.ac, * config/version.str.in, * src/disamb/resolve/afcxx-resolve.str, * src/disamb/simpledeclaration/afcxx-simpledeclaration.str, * src/disamb/declaration/Ambiguity.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/declaration/DeclarationSelect.str, * src/disamb/declaration/Declaration.str, * src/disamb/declaration/IfDebug.str, * src/disamb/classparam/afcxx-classparam.str, * src/disamb/ambdown/ambdown.str, * src/disamb/specifier/Count.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/afcxx-specifier.str, * src/disamb/specifier/Makefile.am, * src/disamb/specifier/Increment.str, * src/disamb/specifier/Stop.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/afcxx-namespace.str, * src/disamb/namespace/NamespaceDefinition.str, * src/disamb/namespace/NamespaceDefinitionSelect.str, * src/disamb/namespace/NamespaceNameKinds.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/ConstructorDefinition.str, * src/disamb/disambiguate/UsingDefinition.str, * src/disamb/disambiguate/TemplateIdAmbiguity.str, * src/disamb/disambiguate/IfDebug.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/NamespaceNameAmbiguity.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/TemplateIdAmbiguityCut.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/TemplateIdAmbiguityCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/FunctionDefinitionAmbiguity.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/EnumDefinition.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/PostfixExpressionAmbiguity.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/Kinds.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleDeclarationAmbiguity.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TemplateFunctionDefinitionCandidate.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCut.str, * src/disamb/disambiguate/SizeofAmbiguity.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/InitDeclaratorAmbiguity.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/GetKey.str, * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/DeclaratorIdAmbiguity.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TemplateFunctionTraverse.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/StatementAmbiguity.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/Ambiguity.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/MemInitializerIdAmbiguity.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/PostfixExpressionAmbiguityCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/Definition.str, * src/pp/unbox.str, * src/pp/pp-cxx.str, * src/pp/pp-dxx.str, * src/strcxxgen/strcxxgen.str, * src/desugar/afcxx-desugar.str, * src/parser/ParsePPDirective.str, * src/parser/parse-cxx.str, * src/parser/ambtrack.str: Fix headers. 2004-04-16 Valentin David * src/pp/Makefile.am: Add rule to build pp-cxx.inc. 2004-04-16 Valentin David * configure.ac: Fix sdf-detgen check. 2004-04-15 Valentin David * config/seealso.sed: New. * config/Makefile.am (EXTRA_DIST): Update. * src/mancmds: New. * src/Makefile.am (EXTRA_DIST): Update. * src/pp/Makefile.am, src/parser/Makefile.am: Handle the SEE ALSO section from man pages. 2004-04-15 Valentin David * src/pp/Makefile.am, src/parser/Makefile.am: Remove generated man pages from the tarball. 2004-04-15 Nicolas Pouillard * src/pp/Makefile.am, * src/parser/Makefile.am: Clean man pages. 2004-04-14 Nicolas Pouillard * src/pp/Makefile.am, * src/parser/Makefile.am: Uninstall man pages. 2004-04-13 Valentin David * test/Makefile.am (EXTRA_DIST): Update. * test/gcc/Makefile.am, test/disambiguate/Makefile.am, * test/expressions/Makefile.am: Update. * configure.ac: Generate version.str. * config/Makefile.am: Update. * config/check-rules.mk: Move to test. * src/version/version.str.in: Move to config. * src/version/Makefile.am: Delete. * src/pp/Makefile.am, src/parser/Makefile.am: Update. 2004-04-13 Valentin David * configure.ac: Check for help2man. * src/pp/pp-cxx.str, src/pp/pp-dxx.str, src/parser/parse-cxx.str: Make a prettier help output. * src/version/version.str.in, src/version/Makefile.am: New. * src/parser/Makefile.am, src/pp/Makefile.am: Generate and install man pages. 2004-04-13 Valentin David * Makefile.am: Fix uninstall. 2004-04-13 Valentin David * src/parser/Makefile.am (EXTRA_DIST): Add meta files. 2004-04-09 Valentin David * src/parser/Makefile.am (STRINCLUDES): Add srcdir as include directory. 2004-04-09 Valentin David * src/pp/pp-dxx.str, src/desugar/afcxx-desugar.str: Fix module names. 2004-04-09 Valentin David * src/disamb/simpledeclaration/Makefile.am, * src/disamb/resolve/Makefile.am, src/disamb/ambdown/Makefile.am, * src/disamb/validtypes/Makefile.am, * src/disamb/purespecifier/Makefile.am, * src/disamb/declaration/Makefile.am, * src/disamb/classparam/Makefile.am, * src/disamb/specifier/Makefile.am, src/disamb/namespace/Makefile.am, * src/disamb/disambiguate/Makefile.am, * src/converters/Makefile.am, src/desugar/Makefile.am: Move subprograms into libexec. 2004-04-09 Valentin David * src/pp/Makefile.am (STRINCLUDES): Fix. 2004-04-08 Valentin David * Makefile.am: Uninstall the XTC repository. 2004-04-08 Valentin David * src/syn/Makefile.am (EXTRA_DIST): Fix. 2004-04-08 Nicolas Pouillard * src/disamb/resolve/Makefile.am: Don't distribute C files. * src/disamb/simpledeclaration/Makefile.am: Don't distribute C files. * src/disamb/validtypes/Makefile.am: Don't distribute C files. * src/disamb/declaration/Makefile.am: Don't distribute C files. * src/disamb/purespecifier/Makefile.am: Don't distribute C files. * src/disamb/classparam/Makefile.am: Don't distribute C files. * src/disamb/ambdown/Makefile.am: Don't distribute C files. * src/disamb/specifier/Makefile.am: Don't distribute C files. * src/disamb/namespace/Makefile.am: Don't distribute C files. * src/disamb/disambiguate/Makefile.am: Don't distribute C files. * src/pp/Makefile.am: Don't distribute C files. * src/strcxxgen/Makefile.am: Don't distribute C files. * src/syn/Makefile.am: Don't distribute C files. * src/converters/Makefile.am: Don't distribute C files. * src/desugar/Makefile.am: Don't distribute C files. * src/parser/Makefile.am: Don't distribute C files. 2004-04-08 Valentin David * test/disambiguate/Makefile.am: Fix. 2004-04-07 Olivier Gournet * test/disambiguate/template-13.detcc: Simplify dxx. 2004-04-07 Olivier Gournet * test/disambiguate/template-13.cc, * test/disambiguate/template-13.detcc, * test/disambiguate/Makefile.am: Add test. 2004-04-06 Clement Vasseur * README: Update StrategoXT version. Add STLport. Add information about the test suite. 2004-04-06 Clement Vasseur * configure.ac, config/check-rules.mk, test/Makefile.am: Rename `g++' test directory to `gcc'. * test/g++/*: Rename as... * test/gcc/*: ...these. 2004-04-06 Valentin David * src/disamb/namespace/NamespaceDefinition.str: Fix stop strategies. 2004-04-06 Valentin David * test/g++/Makefile.am: Fix. Do not use "HEADERS". 2004-04-06 Valentin David * test/g++/Makefile.am: Distribute header files. 2004-04-06 Clement Vasseur * src/disamb/disambiguate/TemplateClassDefinition.str: Fix typo. * test/g++/Makefile.am (XFAIL_TESTS): Update. * test/disambiguate/template-12.detcc: Add tags. * test/disambiguate/Makefile.am (XFAIL_TESTS): Update. 2004-04-06 Clement Vasseur * test/g++/Makefile.am (XFAIL_TESTS): Update. 2004-04-05 Valentin David * src/disamb/disambiguate/UsingDefinition.str, * src/disamb/disambiguate/UsingDefinition.meta: New. * src/disamb/disambiguate/Definition.str: Handle using declarations. * src/disamb/disambiguate/Makefile.am: Update. * src/disamb/disambiguate/NamespaceDefinition.str: Use getkey. * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CheckClassName.str: Use scopes. * src/disamb/disambiguate/GetKey.str: Add rules for namespaces. Fix bugs on alias * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/EnumDefinition.str: Check only named enums. * src/disamb/disambiguate/DeclaratorIdAmbiguity.str: Correct a mistake. * src/disamb/disambiguate/ClassOrNamespaceTraverse.str: Check if the class or the namespace exists. * test/disambiguate/Makefile.am (XFAIL_TESTS): Update. 2004-04-05 Valentin David * src/strcxxgen/strcxxgen.str: Fix variable name productions. 2004-04-02 Clement Vasseur * test/disambiguate/Makefile.am (XFAIL_TESTS): Disable failing tests. 2004-04-02 Clement Vasseur * configure.ac: Require Automake 1.8.3. Use --with-strategoxt and --with-sdf flags. Cleanup the error messages. * src/syn/Makefile.am: Add --verbose 0. 2004-04-01 Valentin David * src/parser/Makefile.am (EXTRA_DIST): Add parse-header.pl. 2004-03-30 Olivier Gournet * test/disambiguate/Makefile.am, * test/disambiguate/template-12.detcc, * test/disambiguate/template-12.cc: Add test. 2004-03-30 Valentin David * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str: Handle namespace aliases. * test/disambiguate/namespace-07.detcc: Disambiguate. * test/disambiguate/namespace-08.cc, * test/disambiguate/namespace-08.detcc, * test/disambiguate/namespace-09.cc, * test/disambiguate/namespace-09.detcc, * test/disambiguate/namespace-10.cc, * test/disambiguate/namespace-10.detcc, * test/disambiguate/namespace-11.cc, * test/disambiguate/namespace-11.detcc: New. * test/disambiguate/Makefile.am (TESTS): Update. * src/disamb/disambiguate/NamespaceNameAmbiguity.str, * src/disamb/disambiguate/TypeDefinition.str: Remove trailing debug. 2004-03-29 Valentin David * src/syn/notemplate.str: New. * src/syn/Makefile.am: Forbid use of "template" as constructor name since it is a variable in the standard library. 2004-03-28 Olivier Gournet * test/g++/compat/vbase10.h, * test/g++/compat/bitfield2.h, * test/g++/compat/vbase8-22.h, * test/g++/compat/nrv1.h, * test/g++/compat/byval1.h, * test/g++/compat/elide1.h, * test/g++/compat/vbase8-10.h, * test/g++/compat/empty6.h, * test/g++/compat/dtor1.h, * test/g++/compat/ctor2.h, * test/g++/compat/template1.h, * test/g++/compat/vbase11.h, * test/g++/compat/bitfield1.h, * test/g++/compat/bitfield5.h, * test/g++/compat/vbase8-21.h, * test/g++/compat/bitfield7.h, * test/g++/compat/spec3.h, * test/g++/compat/vbase8-4.h, * test/g++/compat/filter1.h, * test/g++/compat/ctor1.h: Headers included by test files. * test/g++/fail.list: Remove some tests. 2004-03-27 Clement Vasseur * test/g++/test: Optimize the test procedure. If the test is listed in `fail.list' then we don't need to parse the file. * test/g++/Makefile.am: Remove a few tests from XFAIL_TESTS. * config/check-rules.mk: Add cxx-err and dxx-err to CLEANFILES. 2004-03-27 Clement Vasseur * test/disambiguate/namespace-07.detcc, * test/disambiguate/namespace-07.cc: Simplify identifiers. * test/disambiguate/Makefile.am: Add namespace-07 to XFAIL_TESTS. 2004-03-26 Valentin David * src/disamb/simpledeclaration/Makefile.am, * src/disamb/validtypes/Makefile.am, * src/disamb/purespecifier/Makefile.am, * src/disamb/declaration/Makefile.am, * src/disamb/classparam/Makefile.am, * src/disamb/specifier/Makefile.am, * src/disamb/namespace/Makefile.am, * src/disamb/disambiguate/Makefile.am: Preparse source files. 2004-03-26 Clement Vasseur * test/disambiguate/template-08.detcc: Fix. It was not the same code as template-08.cc. 2004-03-26 Olivier Gournet * test/disambiguate/namespace-07.detcc, * test/disambiguate/namespace-07.cc, * test/disambiguate/Makefile.am: Add test. 2004-03-26 Clement Vasseur * src/parser/parse-header.pl: Add program name in error messages. 2004-03-26 Valentin David * config/bundle.m4: New. * configure.ac, config/Makefile.am, src/deterministic/Makefile.am, * src/syn/Makefile.am, src/converters/Makefile.am: Include necessary features to be bundled. 2004-03-26 Valentin David * test/expressions/test, test/g++/test, * test/disambiguate/test, config/check-rules.mk: Separate stdout and stderr to fix the result comparison bug. 2004-03-26 Valentin David * src/disamb/disambiguate/NamespaceNameAmbiguity.meta, * src/disamb/disambiguate/NamespaceNameAmbiguity.str: New. * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/ResolveCompound.str: Disambiguate namespace names. * src/disamb/disambiguate/Makefile.am (SRCS): Update. * test/disambiguate/namespace-06.detcc: Add disambiguation markups. 2004-03-26 Olivier Gournet * src/parser/ParsePPDirective.str: Generate unique temporary file. * src/parser/parse-header.pl: Fix. 2004-03-26 Olivier Gournet * src/disamb/resolve/afcxx-resolve.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/specifier/Count.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/afcxx-specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/afcxx-namespace.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/TemplateIdAmbiguityCut.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/FunctionDefinitionAmbiguity.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/EnumDefinition.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleDeclarationAmbiguity.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/SizeofAmbiguity.str, * src/disamb/disambiguate/InitDeclaratorAmbiguity.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/DeclaratorIdAmbiguity.str, * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateFunctionTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/StatementAmbiguity.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/TypeDefinition.str, * src/parser/ParsePPDirective.str, * src/parser/parse-cxx.str: Output nothing if not in verbose mode. * src/parser/parse-header.pl: Generate unique temporary file. 2004-03-26 Clement Vasseur * src/cxxsdf/Makefile.am, * src/sdf/Makefile.am: Use unpack instead of unpack-sdf because it is currently broken. 2004-03-26 Clement Vasseur * src/disamb/validtypes/afcxx-validtypes.str, * src/disamb/namespace/NamespaceNameKinds.str: Fix more typos in module name. 2004-03-26 Clement Vasseur * src/disamb/disambiguate/PostfixExpressionAmbiguity.str, * src/disamb/disambiguate/CompoundStatement.str: Fix typo in module name. 2004-03-26 Valentin David * src/disamb/disambiguate/TypeDefinition.str: Keep layout. 2004-03-25 Valentin David * configure.ac: Fix. 2004-03-25 Valentin David * src/parser/ParsePPDirective.str: Generate new lines in layout against simple spaces between declarations. Fix illegal tree productions. 2004-03-25 Valentin David * configure.ac, config/check-rules.mk, * src/parser/ParsePPDirective.str, src/parser/Makefile.am: Add stlport into the XTC repository. 2004-03-24 Clement Vasseur * src/syn/EqualityExpressions.sdf, * src/syn/AssignmentExpressions.sdf: Fix bug with 'not_eq' operator. * configure.ac: Add desugar Makefile. * src/Makefile.am: Add desugar directory. * src/desugar/Makefile.am: New. * src/desugar/afcxx-desugar.meta: New. * src/desugar/afcxx-desugar.str: New. Desugar "alternative tokens". * src/parser/parse-cxx.str: Add afcxx-desugar filter at the beginning of the disambiguation process. 2004-03-24 Clement Vasseur * config/check-rules.mk: Add preprocessing tools registration for the test suite. 2004-03-24 Olivier Gournet * src/parser/ParsePPDirective.str: Remove some debug informations. * src/parser/parse-cxx.str: Correct "-p" switch. * src/parser/parse-header.perl: Rename to parse-header.pl. * src/parser/Makefile.am: Update. 2004-03-24 Olivier Gournet * configure.ac: Check for cpp. * src/parser/ParsePPDirective.str, * src/parser/ParsePPDirective.meta: New file. * src/parser/parse-header.perl: New file, explode pre-processed file. * src/parser/parse-cxx.str: Add option "-s" to skip pre-processing. * src/parser/Makefile.am: Update. 2004-03-24 Olivier Gournet * test/disambiguate/namespace-06.cc, * test/disambiguate/namespace-06.detcc, * test/disambiguate/Makefile.am: Add new test. 2004-03-24 Clement Vasseur * test/g++/fail.list: Add more "GNU C++" tests, and sort the list. * test/g++/Makefile.am: Update XFAIL_TESTS. 2004-03-23 Clement Vasseur * test/g++/fail.list: Add the tests that make use of GNU C++ extensions. * test/g++/Makefile.am: Remove those tests from XFAIL_TESTS. 2004-03-23 Clement Vasseur * test/disambiguate/decl-01.detcc, * test/disambiguate/decl-01.cc: New test for afcxx-validtypes. * test/disambiguate/Makefile.am: Add the new test. * src/disamb/validtypes/afcxx-validtypes.str: Fix. "signed i" was not accepted as a valid case. 2004-03-23 Clement Vasseur * test/expressions/alternative_tokens-01.cc, * test/expressions/alternative_tokens-02.cc, * test/expressions/alternative_tokens-03.cc: Add new tests. * test/expressions/Makefile.am: Add the new tests. * test/g++/Makefile.am: Update fail-tests list. * src/syn/InclusiveOrExpressions.sdf, * src/syn/ExclusiveOrExpressions.sdf, * src/syn/AndExpressions.sdf, * src/syn/AssignmentExpressions.sdf, * src/syn/LogicalOrExpressions.sdf, * src/syn/LogicalAndExpressions.sdf, * src/syn/OperatorFunctionIds.sdf, * src/syn/UnaryExpressions.sdf: Add "alternative tokens". 2004-03-22 Julien Roussel * src/strategocxx/Makefile.am: Install StrategoCxxGen.sdf. 2004-03-22 Julien Roussel * configure.ac, src/Makefile.am: Do not compile src/typed-cxx. * src/typed-cxx/Constant.str, src/typed-cxx/TypedCxx.sdf, * src/typed-cxx/Makefile.am, src/typed-cxx/TypeChecker.str, * src/typed-cxx/Constant.meta: Delete. 2004-03-22 Valentin David * src/converters/Makefile.am: New. Generate Cxx/Dxx translators for asfix. * src/parser/parse-cxx.str: Add new options (dxx/cxx and output format). * src/parser/parse-dxx.str: Remove (obsoleted by parse-cxx). * config/check-rules.mk: Use parse-cxx instead of parse-dxx. * configure.ac, src/Makefile.am, src/parser/Makefile.am: Update. 2004-03-22 Julien Roussel * src/typed-cxx/TypedCxx.sdf: Change the tribal symbol. 2004-03-18 Nicolas Pouillard * src/syn/UnaryExpressions.sdf: Add some constructors. 2004-03-18 Nicolas Pouillard * src/Makefile.am: Add typed-cxx to subdirs. * src/typed-cxx/Makefile.am: Disable default construction. 2004-03-17 Nicolas Pouillard * configure.ac: Add src/typed-cxx/Makefile. * src/typed-cxx: New. * src/typed-cxx/Constant.str: New. * src/typed-cxx/TypedCxx.sdf: New. * src/typed-cxx/Makefile.am: New. * src/typed-cxx/TypeChecker.str: New. * src/typed-cxx/Constant.meta: New. 2004-03-17 Clement Vasseur * test/expressions/test: Make sure that tests "FAIL" when they are supposed to fail but they pass. 2004-03-15 Valentin David * test/g++/fail.list: New. * test/g++/Makefile.am (XFAIL_TESTS): Update. 2004-03-11 Clement Vasseur * test/expressions/test, * test/disambiguate/test, * test/g++/test, * config/check-rules.mk: Fix for make distcheck. * test/expressions/Makefile.am, * test/g++/Makefile.am: Update. 2004-03-11 Valentin David * src/deterministic/Makefile.am, * src/syn/Makefile.am: Update. 2004-03-09 Clement Vasseur * test/expressions/test, test/g++/test, test/disambiguate/test: Enhance readability. * config/check-rules.mk: Fix detection of g++ test-suite. 2004-03-09 Clement Vasseur * configure.ac: Remove obsolete config/defs. 2004-03-09 Clement Vasseur * config/check-rules.mk: New test rules. * test/expressions/test, * test/disambiguate/test, * test/g++/test: New test scripts. * config/defs.in, * test/expressions/test.test, * test/disambiguate/test.test * test/g++/test.test: Remove. * test/expressions/Makefile.am * test/disambiguate/Makefile.am * test/g++/Makefile.am * config/Makefile.am: Update. * test/expressions/primary-this.cc, * test/disambiguate/template-08.cc, * src/parser/parse-dxx.str: Fix. 2004-03-08 Clement Vasseur * src/parser/parse-cxx.str: Make it fail if the resulting AST is ambiguous, with error code 1. Add a "-a|--amb" switch to allow ambigous outputs. 2004-03-08 Valentin David * test/disambiguate/template-11.detcc, * test/disambiguate/template-11.cc: New. Tests anonymous template parameters. * test/disambiguate/Makefile.am: Update. 2004-03-08 Clement Vasseur * src/disamb/simpledeclaration/Makefile.am, * src/disamb/validtypes/Makefile.am, * src/disamb/purespecifier/Makefile.am, * src/disamb/declaration/Makefile.am, * src/disamb/classparam/Makefile.am, * src/disamb/specifier/Makefile.am, * src/disamb/namespace/Makefile.am, * src/disamb/disambiguate/Makefile.am: Disable generation of -ast filters, which are not used. This reduces compilation time. 2004-03-08 Clement Vasseur * configure.ac: Remove obsolete bitfield Makefile. 2004-02-26 Valentin David * src/disamb/validtypes/afcxx-validtypes.meta: New. * src/disamb/bitfield/afcxx-bitfield.str, * src/disamb/bitfield/Makefile.am, * src/disamb/bitfield/afcxx-bitfield.meta: Delete. * src/parser/parse-cxx.str, * config/check-rules.mk: Remove the bitfield filter. * src/disamb/disambiguate/Parameter.str: Fix. * src/disamb/declaration/afcxx-declaration.str: Process with bottomup traversal. * src/disamb/declaration/DeclarationCut.str: Clean. * src/disamb/validtypes/afcxx-validtypes.str, * src/disamb/validtypes/Makefile.am: New. Delete ambiguity branches with invalid types. * test/g++/Makefile.am, configure.ac, config/check-rules.mk, * src/parser/parse-cxx.str, src/disamb/Makefile.am: Update. 2004-02-25 Valentin David * test/disambiguate/funcdef-01.detcc, * test/disambiguate/funcdef-01.cc, * test/disambiguate/funcdef-02.cc * test/disambiguate/funcdef-02.detcc, * test/disambiguate/return-01.cc, * test/disambiguate/return-01.detcc: New. * test/g++/Makefile.am, test/disambiguate/Makefile.am: Update. * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str: Disambiguate member functions. * src/disamb/declaration/IfDebug.str: Use the verbose parameter. * src/syn/MemberSpecifications.sdf: Add a dettag for member functions. * src/disamb/specifier/Stop.str: Delete some compilation warnings. * src/disamb/disambiguate/Makefile.am: Fix. 2004-02-25 Nicolas Pouillard * src/syn/AccessSpecifiers.sdf, src/syn/AdditiveExpressions.sdf, * src/syn/AndExpressions.sdf, src/syn/AsmDefinitions.sdf, * src/syn/AssignmentExpressions.sdf, src/syn/BaseSpecifiers.sdf, * src/syn/BooleanLiterals.sdf, src/syn/CastExpressions.sdf, * src/syn/CharacterLiterals.sdf, src/syn/Characters.sdf, * src/syn/ClassSpecifiers.sdf, src/syn/CompoundStatements.sdf, * src/syn/ConditionalExpressions.sdf, src/syn/ConstantExpressions.sdf, * src/syn/ConversionFunctionIds.sdf, src/syn/CtorInitializers.sdf, * src/syn/CvQualifiers.sdf, src/syn/Cxx.sdf, * src/syn/DeclarationStatements.sdf, src/syn/Declarations.sdf, * src/syn/Declarators.sdf, src/syn/DeleteExpressions.sdf, * src/syn/ElaboratedTypeSpecifiers.sdf, src/syn/EnumSpecifiers.sdf, * src/syn/EqualityExpressions.sdf, src/syn/EscapeSequences.sdf, * src/syn/ExceptionSpecifications.sdf, * src/syn/ExclusiveOrExpressions.sdf, * src/syn/ExplicitInstantiations.sdf, * src/syn/ExplicitSpecializations.sdf, * src/syn/ExpressionStatements.sdf, src/syn/Expressions.sdf, * src/syn/FloatingLiterals.sdf, src/syn/FunctionDefinitions.sdf, * src/syn/FunctionSpecifiers.sdf, src/syn/IdExpressions.sdf, * src/syn/Identifiers.sdf, src/syn/InclusiveOrExpressions.sdf, * src/syn/InitDeclarators.sdf, src/syn/Initializers.sdf, * src/syn/IntegerLiterals.sdf, src/syn/IterationStatements.sdf, * src/syn/JumpStatements.sdf, src/syn/Keywords.sdf, * src/syn/LabeledStatements.sdf, src/syn/Layout.sdf, * src/syn/LinkageSpecifications.sdf, src/syn/Literals.sdf, * src/syn/LogicalAndExpressions.sdf, src/syn/LogicalOrExpressions.sdf, * src/syn/MemberSpecifications.sdf, * src/syn/MultiplicativeExpressions.sdf, * src/syn/NamespaceAliases.sdf, src/syn/Namespaces.sdf, * src/syn/NewExpressions.sdf, src/syn/OperatorFunctionIds.sdf, * src/syn/ParameterDeclarations.sdf, src/syn/PmExpressions.sdf, * src/syn/PostfixExpressions.sdf, src/syn/PrimaryExpressions.sdf, * src/syn/RelationalExpressions.sdf, src/syn/SelectionStatements.sdf, * src/syn/ShiftExpressions.sdf, src/syn/SimpleTypeSpecifiers.sdf, * src/syn/Specifiers.sdf, src/syn/Statements.sdf, * src/syn/StorageClassSpecifiers.sdf, src/syn/StringLiterals.sdf, * src/syn/TemplateDeclarations.sdf, src/syn/TemplateIds.sdf, * src/syn/TemplateParameters.sdf, src/syn/ThrowExpressions.sdf, * src/syn/TranslationUnits.sdf, src/syn/TryBlocks.sdf, * src/syn/TypeIds.sdf, src/syn/TypeSpecifiers.sdf, * src/syn/UnaryExpressions.sdf, src/syn/UsingDeclarations.sdf, * src/syn/UsingDirectives.sdf : Adding 'hiddens' sections for nonterminal declaration, adding some basics constructors too. 2004-02-24 Valentin David * src/disamb/disambiguate/SizeofAmbiguity.str, * src/disamb/disambiguate/SizeofAmbiguity.meta: New. * src/disamb/disambiguate/Makefile.am: Update. * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/ResolveCompound.str: Handle "sizeof" ambiguities. * test/g++/Makefile.am, test/disambiguate/Makefile.am: Update. * test/disambiguate/sizeof-02.detcc, test/disambiguate/sizeof-02.cc, * test/disambiguate/sizeof-01.detcc, test/disambiguate/sizeof-01.cc: New. * test/g++/Makefile.am (XFAIL_TESTS): Update. 2004-02-23 Valentin David * src/syn/Characters.sdf: Delete anti-slash as normal character. * src/syn/TypeIds.sdf: Add lexical some restrictions. 2004-02-19 Valentin David * src/syn/Keywords.sdf: Add restrictions to keywords. 2004-02-17 Clement Vasseur * test/g++/*/*.C: Add tests from g++ 3.3.2 * test/g++/Makefile.am: Adjust for new tests. * test/g++/test.test: New. * configure.ac: Remove old makefiles. 2004-02-13 Valentin David * src/disamb/disambiguate/Makefile.am (SRCS): Add meta files. * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/CheckClassName.str: Treat typdefs as alias. * src/disamb/disambiguate/GetKey.str, * src/disamb/disambiguate/GetKey.meta: New. * test/disambiguate/alias-01.cc, * test/disambiguate/alias-01.detcc: New. * test/disambiguate/Makefile.am: Update. * src/strategocxx/Makefile.am, * test/expressions/Makefile.am (CLEANFILES): Delete trailing files. * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/Makefile.am, * src/disamb/declarator/afcxx-declarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/IfDebug.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/declarator/ValidDeclarator.meta, * src/disamb/declarator/ParameterDeclaratorCandidate.meta, * src/disamb/declarator/ParameterDeclarator.meta, * src/disamb/declarator/MemberDeclaratorCandidate.meta, * src/disamb/declarator/InitializerDeclaratorCandidate.meta, * src/disamb/declarator/MemberDeclarator.meta, * src/disamb/declarator/InitializerDeclarator.meta, * src/disamb/declarator/FunctionDeclarator.meta, * src/disamb/declarator/Declarator.meta: Delete. It needed context to know (class names) to accept constructors. * configure.ac, src/disamb/Makefile.am, * src/parser/parse-cxx.str, config/check-rules.mk: Update. * src/disamb/disambiguate/Lookup.str: Delete deprecated imports. * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str: Do the former job of afcxx-declarator. * src/disamb/disambiguate/SimpleDeclarationAmbiguity.str, * src/disamb/disambiguate/SimpleDeclarationAmbiguity.meta, * src/disamb/disambiguate/InitDeclaratorAmbiguity.str, * src/disamb/disambiguate/InitDeclaratorAmbiguity.meta, * src/disamb/disambiguate/FunctionDefinitionAmbiguity.str, * src/disamb/disambiguate/FunctionDefinitionAmbiguity.meta, * src/disamb/disambiguate/ConstructorDefinition.str, * src/disamb/disambiguate/ConstructorDefinition.meta, * src/disamb/disambiguate/DeclaratorIdAmbiguity.str, * src/disamb/disambiguate/DeclaratorIdAmbiguity.meta: New. * test/disambiguate/Makefile.am: Update. * test/g++/template/Makefile.am, test/g++/overload/Makefile.am, * test/g++/other/Makefile.am, test/g++/opt/Makefile.am, * test/g++/init/Makefile.am, test/g++/inherit/Makefile.am, * test/g++/eh/Makefile.am, test/g++/debug/Makefile.am (XFAIL_TESTS): Update. * test/disambiguate/simple-decl-02.detcc, * test/disambiguate/simple-decl-02.cc, * test/disambiguate/simple-decl-01.detcc, * test/disambiguate/simple-decl-01.cc: New. * lib/prelude/Strings.str, lib/prelude/Conditionals.str, * lib/prelude/Booleans.str: Delete. * lib/prelude/Makefile.am (SRCS): Update. 2004-02-12 Valentin David * Makefile.am (XTC_IMPORT): Update. 2004-02-02 Valentin David * test/disambiguate/Makefile.am (EXTRA_DIST): Add detcc files. 2004-02-01 Valentin David * config/check-rules.mk: Fix. 2004-01-29 Valentin David * src/disamb/classparam/Makefile.am: Fix. * src/disamb/purespecifier/afcxx-purespecifier.meta, * src/disamb/purespecifier/afcxx-purespecifier.str, * src/disamb/purespecifier/Makefile.am, * src/disamb/disambiguate/MemInitializerIdAmbiguity.meta, * src/disamb/disambiguate/MemInitializerIdAmbiguity.str: New. * configure.ac, src/disamb/Makefile.am: Update. * test/g++/abi/Makefile.am (XFAIL_TESTS): Update. * src/parser/parse-cxx.str, config/check-rules.mk: Add new filter. 2004-01-28 Valentin David * src/disamb/disambiguate/StatementAmbiguity.meta, * src/disamb/disambiguate/StatementAmbiguity.str: New. 2004-01-27 Valentin David * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str, * src/disamb/disambiguate/TemplateFunctionTraverse.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/ClassDefinition.str: Accept class declaration without definitions. * src/disamb/disambiguate/CheckClassName.str: Check more cases. * src/disamb/disambiguate/SimpleTypeSpecifier.str: Simplify. * src/disamb/disambiguate/MemInitializerIdAmbiguity.str, * src/disamb/disambiguate/MemInitializerIdAmbiguity.meta: New. * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str: Add mem initializer id tests. * test/g++/template/Makefile.am, * test/g++/other/Makefile.am, * test/g++/opt/Makefile.am, * test/g++/init/Makefile.am, * test/g++/inherit/Makefile.am, * test/g++/eh/Makefile.am, * test/g++/debug/Makefile.am, * test/g++/abi/Makefile.am: Update. 2004-01-23 Valentin David * src/strategocxx/Makefile.am, * test/disambiguate/Makefile.am, * test/expressions/Makefile.am, * test/g++/template/Makefile.am, * src/disamb/disambiguate/Makefile.am, * src/disamb/specifier/Stop.str, * src/disamb/namespace/NamespaceDefinition.str, * config/check-rules.mk, * src/disamb/classparam/Makefile.am: Fix. 2004-01-22 Valentin David * configure.ac, src/disamb/Makefile.am: Update. * TODO: Update. * src/syn/TemplateParameters.sdf: Add tag for deterministic syntax. * test/disambiguate/template-05.cc, * test/disambiguate/template-10.detcc, * test/disambiguate/template-09.detcc, * test/disambiguate/template-05.detcc: Fix. * test/disambiguate/test.test, test/disambiguate/Makefile.am, * test/expressions/Makefile.am, test/expressions/test.test, * test/g++/template/Makefile.am, test/g++/template/test.test, * test/g++/parse/Makefile.am, test/g++/parse/test.test, * test/g++/overload/Makefile.am, test/g++/overload/test.test, * test/g++/other/Makefile.am, test/g++/other/test.test, * test/g++/opt/Makefile.am, test/g++/opt/test.test, * test/g++/lookup/Makefile.am, test/g++/lookup/test.test, * test/g++/init/Makefile.am, test/g++/init/test.test, * test/g++/inherit/Makefile.am, test/g++/inherit/test.test, * test/g++/eh/Makefile.am, test/g++/eh/test.test, * test/g++/debug/Makefile.am, test/g++/debug/test.test, * test/g++/abi/Makefile.am, test/g++/abi/test.test: Fix and update. * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/Kinds.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/AmbiguityCandidate.str: Fix several bugs. * src/parser/parse-cxx.str, config/check-rules.mk: Update. * src/disamb/simpledeclaration/Makefile.am, * src/disamb/simpledeclaration/afcxx-simpledeclaration.str, * src/disamb/simpledeclaration/afcxx-simpledeclaration.meta: New. * src/disamb/classparam/Makefile.am, * src/disamb/classparam/afcxx-classparam.str, * src/disamb/classparam/afcxx-classparam.meta: New. * src/disamb/disambiguate/PostfixExpressionAmbiguity.str, * src/disamb/disambiguate/PostfixExpressionAmbiguity.meta, * src/disamb/disambiguate/PostfixExpressionAmbiguityCandidate.str, * src/disamb/disambiguate/PostfixExpressionAmbiguityCandidate.meta, * src/disamb/disambiguate/TemplateIdAmbiguityCut.str, * src/disamb/disambiguate/TemplateIdAmbiguityCandidate.str, * src/disamb/disambiguate/TemplateIdAmbiguity.str, * src/disamb/disambiguate/TemplateIdAmbiguityCut.meta, * src/disamb/disambiguate/TemplateIdAmbiguityCandidate.meta, * src/disamb/disambiguate/TemplateIdAmbiguity.meta, * src/disamb/disambiguate/TemplateFunctionDefinitionCandidate.str, * src/disamb/disambiguate/TemplateFunctionDefinition.str, * src/disamb/disambiguate/TemplateFunctionDefinitionCandidate.meta, * src/disamb/disambiguate/TemplateFunctionDefinition.meta, * src/disamb/disambiguate/TemplateFunctionTraverse.str, * src/disamb/disambiguate/TemplateFunctionTraverse.meta: New. * src/disamb/ambdown/ambdown.str, src/disamb/ambdown/Makefile.am: New. 2004-01-15 Valentin David * lib/prelude/Makefile.am: Fix. * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/PrimaryExpression.str: Remove unused debug code. * src/disamb/disambiguate/Lookup.str: Fix. * test/g++/other/Makefile.am, test/g++/opt/Makefile.am: Update XFAIL tests. 2003-09-30 Akim Demaille * configure.ac: Copyright notice. Check the presence of the needed tools. 2003-08-30 Valentin David * README: Update required package version numbers. * configure.ac: Delete a trailing directory. * test/disambiguate/Makefile.am * test/g++/template/Makefile.am * test/g++/template/test.test * test/g++/parse/test.test * test/g++/overload/Makefile.am * test/g++/overload/test.test * test/g++/other/Makefile.am * test/g++/other/test.test * test/g++/opt/Makefile.am * test/g++/opt/test.test * test/g++/lookup/test.test * test/g++/init/Makefile.am * test/g++/init/test.test * test/g++/inherit/Makefile.am * test/g++/inherit/test.test * test/g++/eh/Makefile.am * test/g++/eh/test.test * test/g++/debug/Makefile.am * test/g++/debug/test.test * test/g++/abi/Makefile.am * test/g++/abi/test.test: Update XFAIL tests. * src/pp/unbox.str, * src/pp/pp-cxx.str, * src/pp/pp-dxx.str, * lib/prelude/Strings.str, * lib/prelude/Options.str, * lib/prelude/Identifier.str, * lib/prelude/Conditionals.str, * lib/prelude/Booleans.str, * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/Kinds.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/IfDebug.str, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCut.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/Ambiguity.str, * src/disamb/specifier/Stop.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/afcxx-specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/specifier/Count.str, * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/afcxx-declarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/IfDebug.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/resolve/afcxx-resolve.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/IfDebug.str, * src/disamb/declaration/DeclarationSelect.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/declaration/Declaration.str, * src/disamb/declaration/Ambiguity.str, * src/disamb/namespace/NamespaceNameKinds.str, * src/disamb/namespace/NamespaceDefinitionSelect.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/NamespaceDefinition.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/afcxx-namespace.str, * src/parser/parse-cxx.str, * src/parser/parse-dxx.str, * src/disamb/bitfield/afcxx-bitfield.str, * src/parser/ambtrack.str, * src/strcxxgen/strcxxgen.str, * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/EnumDefinition.str: Add licence headers. 2003-08-26 Valentin David * lib/cxx/TemplateParametersOverlays.str, * lib/cxx/TemplateDeclarationsOverlays.str, * lib/cxx/SpecifiersOverlays.str, * lib/cxx/SimpleTypeSpecifiersOverlays.str, * lib/cxx/NamespacesOverlays.str, * lib/cxx/MemberSpecificationsOverlays.str, * lib/cxx/IdExpressionsOverlays.str, * lib/cxx/DeclarationsOverlays.str, * lib/cxx/CompoundStatementsOverlays.str, * lib/cxx/ClassSpecifiersOverlays.str, * lib/cxx/BaseSpecifiersOverlays.str, * lib/cxx/Makefile.am, * lib/prelude/Overlays.str, * lib/prelude/Layouts.str: Delete. * lib/prelude/Makefile.am, * lib/Makefile.am: Update. * test/disambiguate/test.test: Disambiguate once only. * test/disambiguate/enum-04.detcc: Fix. * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/Makefile.am * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/IfDebug.str, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/Ambiguity.str: Rewrite with concrete syntax. * src/disamb/bitfield/afcxx-bitfield.str: Fix. * src/disamb/disambiguate/VariableDefinitionCandidate.meta, * src/disamb/disambiguate/VariableDefinition.meta, * src/disamb/disambiguate/VariableDeclaratorCandidate.meta, * src/disamb/disambiguate/VariableDeclarator.meta, * src/disamb/disambiguate/TypeDefinitionCandidate.meta, * src/disamb/disambiguate/TypeDefinition.meta, * src/disamb/disambiguate/TypeDeclaratorCandidate.meta, * src/disamb/disambiguate/TypeDeclarator.meta, * src/disamb/disambiguate/TypeAmbiguityCandidate.meta, * src/disamb/disambiguate/TemplateTraverseCandidate.meta, * src/disamb/disambiguate/TemplateTraverse.meta, * src/disamb/disambiguate/TemplateDefinitionCandidate.meta, * src/disamb/disambiguate/TemplateDefinition.meta, * src/disamb/disambiguate/TemplateClassTraverse.meta, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.meta, * src/disamb/disambiguate/TemplateClassDefinition.meta, * src/disamb/disambiguate/TemplateArguments.meta, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.meta, * src/disamb/disambiguate/SimpleTypeSpecifier.meta, * src/disamb/disambiguate/PrimaryExpressionCandidate.meta, * src/disamb/disambiguate/PrimaryExpression.meta, * src/disamb/disambiguate/Parameter.meta, * src/disamb/disambiguate/NestedNameSpecifier.meta, * src/disamb/disambiguate/NamespaceTraverse.meta, * src/disamb/disambiguate/NamespaceDefinitionCandidate.meta, * src/disamb/disambiguate/NamespaceDefinition.meta, * src/disamb/disambiguate/LocalOrGlobal.meta, * src/disamb/disambiguate/EnumDefinitionCandidate.meta, * src/disamb/disambiguate/EnumDefinition.meta, * src/disamb/disambiguate/CompoundStatementCandidate.meta, * src/disamb/disambiguate/CompoundStatement.meta, * src/disamb/disambiguate/ClassTraverse.meta, * src/disamb/disambiguate/ClassOrNamespaceTraverse.meta, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.meta, * src/disamb/disambiguate/ClassDefinitionCandidate.meta, * src/disamb/disambiguate/ClassDefinition.meta, * src/disamb/disambiguate/CheckTypeName.meta, * src/disamb/disambiguate/CheckNamespaceName.meta, * src/disamb/disambiguate/CheckEnumName.meta, * src/disamb/disambiguate/CheckClassName.meta, * src/disamb/disambiguate/BaseTraverseCandidate.meta, * src/disamb/disambiguate/BaseTraverse.meta: New. * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/EnumDefinition.str: New. 2003-08-01 Valentin David * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceAliasDefinition.str: Update. 2003-07-31 Valentin David * configure.ac, src/Makefile.am, * src/strcxxgen/strcxxgen.str, src/strcxxgen/Makefile.am: New. * src/strategocxx/CxxVariables.sdf, * src/strategocxx/StrategoCxx.sdf, src/strategocxx/Makefile.am: Use strcxxgen tool. * src/disamb/specifier/Stop.str, src/disamb/specifier/Specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/bitfield/afcxx-bitfield.str: Update to new syntax. 2003-07-25 Valentin David * src/strategocxx/CxxVariables.sdf, src/strategocxx/StrategoCxx.sdf: Update for filter rewriting. * lib/prelude/Identifier.str: Add AST mode for Identifier rule. * src/disamb/specifier/Stop.str, src/disamb/specifier/Specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/namespace/NamespaceDefinitionCut.str * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/NamespaceDefinition.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/bitfield/afcxx-bitfield.str: Rewrite in concrete syntax mode. * src/disamb/namespace/NamespaceDefinitionCut.meta, * src/disamb/namespace/NamespaceDefinitionCandidate.meta, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.meta, * src/disamb/namespace/NamespaceAliasDefinition.meta, * src/disamb/declaration/DeclarationCut.meta, * src/disamb/declaration/DeclarationCandidate.meta, * src/disamb/bitfield/afcxx-bitfield.meta, * src/disamb/declarator/ValidDeclarator.meta, * src/disamb/declarator/ParameterDeclaratorCandidate.meta, * src/disamb/declarator/ParameterDeclarator.meta, * src/disamb/declarator/MemberDeclaratorCandidate.meta, * src/disamb/declarator/InitializerDeclaratorCandidate.meta, * src/disamb/declarator/MemberDeclarator.meta, * src/disamb/declarator/InitializerDeclarator.meta, * src/disamb/declarator/FunctionDeclarator.meta, * src/disamb/declarator/Declarator.meta, src/disamb/specifier/Stop.meta * src/disamb/specifier/Specifier.meta * src/disamb/specifier/Increment.meta: New. * src/disamb/specifier/Makefile.am, src/disamb/declarator/Makefile.am, * src/disamb/declaration/Makefile.am, src/disamb/namespace/Makefile.am, * src/disamb/bitfield/Makefile.am: Generate two binaries (AST and AsFix) * TODO: Update. * lib/cxx/TemplateIdsOverlays.str: Removed. * lib/cxx/Makefile.am: Update. 2003-07-17 Valentin David * src/parser/parse-dxx.str: Fix the return error code. 2003-07-17 Valentin David * src/parser/parse-dxx.str: Add ambiguities print out. * src/parser/ambtrack.str: New. * src/parser/Makefile.am: Update. * TODO: Update. 2003-07-17 Valentin David * src/deterministic/Makefile.am: Use new version of detgen to have xml markup style. * src/syn/Layout.sdf: Update. * test/disambiguate/*.detcc: Update. * TODO: Update. 2003-07-16 Valentin David * TODO: Update. * src/syn/NamespaceAliases.sdf, * src/syn/Namespaces.sdf: Fix up dettag bug. 2003-07-16 Valentin David * README: Update. * src/syn/Specifiers.sdf: Add "ds" mark-up. * src/parser/parse-dxx.str: Use -fi option for sglr. * config/check-rules.mk, * test/disambiguate/template-06.detcc, * test/disambiguate/template-04.detcc: Fix. * TODO: New. 2003-07-11 Valentin David * src/disamb/declarator/Declarator.str: Fix the bug for operator definitions. 2003-07-11 Valentin David * configure.ac, * src/disamb/Makefile.am: Add new filter directory. * src/parser/parse-cxx.str, config/check-rules.mk: Update. * src/disamb/bitfield/Makefile.am, * src/disamb/bitfield/afcxx-bitfield.str: New. 2003-07-01 Valentin David * src/strategocxx/CxxVariables.sdf: Clean. 2003-06-23 Clement Vasseur * test/g++/parse/Makefile.am: Fix .test link creation. 2003-06-23 Clement Vasseur * test/disambiguate/test.test: Remove .diff before running the test. * test/disambiguate/class-03.cc, test/disambiguate/enum-02.cc, * test/disambiguate/enum-04.cc, test/disambiguate/function-05.cc, * test/disambiguate/power-02.cc, test/disambiguate/template-09.cc, * test/disambiguate/power-02.detcc, test/disambiguate/inherit-09.detcc, * test/disambiguate/inherit-09.cc, test/disambiguate/inherit-08.detcc, * test/disambiguate/inherit-08.cc, test/disambiguate/inherit-07.detcc, * test/disambiguate/inherit-07.cc, test/disambiguate/inherit-06.detcc, * test/disambiguate/inherit-06.cc, test/disambiguate/class-03.detcc, * test/disambiguate/template-09.detcc, * test/disambiguate/function-06.detcc, * test/disambiguate/function-05.detcc, test/disambiguate/enum-04.detcc, * test/disambiguate/enum-02.detcc: Fix tests, make them pass with g++. * test/g++/template/Makefile.am: Fix .test link creation. 2003-06-23 Clement Vasseur * test/disambiguate/Makefile.am, test/expressions/Makefile.am, * test/g++/template/Makefile.am, test/g++/parse/Makefile.am, * test/g++/overload/Makefile.am, test/g++/other/Makefile.am, * test/g++/opt/Makefile.am, test/g++/lookup/Makefile.am, * test/g++/init/Makefile.am, test/g++/inherit/Makefile.am, * test/g++/eh/Makefile.am, test/g++/debug/Makefile.am, * test/g++/abi/Makefile.am: Fix .test link creation. 2003-06-23 Valentin David * test/disambiguate/Makefile.am, test/expressions/Makefile.am, * test/g++/template/Makefile.am, test/g++/parse/Makefile.am, * test/g++/overload/Makefile.am, test/g++/other/Makefile.am, * test/g++/opt/Makefile.am, test/g++/lookup/Makefile.am, * test/g++/init/Makefile.am, test/g++/inherit/Makefile.am, * test/g++/eh/Makefile.am, test/g++/debug/Makefile.am, * test/g++/abi/Makefile.am: Fix in CLEANFILES * test/disambiguate/variable-01.detcc, * test/disambiguate/typedef-02.detcc, * test/disambiguate/typedef-01.detcc, * test/disambiguate/template-10.detcc, * test/disambiguate/template-09.detcc, * test/disambiguate/template-06.detcc, * test/disambiguate/template-05.detcc, * test/disambiguate/template-04.detcc, * test/disambiguate/function-06.detcc, * test/disambiguate/function-05.detcc, * test/disambiguate/function-04.detcc, * test/disambiguate/function-03.detcc, * test/disambiguate/function-02.detcc, * test/disambiguate/function-01.detcc, * test/disambiguate/enum-04.detcc, test/disambiguate/enum-03.detcc, * test/disambiguate/enum-02.detcc: New. 2003-06-20 Valentin David * lib/Makefile.am, * lib/cxx/TemplateParametersOverlays.str, * lib/cxx/TemplateIdsOverlays.str, * lib/cxx/TemplateDeclarationsOverlays.str, * lib/cxx/SpecifiersOverlays.str, * lib/cxx/SimpleTypeSpecifiersOverlays.str, * lib/cxx/NamespacesOverlays.str, * lib/cxx/MemberSpecificationsOverlays.str, * lib/cxx/IdExpressionsOverlays.str, * lib/cxx/DeclarationsOverlays.str, * lib/cxx/CompoundStatementsOverlays.str, * lib/cxx/ClassSpecifiersOverlays.str, * lib/cxx/BaseSpecifiersOverlays.str, * lib/cxx/Makefile.am, * lib/prelude/Strings.str, * lib/prelude/Overlays.str, * lib/prelude/Options.str, * lib/prelude/Makefile.am, * lib/prelude/Layouts.str, * lib/prelude/Identifier.str, * lib/prelude/Conditionals.str, * lib/prelude/Booleans.str, * test/disambiguate/class-02.cc, * test/disambiguate/class-03.cc, * test/disambiguate/class-04.cc, * test/disambiguate/factorial-01.cc, * test/disambiguate/power-01.cc, * test/disambiguate/power-02.cc, * test/disambiguate/template-01.cc, * test/disambiguate/template-02.cc, * test/disambiguate/template-03.cc, * test/disambiguate/template-04.cc, * test/disambiguate/template-05.cc * test/disambiguate/template-09.cc, * test/disambiguate/template-10.cc, * test/disambiguate/union-01.detcc, * test/disambiguate/union-01.cc, * test/disambiguate/type-01.detcc, * test/disambiguate/type-01.cc, * test/disambiguate/test-04.detcc, * test/disambiguate/test-04.cc, * test/disambiguate/test-03.detcc, * test/disambiguate/test-03.cc, * test/disambiguate/test-02.detcc, * test/disambiguate/test-02.cc, * test/disambiguate/test-01.detcc, * test/disambiguate/test-01.cc, * test/disambiguate/template-08.detcc, * test/disambiguate/template-08.cc, * test/disambiguate/template-07.detcc, * test/disambiguate/template-07.cc, * test/disambiguate/template-06.cc, * test/disambiguate/template-03.detcc, * test/disambiguate/template-02.detcc, * test/disambiguate/template-01.detcc, * test/disambiguate/struct-01.detcc, * test/disambiguate/struct-01.cc, * test/disambiguate/power-02.detcc, * test/disambiguate/power-01.detcc, * test/disambiguate/parameter-08.detcc, * test/disambiguate/parameter-08.cc, * test/disambiguate/parameter-07.detcc, * test/disambiguate/parameter-07.cc, * test/disambiguate/parameter-06.detcc, * test/disambiguate/parameter-06.cc, * test/disambiguate/parameter-05.detcc, * test/disambiguate/parameter-05.cc, * test/disambiguate/parameter-04.detcc, * test/disambiguate/parameter-04.cc, * test/disambiguate/parameter-03.detcc, * test/disambiguate/parameter-03.cc, * test/disambiguate/parameter-02.detcc, * test/disambiguate/parameter-02.cc, * test/disambiguate/parameter-01.detcc, * test/disambiguate/parameter-01.cc, * test/disambiguate/namespace-05.detcc, * test/disambiguate/namespace-05.cc, * test/disambiguate/namespace-04.detcc, * test/disambiguate/namespace-04.cc, * test/disambiguate/namespace-03.detcc, * test/disambiguate/namespace-03.cc, * test/disambiguate/namespace-02.detcc, * test/disambiguate/namespace-02.cc, * test/disambiguate/namespace-01.detcc, * test/disambiguate/namespace-01.cc, * test/disambiguate/main-02.detcc, * test/disambiguate/main-02.cc, * test/disambiguate/main-01.detcc, * test/disambiguate/main-01.cc, * test/disambiguate/inherit-09.detcc, * test/disambiguate/inherit-09.cc, * test/disambiguate/inherit-08.detcc, * test/disambiguate/inherit-08.cc, * test/disambiguate/inherit-07.detcc, * test/disambiguate/inherit-07.cc, * test/disambiguate/inherit-06.detcc, * test/disambiguate/inherit-06.cc, * test/disambiguate/inherit-05.detcc, * test/disambiguate/inherit-05.cc, * test/disambiguate/inherit-04.detcc, * test/disambiguate/inherit-04.cc, * test/disambiguate/inherit-03.detcc, * test/disambiguate/inherit-03.cc, * test/disambiguate/inherit-02.detcc, * test/disambiguate/inherit-02.cc, * test/disambiguate/inherit-01.detcc, * test/disambiguate/inherit-01.cc, * test/disambiguate/factorial-01.detcc, * test/disambiguate/enum-01.detcc, * test/disambiguate/class-06.detcc, * test/disambiguate/class-06.cc, * test/disambiguate/class-05.cc, * test/disambiguate/class-05.detcc, * test/disambiguate/class-04.detcc, * test/disambiguate/class-03.detcc, * test/disambiguate/class-02.detcc, * test/disambiguate/class-01.detcc, * test/disambiguate/test.test, * test/disambiguate/Makefile.am, * src/disamb/Makefile.am, * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/Makefile.am, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/Kinds.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/IfDebug.str, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCut.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/Ambiguity.str, * src/disamb/specifier/Stop.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/Makefile.am, * src/disamb/specifier/afcxx-specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/specifier/Count.str, * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/Makefile.am, * src/disamb/declarator/afcxx-declarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/IfDebug.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/resolve/Makefile.am, * src/disamb/resolve/afcxx-resolve.str, * src/disamb/declaration/Makefile.am, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/IfDebug.str, * src/disamb/declaration/DeclarationSelect.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/declaration/Declaration.str, * src/disamb/declaration/Ambiguity.str, * src/disamb/namespace/NamespaceNameKinds.str, * src/disamb/namespace/NamespaceDefinitionSelect.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/NamespaceDefinition.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/Makefile.am, * src/disamb/namespace/afcxx-namespace.str, * src/parser/parse-cxx.str, * src/parser/parse-dxx.str, * src/parser/Makefile.am, * config/check-rules.mk, * config/defs.in: New from meta-c++-basic: 2003-06-16 Clement Vasseur * configure.ac, config/check-rules.mk: Use pre-parsed `Cxx.pp.af' and `Dxx.pp.af' instead of `Cxx.pp' and `Dxx.pp'. 2003-06-15 Clement Vasseur * config/check-rules.mk: Make sure the detcc files never produce any ambiguity. Use pretty-print instead of `indent'. * src/disambiguate/TemplateArguments.str: New file. * src/disambiguate/Makefile.am: Add TemplateArguments.str. * src/disambiguate/ClassOrNamespaceTraverse.str, * src/disambiguate/Keys.str, src/disambiguate/NestedNameSpecifier.str: Handle template kinds. * test/disambiguate/template-04.cc: Fix test. * test/disambiguate/template-10.test, test/disambiguate/template-10.cc, * test/disambiguate/template-09.test, test/disambiguate/template-09.cc: New tests. * test/disambiguate/Makefile.am: Add new tests. 2003-06-13 Clement Vasseur * configure.ac, Makefile.am, README, test/Makefile.am, * lib/Makefile.am, src/*/Makefile.am: Cleanup. * src/declaration/*.str, src/declarator/*.str, * src/disambiguate/*.str, src/namespace/*.str, * src/resolve/afcxx-resolve.str, src/typedef/*.str, * lib/cxx/*.str, lib/prelude/*.str: Use `AsFix2-Syntax' from asfix-tools instead of `AsFix-Syntax'. * test/disambiguate/Makefile.am: Remove .astcc2 when `make clean'. * src/undo/Makefile.am, src/unfor/Makefile.am, src/split/Makefile.am: Use Cxx signature from `cxx-grammar' installation instead of `lib/cxx'. 2003-06-12 Clement Vasseur * src/undo/cxx-undo.str: Use |[...]| instead of |[...]c++|. * src/unfor/cxx-unfor.str: Use concrete syntax. * src/unfor/cxx-unfor.meta: New file. 2003-06-03 Clement Vasseur * Makefile.am, src/Makefile.am: Add BOOTCLEAN_SUBDIRS. * src/typedef/Makefile.am, src/unfor/Makefile.am, src/undo/Makefile.am: Use STRINCLUDES, add BOOTCLEANFILES, remove wildcards. * src/undo/cxx-undo.str: Use concrete syntax in rule `Undo'. * src/undo/cxx-undo.meta: Enable `StrategoCxx' concrete syntax in `cxx-undo.str'. 2003-05-26 Clement Vasseur * src/xtc/parse-cxx-det.str: Rename as... * src/xtc/parse-dxx.str: ...this. * config/check-rules.mk, configure.ac, src/xtc/Makefile.am, * src/xtc/parse-dxx.str: Rename cxx-det to dxx everywhere. 2003-05-26 Clement Vasseur * src/declaration/afcpp-declaration.str, * src/declarator/afcpp-declarator.str, * src/disambiguate/afcpp-disambiguate.str, * src/layout/afcpp-rm-layout.str, src/namespace/afcpp-namespace.str, * src/resolve/afcpp-resolve.str, src/specifier/afcpp-specifier.str, * src/split/cpp-split.str, src/typedef/afcpp-typedef.str, * src/undo/cpp-undo.str, src/unfor/cpp-unfor.str, * src/xtc/parse-cpp.str, src/xtc/parse-det-cpp.str: Rename as... * src/declaration/afcxx-declaration.str, * src/declarator/afcxx-declarator.str, * src/disambiguate/afcxx-disambiguate.str, * src/layout/afcxx-rm-layout.str, src/namespace/afcxx-namespace.str, * src/resolve/afcxx-resolve.str, src/specifier/afcxx-specifier.str, * src/split/cxx-split.str, src/typedef/afcxx-typedef.str, * src/undo/cxx-undo.str, src/unfor/cxx-unfor.str, * src/xtc/parse-cxx.str, src/xtc/parse-det-cxx.str: ...these. * Makefile.am, config/check-rules.mk, configure.ac, lib/Makefile.am, * lib/cxx/Makefile.am, src/declaration/afcxx-declaration.str, * src/declaration/Makefile.am, src/declarator/afcxx-declarator.str, * src/declarator/Makefile.am, src/disambiguate/afcxx-disambiguate.str, * src/disambiguate/Makefile.am, src/namespace/afcxx-namespace.str, * src/namespace/Makefile.am, src/layout/afcxx-rm-layout.str, * src/layout/Makefile.am, src/resolve/afcxx-resolve.str, * src/resolve/Makefile.am, src/specifier/afcxx-specifier.str, * src/specifier/Makefile.am, src/split/cxx-split.str, * src/split/Makefile.am, src/typedef/afcxx-typedef.str, * src/typedef/Makefile.am, src/undo/cxx-undo.str, src/undo/Makefile.am, * src/unfor/cxx-unfor.str, src/unfor/Makefile.am, stdconfig, * src/xtc/Makefile.am, src/xtc/parse-det-cxx.str, * src/xtc/parse-cxx.str: Rename Cpp to Cxx everywhere. 2003-05-13 Clement Vasseur * Makefile.am: Remove main repository from XTC_IMPORT, it was not necessary. * stdconfig: Remove CFLAGS, not needed anymore. 2003-05-13 Clement Vasseur * Makefile.am: Update XTC_IMPORT path. Waiting for a proper fix. * stdconfig: Adapt to the Debian xt-strategoxt package: the XT prefix is /usr and CFLAGS are needed to locate the include files. 2003-04-04 Valentin David * src/xtc/parse-cpp.str: Added the "-fi" forgotten paramater for sglr call. 2003-04-02 Valentin David * src/xtc: New directory. * src/xtc/Makefile.am, src/xtc/parse-cpp.str, * src/xtc/parse-det-cpp.str: New files. XTC programs. * Makefile.am: Added the XTC import of cpp-grammar and StrategoXT * configure.ac, src/Makefile.am: Added the xtc subdir 2003-03-28 Clement Vasseur * src/disambiguate/TemplateTraverse.str: Fix a bug: ambiguities in template parameters must prevent `resolv' from choosing this branch for ambiguity resolution. 2003-03-26 Clement Vasseur * src/declaration/Main.r, src/namespace/Main.r, src/typedef/Main.r, * src/declarator/Main.r, src/resolve/Main.r, src/undo/Main.r, * src/disambiguate/Main.r, src/specifier/Main.r, src/unfor/Main.r, * src/layout/Main.r, src/split/Main.r: Rename as... * src/declaration/afcpp-declaration.str, * src/namespace/afcpp-namespace.str, src/typedef/afcpp-typedef.str, * src/declarator/afcpp-declarator.str, src/resolve/afcpp-resolve.str, * src/undo/cpp-undo.str, src/disambiguate/afcpp-disambiguate.str, * src/specifier/afcpp-specifier.str, src/unfor/cpp-unfor.str, * src/layout/afcpp-rm-layout.str, src/split/cpp-split.str: ...these, and rename `main' strategy. * lib/cpp/TemplateIdsOverlays.str (template-id-overlay): Fix the "x' variable not bound" compile error, the variable was not correctly spelled in the argument list. * src/declarator/ParameterDeclarator.str (parameter-declarator-0-overlay, parameter-declarator-1-overlay): Fix a bug: `rhs' and `attr' were missing in the argument list, and bogus variables were used in the code. * Makefile.am, src/layout/Makefile.am, test/Makefile.am, * src/namespace/Makefile.am, lib/Makefile.am, src/resolve/Makefile.am, * lib/asfix/Makefile.am, src/specifier/Makefile.am, * lib/cpp/Makefile.am, src/split/Makefile.am, lib/prelude/Makefile.am, * src/typedef/Makefile.am, src/Makefile.am, src/undo/Makefile.am, * src/declaration/Makefile.am, src/unfor/Makefile.am, * src/declarator/Makefile.am, test/disambiguate/Makefile.am, * src/disambiguate/Makefile.am, config/check-rules.mk: Use Makefile.xt from autoxt, remove useless rules, modifify to work with standard StrategoXT rules. * config/Makefile.am: Add `depcomp' to STANDARD_TOOLS list. * configure.ac: Use USE_XT_PACKAGES macro from autoxt. * stdconfig, bootstrap: Add, from sample StrategoXT package. * README: Fix a typo. 2003-01-03 Robert Anisko * src/disambiguate/TemplateTraverse.r: Replacing the template content by the resolution result seems a good idea. * test/disambiguate/template-07.cc, * test/disambiguate/template-07.detcc, * test/disambiguate/template-07.test: New test case. * test/disambiguate/template-08.cc, * test/disambiguate/template-08.detcc, * test/disambiguate/template-08.test: New test case. * test/disambiguate/Makefile.am: Update. 2002-12-30 Robert Anisko * test/disambiguate/template-05.test: Skip this test. We do not have yet the machinery needed to handle this case. * test/disambiguate/template-06.test: Likewise. * test/disambiguate/template-05.cc: Update. * test/disambiguate/template-06.cc: Update. 2002-12-30 Robert Anisko * test/disambiguate/template-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/template-02.test: Likewise. * test/disambiguate/template-03.test: Likewise. * test/disambiguate/template-01.detcc: New file. * test/disambiguate/template-02.detcc: New file. * test/disambiguate/template-03.detcc: New file. 2002-12-30 Robert Anisko * src/disambiguate/TemplateTraverse.r: Process template parameters properly. * src/disambiguate/TemplateClassDefinition.r: Minor fix. * src/disambiguate/Definition.r: Minor fix. 2002-12-30 Robert Anisko * src/disambiguate/TemplateClassDefinition.r: In the environment, mark the newly defined class template with `class-template-kind' rather than `class-kind'. * src/disambiguate/Kinds.r: Add a new kind for class templates. * src/disambiguate/TemplateDefinition.r: Use the newly introduced strategies to process template definitions in the right way. * src/disambiguate/Parameter.r: New file. When a set of template parameters is found, store it and strip it from all useless informations. * lib/cpp/TemplateParametersOverlays.r: New file. Add overlays for some forms of template parameters. 2002-12-30 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/layout/Main.r: New file. * src/layout/Makefile.am: New file. * src/layout: New directory. Add a filter that removes all layout information from its input term. * lib/prelude/Layouts.r: New file. Add some rules and strategies to manage layout nodes. 2002-12-23 Robert Anisko * test/disambiguate/class-01.test: Update. * test/disambiguate/class-02.test: Update. * test/disambiguate/class-03.test: Update. * test/disambiguate/class-04.test: Update. * test/disambiguate/class-05.test: Update. * test/disambiguate/class-06.test: Update. * test/disambiguate/enum-01.test: Update. * test/disambiguate/factorial-01.test: Update. * test/disambiguate/inherit-01.test: Update. * test/disambiguate/inherit-02.test: Update. * test/disambiguate/inherit-03.test: Update. * test/disambiguate/inherit-04.test: Update. * test/disambiguate/inherit-05.test: Update. * test/disambiguate/inherit-06.test: Update. * test/disambiguate/inherit-07.test: Update. * test/disambiguate/inherit-08.test: Update. * test/disambiguate/inherit-09.test: Update. * test/disambiguate/main-01.test: Update. * test/disambiguate/main-02.test: Update. * test/disambiguate/namespace-01.test: Update. * test/disambiguate/namespace-02.test: Update. * test/disambiguate/namespace-03.test: Update. * test/disambiguate/namespace-04.test: Update. * test/disambiguate/namespace-05.test: Update. * test/disambiguate/parameter-01.test: Update. * test/disambiguate/parameter-02.test: Update. * test/disambiguate/parameter-03.test: Update. * test/disambiguate/parameter-04.test: Update. * test/disambiguate/parameter-05.test: Update. * test/disambiguate/parameter-06.test: Update. * test/disambiguate/parameter-07.test: Update. * test/disambiguate/parameter-08.test: Update. * test/disambiguate/power-01.test: Update. * test/disambiguate/power-02.test: Update. * test/disambiguate/struct-01.test: Update. * test/disambiguate/test-01.test: Update. * test/disambiguate/test-02.test: Update. * test/disambiguate/test-03.test: Update. * test/disambiguate/test-04.test: Update. * test/disambiguate/type-01.test: Update. * test/disambiguate/union-01.test: Update. 2002-12-23 Robert Anisko * test/disambiguate/test-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/test-02.test: Likewise. * test/disambiguate/test-03.test: Likewise. * test/disambiguate/test-04.test: Likewise. * test/disambiguate/test-01.detcc: New file. * test/disambiguate/test-02.detcc: New file. * test/disambiguate/test-03.detcc: New file. * test/disambiguate/test-04.detcc: New file. 2002-12-23 Robert Anisko * test/disambiguate/struct-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/type-01.test: Likewise. * test/disambiguate/union-01.test: Likewise. * test/disambiguate/struct-01.detcc: New file. * test/disambiguate/type-01.detcc: New file. * test/disambiguate/union-01.detcc: New file. 2002-12-23 Robert Anisko * test/disambiguate/power-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/power-02.test: Likewise. * test/disambiguate/power-01.detcc: New file. * test/disambiguate/power-02.detcc: New file. 2002-12-23 Robert Anisko * test/disambiguate/parameter-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/parameter-02.test: Likewise. * test/disambiguate/parameter-03.test: Likewise. * test/disambiguate/parameter-04.test: Likewise. * test/disambiguate/parameter-05.test: Likewise. * test/disambiguate/parameter-06.test: Likewise. * test/disambiguate/parameter-07.test: Likewise. * test/disambiguate/parameter-08.test: Likewise. * test/disambiguate/parameter-01.detcc: New file. * test/disambiguate/parameter-02.detcc: New file. * test/disambiguate/parameter-03.detcc: New file. * test/disambiguate/parameter-04.detcc: New file. * test/disambiguate/parameter-05.detcc: New file. * test/disambiguate/parameter-06.detcc: New file. * test/disambiguate/parameter-07.detcc: New file. * test/disambiguate/parameter-08.detcc: New file. 2002-12-20 Robert Anisko * test/disambiguate/inherit-06.test: Compare the disambiguated tree to the reference file. * test/disambiguate/inherit-07.test: Likewise. * test/disambiguate/inherit-08.test: Likewise. * test/disambiguate/inherit-09.test: Likewise. * test/disambiguate/main-01.test: Likewise. * test/disambiguate/main-02.test: Likewise. * test/disambiguate/namespace-01.test: Likewise. * test/disambiguate/namespace-02.test: Likewise. * test/disambiguate/namespace-03.test: Likewise. * test/disambiguate/namespace-04.test: Likewise. * test/disambiguate/namespace-05.test: Likewise. * test/disambiguate/inherit-06.detcc: New file. * test/disambiguate/inherit-07.detcc: New file. * test/disambiguate/inherit-08.detcc: New file. * test/disambiguate/inherit-09.detcc: New file. * test/disambiguate/main-01.detcc: New file. * test/disambiguate/main-02.detcc: New file. * test/disambiguate/namespace-01.detcc: New file. * test/disambiguate/namespace-02.detcc: New file. * test/disambiguate/namespace-03.detcc: New file. * test/disambiguate/namespace-04.detcc: New file. * test/disambiguate/namespace-05.detcc: New file. 2002-12-18 Robert Anisko * src/disambiguate/BaseTraverse.r: Revamp with respect to the new namespace tracking scheme. * src/disambiguate/Resolve.r: Restore traversal of base specifiers. * lib/cpp/BaseSpecifiersOverlays.r: Fix. * lib/prelude/Options.r: New file. 2002-12-16 Robert Anisko * lib/cpp/BaseSpecifiersOverlays.r: Add a couple of overlays for class base specifiers. 2002-12-16 Robert Anisko * src/disambiguate/Resolve.r: Restore processing of primary expressions. * src/disambiguate/ResolveCompound.r: Restore processing of primary expressions. * src/disambiguate/PrimaryExpression.r: Use overlays. * lib/cpp/IdExpressionsOverlays.r: Add a new overlay for qualified identifiers. 2002-12-13 Robert Anisko * test/disambiguate/inherit-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/inherit-02.test: Likewise. * test/disambiguate/inherit-03.test: Likewise. * test/disambiguate/inherit-04.test: Likewise. * test/disambiguate/inherit-05.test: Likewise. * test/disambiguate/inherit-01.detcc: New file. * test/disambiguate/inherit-02.detcc: New file. * test/disambiguate/inherit-03.detcc: New file. * test/disambiguate/inherit-04.detcc: New file. * test/disambiguate/inherit-05.detcc: New file. 2002-12-13 Robert Anisko * test/disambiguate/factorial-01.test: Compare the disambiguated tree to the reference file. * test/disambiguate/enum-01.test: Likewise. * test/disambiguate/factorial-01.detcc: New reference file. * test/disambiguate/enum-01.detcc: Likewise. 2002-12-11 Robert Anisko * test/disambiguate/class-01.test: Compare the disambiguated tree to the reference tree. * test/disambiguate/class-02.test: Likewise. * test/disambiguate/class-03.test: Likewise. * test/disambiguate/class-04.test: Likewise. * test/disambiguate/class-05.test: Likewise. * test/disambiguate/class-06.test: Likewise. * test/disambiguate/class-01.detcc: New file. Have an annotated flavor of this test case to check the disambiguation process. * test/disambiguate/class-02.detcc: Likewise. * test/disambiguate/class-03.detcc: Likewise. * test/disambiguate/class-04.detcc: Likewise. * test/disambiguate/class-05.detcc: Likewise. * test/disambiguate/class-06.detcc: Likewise. * test/disambiguate/Makefile.am (CLEANFILES): Update. * config/check-rules.mk: Add rules for producing diffs between disambiguated C++ trees and their reference trees. * configure.ac: Add checks for programs and files relevant to the deterministic flavor of our C++ grammar. 2002-11-21 Robert Anisko * src/disambiguate/Lookup.r: Adapt to the new namespace tracking scheme. * src/disambiguate/ClassOrNamespaceTraverse.r: Adapt to the new namespace tracking scheme. * src/disambiguate/ClassTraverse: Adapt to the new namespace tracking scheme. * src/disambiguate/CheckTypeName.r: Use overlays. * src/disambiguate/CheckNamespaceName.r: Use overlays. * src/disambiguate/CheckClassName.r: Use overlays. * src/disambiguate/TypeAmbiguityCandidate.r: Use overlays. * src/disambiguate/ClassOrNamespaceAmbiguityCandidate.r: Use overlays. * src/disambiguate/NestedNameSpecifier.r: Use overlays. * lib/cpp/IdExpressionsOverlays.r: New. * src/disambiguate/SimpleTypeSpecifierCandidate.r: Use overlays. * src/disambiguate/SimpleTypeSpecifier.r: Use overlays. * src/disambiguate/LocalOrGlobal.r: Use overlays. * src/disambiguate/Resolve.r (resolve-stop, resolve-single): Restore calls to ambiguity and compound-statement. * src/disambiguate/ResolveCompound.r: Likewise. * src/disambiguate/CompoundStatementCandidate.r: Use overlays. * src/disambiguate/CompoundStatement.r: Use overlays. * lib/cpp/CompoundStatementsOverlays.r: New. * src/disambiguate/Ambiguity.r: Add some comments. (ambiguity-stop): New strategy. * lib/prelude/Overlays.r (opt-overlay): Fix. Introducing explicitly the list of children in the overlay prevents from matching an empty list. Quite stupid for optional terms... * src/disambiguate/ClassDefinition.r: Update with respect to opt-overlay. * src/disambiguate/TemplateClassDefinition.r: Likewise. * src/disambiguate/TemplateClassTraverse.r: Likewise. * src/disambiguate/Keys.r: New. Introduce constructors for new kinds of keys in our symbol tables. 2002-11-20 Robert Anisko * src/disambiguate/Resolve.r: Update. * src/disambiguate/ResolveCompound.r: Update. * src/disambiguate/TemplateTraverse.r: New. * src/disambiguate/TemplateTraverseCandidate.r: New. 2002-11-20 Robert Anisko * src/disambiguate/TemplateClassTraverse.r: New. * src/disambiguate/ClassTraverse.r: Adapt to the new namespace scheme. * src/disambiguate/NamespaceTraverse.r: Adapt to the new namespace scheme. * src/disambiguate/ResolveCompound.r: Disable some processing. * src/disambiguate/Resolve.r: Disable some processing temporarily. * src/disambiguate/Main.r: Restore call to the resolution stage. * src/disambiguate/NamespaceDefinition.r: Update list of imported modules. Update layout. * src/disambiguate/ClassDefinition.r: Update layout. * src/disambiguate/TemplateClassDefinition.r: Update layout. 2002-11-20 Robert Anisko * src/disambiguate/TypeDeclarator.r: Adapt to the new namespace scheme. * src/disambiguate/VariableDeclarator.r: Likewise. * src/disambiguate/Definition.r: Restore everything. 2002-11-20 Robert Anisko * src/disambiguate/NamespaceDefinition.r: Give a try to the new namespace tracking method. * src/disambiguate/ClassDefinition.r: Likewise. * src/disambiguate/TemplateClassDefinition.r: Likewise. * src/disambiguate/TemplateDefinition.r: When a template definition is found, remember its list of parameters. * src/disambiguate/Keys.r: New. * src/disambiguate/Main.r: Change some initial values. Shutdown temporarily the resolution stage. * src/disambiguate/Definition.r: Remove some processing during the upcoming changes. 2002-11-19 Robert Anisko * src/disambiguate/VariableDefinitionCandidate.r: Use overlays. * src/disambiguate/TypeDefinitionCandidate.r: Use overlays. 2002-11-19 Robert Anisko * src/disambiguate/VariableDefinition.r: Use overlays. * src/disambiguate/TypeDefinition.r: Use overlays. * src/disambiguate/CompoundStatementCandidate.r: Use overlays. * lib/cpp/MemberSpecificationsOverlays.r: New. * lib/cpp/DeclarationsOverlays.r (simple-declaration-overlay): Add free variables. 2002-11-19 Robert Anisko * src/namespace/NamespaceDefinitionCandidate.r: Fix. Reintroduce two different cases when matching ambiguous namespace definitions. 2002-11-19 Robert Anisko * src/disambiguate/NamespaceDefinition.r: Use overlays. * src/disambiguate/NamespaceDefinitionCandidate.r: Likewise. * lib/cpp/NamespacesOverlays.r: New. 2002-11-19 Robert Anisko * src/disambiguate/TemplateDefinition.r: Be more verbose. * src/disambiguate/TemplateClassDefinition.r: Update. * src/disambiguate/Definition.r: Update. 2002-11-18 Robert Anisko * test/disambiguate/defs.in: Fix. Return true when VERBOSE is not set. * configure.ac (AC_CONFIG_FILES): Fix. Put right prefix for test/disambiguate/defs. 2002-11-13 Akim Demaille * test/disambiguate/defs.in, src/split/README: New for real. * src/declarator/Main.r: Use `+', not `<+'. 2002-10-29 Akim Demaille * src/declarator/FunctionDeclaratorCandidate.r (function-definition-noinit-overlay) (function-definition-init-overlay): New. * src/declarator/ParameterDeclarator.r: Introduce overlays similarly. * src/declarator/FunctionDeclarator.r: Likewise. * src/declarator/Declarator.r: Likewise. * src/declarator/FunctionDeclaratorCandidate.r: Merge into... * src/declarator/FunctionDeclarator.r: this. * src/split/README: New. 2002-10-23 Akim Demaille * src/disambiguate/NamespaceDefinition.r, * src/namespace/NamespaceDefinition.r, * src/namespace/NamespaceDefinitionCandidate.r: Use `+' instead of `<+' when possible. * src/namespace/NamespaceDefinitionCandidate.r (namespace-definition-candidate-0, namespace-definition-candidate-1) (NamespaceDefinitionCandidate-0, NamespaceDefinitionCandidate-1): Merge into... (namespace-definition-candidate, NamespaceDefinitionCandidate): these. 2002-10-23 Akim Demaille * lib/cpp/Makefile.am (CLEANFILES): More of them. 2002-10-23 Akim Demaille * src/namespace/NamespaceDefinitionCandidate.r (namespace-definition-candidate-0) (namespace-definition-candidate-1): Merge as... (namespace-definition-candidate): this. (NamespaceDefinitionCandidate-0, NamespaceDefinitionCandidate-1): Merge as... (NamespaceDefinitionCandidate): this. 2002-10-23 Akim Demaille Have distcheck pass. * README: More information. * src/declaration/Makefile.am, src/declarator/Makefile.am, * src/disambiguate/Makefile.am, src/namespace/Makefile.am, * src/resolve/Makefile.am, src/specifier/Makefile.am, * src/split/Makefile.am, src/typedef/Makefile.am, * src/undo/Makefile.am, src/unfor/Makefile.am, * test/disambiguate/Makefile.am: When compiling, be sure to have -I $(srcdir) first. (CLEANFILES): Defined in terms of $(bin_SCRIPTS). * test/disambiguate/class-01.test: Remove the files we create so that the test be really run. Likewise for all the other scripts. * test/disambiguate/Makefile.am (CLEANFILES): Add *.disambcc. 2002-10-23 Akim Demaille * test/disambiguate/defs.in: New. * test/disambiguate/class-01.test, * test/disambiguate/class-02.test, * test/disambiguate/class-03.test, * test/disambiguate/class-04.test, * test/disambiguate/class-05.test, * test/disambiguate/class-06.test, * test/disambiguate/enum-01.test, * test/disambiguate/factorial-01.test, * test/disambiguate/inherit-01.test, * test/disambiguate/inherit-02.test, * test/disambiguate/inherit-03.test, * test/disambiguate/inherit-04.test, * test/disambiguate/inherit-05.test, * test/disambiguate/inherit-06.test, * test/disambiguate/inherit-07.test, * test/disambiguate/inherit-08.test, * test/disambiguate/inherit-09.test, * test/disambiguate/main-01.test, * test/disambiguate/main-02.test, * test/disambiguate/namespace-01.test, * test/disambiguate/namespace-02.test, * test/disambiguate/namespace-03.test, * test/disambiguate/namespace-04.test, * test/disambiguate/namespace-05.test, * test/disambiguate/parameter-01.test, * test/disambiguate/parameter-02.test, * test/disambiguate/parameter-03.test, * test/disambiguate/parameter-04.test, * test/disambiguate/parameter-05.test, * test/disambiguate/parameter-06.test, * test/disambiguate/parameter-07.test, * test/disambiguate/parameter-08.test, * test/disambiguate/power-01.test, * test/disambiguate/power-02.test, * test/disambiguate/struct-01.test, * test/disambiguate/template-01.test, * test/disambiguate/template-02.test, * test/disambiguate/template-03.test, * test/disambiguate/template-04.test, * test/disambiguate/template-05.test, * test/disambiguate/template-06.test, * test/disambiguate/test-01.test, * test/disambiguate/test-02.test, * test/disambiguate/test-03.test, * test/disambiguate/test-04.test, * test/disambiguate/type-01.test, * test/disambiguate/union-01.test: Use it. * configure.ac: Autoconf 2.54 and Automake 1.7.1. (AC_CHECK_XFILE): Remove now useless AC_SUBST. (AC_CONFIG_FILE): Handle test/disambiguate/defs. 2002-10-18 Akim Demaille * src/namespace/NamespaceDefinitionCandidate.r (NamespaceDefinitionCandidate-1): Normalize ambiguity lists to `Original, Extension'. (namespace-definition-candidate): New. * src/namespace/NamespaceDefinitionSelect.r (NamespaceDefinitionSelect-10, NamespaceDefinitionSelect-11) (namespace-definitionselect-10, namespace-definitionselect-11): Remove. * src/namespace/NamespaceDefinition.r (namespace-definition-single): Adjust. * config/xt-rules.mk (ETAGS_FOR_STRATEGO, ETAGS_FILES, ETAGS_ARGS): New. * test/disambiguate/Makefile.am: Rename all the test scripts as `*.test'. 2002-10-16 Akim Demaille * README: New. 2002-09-06 Akim Demaille * src/declaration/Makefile.am, src/declarator/Makefile.am, * src/disambiguate/Makefile.am, src/namespace/Makefile.am, * src/resolve/Makefile.am, src/specifier/Makefile.am, * src/split/Makefile.am, src/typedef/Makefile.am, * src/undo/Makefile.am, src/unfor/Makefile.am: Use $(SC), not @SC@. 2002-09-04 Robert Anisko * src/disambiguate/ClassDefinition.r: Use overlays. * src/disambiguate/ClassDefinitionCandidate.r: Use overlays. * src/disambiguate/TemplateClassDefinition.r: Match, but do nothing yet. * src/disambiguate/TemplateClassDefinitionCandidate.r: Match, but do nothing yet. * src/disambiguate/Definition.r: Update. * src/disambiguate/Main.r: Update. * lib/prelude/Overlays.r: New file. Define some generic overlays. * lib/prelude/Makefile.am (SRCS): Update. 2002-09-04 Robert Anisko * src/disambiguate/TemplateDefinition.r: Fix. 2002-09-04 Robert Anisko * src/disambiguate/Definition.r: Use new modules. * src/disambiguate/TemplateDefinition.r: New file. * src/disambiguate/TemplateDefinitionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-09-03 Robert Anisko * src/disambiguate/Definition.r: Use new modules. * src/disambiguate/TemplateClassDefinition.r: New file. * src/disambiguate/TemplateClassDefinitionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-09-03 Robert Anisko * lib/cpp/ClassSpecifiersOverlays.r: New file. * lib/cpp/DeclarationsOverlays.r: New file. * lib/cpp/TemplateDeclarationsOverlays.r: New file. * lib/cpp/Makefile.am: Update. 2002-09-03 Robert Anisko * test/disambiguate/template-05.cc: Fix. 2002-09-03 Robert Anisko * lib/cpp/TemplateIdsOverlays.r: New file. * lib/cpp/Makefile.am: Update. Fix list of files. * src/specifier/Stop.r: Update. 2002-09-02 Robert Anisko * test/disambiguate/template-06.cc: New file. * test/disambiguate/template-06: New file. * test/disambiguate/template-05.cc: New file. * test/disambiguate/template-05: New file. * test/disambiguate/template-04.cc: New file. * test/disambiguate/template-04: New file. * test/disambiguate/Makefile.am: Update. 2002-08-30 Robert Anisko * src/specifier/Stop.r: New file. * src/specifier/Makefile.am (SRCS): Update. 2002-08-30 Robert Anisko * test/disambiguate/namespace-05.cc: New file. * test/disambiguate/namespace-05: New file. * test/disambiguate/namespace-04.cc: New file. * test/disambiguate/namespace-04: New file. * test/disambiguate/Makefile.am: Update. 2002-08-30 Robert Anisko * config/check-rules.mk: Update filtering chain. Fix typo. 2002-08-30 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/specifier/Specifier.r: New file. * src/specifier/Main.r: New file. * src/specifier/Increment.r: New file. * src/specifier/Count.r: New file. * src/specifier/Makefile.am: New file. * src/specifier: New directory. * lib/cpp/SimpleTypeSpecifiersOverlays.r: New file. * lib/cpp/SpecifiersOverlays.r: New file. * lib/cpp/Makefile.am: Update. 2002-08-29 Robert Anisko * test/disambiguate/template-03.cc: New file. * test/disambiguate/template-03: New file. * test/disambiguate/template-02.cc: New file. * test/disambiguate/template-02: New file. * test/disambiguate/template-01.cc: New file. * test/disambiguate/template-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-29 Robert Anisko * src/disambiguate/Lookup.r: Remove some debug output. 2002-08-28 Robert Anisko * src/disambiguate/Lookup.r: Fix. * src/disambiguate/Resolve.r: Update. * src/disambiguate/ResolveCompound.r: Update. * src/disambiguate/Ambiguity.r: New file. * src/disambiguate/AmbiguityCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. * test/disambiguate/power-02.cc: New file. * test/disambiguate/power-02: New file. * test/disambiguate/power-01.cc: New file. * test/disambiguate/power-01: New file. * test/disambiguate/factorial-01.cc: New file. * test/disambiguate/factorial-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-28 Robert Anisko * test/disambiguate/class-06.cc: New file. * test/disambiguate/class-06: New file. * test/disambiguate/class-05.cc: New file. * test/disambiguate/class-05: New file. * test/disambiguate/class-04.cc: New file. * test/disambiguate/class-04: New file. * test/disambiguate/Makefile.am: New file. 2002-08-28 Robert Anisko * src/disambiguate/Lookup.r: Fix again. * test/disambiguate/inherit-09.cc: New file. * test/disambiguate/inherit-09: New file. * test/disambiguate/inherit-08.cc: New file. * test/disambiguate/inherit-08: New file. * test/disambiguate/inherit-07.cc: New file. * test/disambiguate/inherit-07: New file. * test/disambiguate/inherit-06.cc: New file. * test/disambiguate/inherit-06: New file. * test/disambiguate/Makefile.am: Update. 2002-08-27 Robert Anisko * test/disambiguate/inherit-05.cc: New file. * test/disambiguate/inherit-05: New file. * test/disambiguate/inherit-04.cc: New file. * test/disambiguate/inherit-04: New file. * test/disambiguate/Makefile.am: Update. 2002-08-27 Robert Anisko * src/disambiguate/BaseTraverse.r: Handle more inheritance forms. * src/disambiguate/Lookup.r: Fix once more. * test/disambiguate/inherit-03.cc: New file. * test/disambiguate/inherit-03: New file. * test/disambiguate/inherit-02.cc: New file. * test/disambiguate/inherit-02: New file. * test/disambiguate/inherit-01.cc: New file. * test/disambiguate/inherit-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-27 Robert Anisko * src/declarator/ParameterDeclarator.r: Update processing of parameter declarators. * src/declarator/ParameterDeclaratorCandidate.r: Update processing of parameter declarators. * test/disambiguate/parameter-03.cc: Fix. 2002-08-27 Robert Anisko * src/declaration/DeclarationCut.r: Update parameter processing. * src/declaration/DeclarationCandidate.r: Update parameter processing. * test/disambiguate/parameter-08.cc: New file. * test/disambiguate/parameter-08: New file. * test/disambiguate/parameter-07.cc: New file. * test/disambiguate/parameter-07: New file. * test/disambiguate/parameter-06.cc: New file. * test/disambiguate/parameter-06: New file. * test/disambiguate/parameter-05.cc: New file. * test/disambiguate/parameter-05: New file. * test/disambiguate/parameter-04.cc: New file. * test/disambiguate/parameter-04: New file. * test/disambiguate/parameter-03.cc: New file. * test/disambiguate/parameter-03: New file. * test/disambiguate/parameter-02.cc: New file. * test/disambiguate/parameter-02: New file. * test/disambiguate/parameter-01.cc: New file. * test/disambiguate/parameter-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-27 Robert Anisko * src/declarator/Main.r: Process declarators in formal parameters. * src/declarator/ParameterDeclaratorCandidate.r: New file. * src/declarator/ParameterDeclarator.r: New file. 2002-08-27 Robert Anisko * src/declaration/DeclarationCut.r: Start handling parameter declarations. * src/declaration/DeclarationCandidate.r: Start handling parameter declarations. * test/disambiguate/main-02.cc: New file. * test/disambiguate/main-02: New file. * test/disambiguate/main-01.cc: New file. * test/disambiguate/main-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-27 Nicolas Tisserand * lib/cpp/Cpp.def: removed 2002-08-26 Nicolas Tisserand * lib/cpp/Makefile.am: Adds CPP_DEF. * config/check-rules.mk: Adds CPP_TBL. * configure.ac: Gets CPP_DEF, CPP_TBL, CPP_PP from cpp-grammar package. 2002-08-26 Robert Anisko * src/disambiguate/Lookup.r: Major fix. * test/disambiguate/type-01.cc: New file. * test/disambiguate/type-01: New file. * test/disambiguate/class-03.cc: New file. * test/disambiguate/class-03: New file. * test/disambiguate/class-02.cc: New file. * test/disambiguate/class-02: New file. * test/disambiguate/Makefile.am: Update. 2002-08-26 Robert Anisko * test/disambiguate/union-01.cc: New file. * test/disambiguate/union-01: New file. * test/disambiguate/struct-01.cc: New file. * test/disambiguate/struct-01: New file. * test/disambiguate/enum-01.cc: New file. * test/disambiguate/enum-01: New file. * test/disambiguate/class-01.cc: New file. * test/disambiguate/class-01: New file. * test/disambiguate/Makefile.am: Update. 2002-08-26 Robert Anisko * src/declaration/DeclarationCandidate.r: Update. * src/declaration/IfDebug.r: Update. 2002-08-26 Robert Anisko * src/declaration/DeclarationCandidate.r: Fix. * config/check-rules.mk: Update. 2002-08-26 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/declaration/DeclarationSelect.r: New file. * src/declaration/DeclarationCut.r: New file. * src/declaration/DeclarationCandidate.r: New file. * src/declaration/Declaration.r: New file. * src/declaration/Main.r: New file. * src/declaration/IfDebug.r: New file. * src/declaration/Ambiguity.r: New file. * src/declaration/Makefile.am: New file. * src/declaration: New directory. 2002-08-26 Robert Anisko * test/disambiguate/namespace-03.cc: New file. * test/disambiguate/namespace-03: New file. * test/disambiguate/namespace-02.cc: New file. * test/disambiguate/namespace-02: New file. * test/disambiguate/namespace-01.cc: New file. * test/disambiguate/namespace-01: New file. * test/disambiguate/Makefile.am: Update. * src/disambiguate/Lookup.r: Major fix. 2002-08-22 Robert Anisko * test/disambiguate/test-04.cc: New file. * test/disambiguate/test-04: New file. * test/disambiguate/test-03.cc: New file. * test/disambiguate/test-03: New file. * test/disambiguate/test-02.cc: New file. * test/disambiguate/test-02: New file. * test/disambiguate/test-01.cc: New file. * test/disambiguate/test-01: New file. * test/disambiguate/Makefile.am: New file. * test/disambiguate: New directory. * test/Makefile.am: New file. * test: New directory. * config/check-rules.mk: New file. * config/Makefile.am: Update. * Makefile.am: Update. * configure.ac: Update. 2002-08-19 Robert Anisko * TODO: Fix typo. 2002-08-19 Robert Anisko * lib/prelude/Booleans.r: New file. * lib/prelude/Conditionals.r: New file. * lib/prelude/Makefile.am (SRCS): Update. 2002-08-15 Robert Anisko * src/disambiguate/Resolve.r: Start handling inheritance. Use base classes specifiers to properly chain environments. * src/disambiguate/ClassTraverse.r: Recurse into base classes specifiers. * src/disambiguate/BaseTraverse.r: New file. * src/disambiguate/BaseTraverseCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-15 Robert Anisko * src/disambiguate/Lookup.r: Add some support for looking up through a graph of environments, rather than a single environment. 2002-08-15 Robert Anisko * src/disambiguate/VariableDefinitionCandidate.r: Avoid recursing into class specifiers, since we may find there declarators not relevant to the current context. * src/disambiguate/Resolve.r: Start processing qualified identifiers in primary expressions. * src/disambiguate/ResolveCompound.r: Start processing qualified identifiers in primary expressions. * src/disambiguate/PrimaryExpression.r: New file. * src/disambiguate/PrimaryExpressionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-14 Robert Anisko * TODO: Update. 2002-08-14 Robert Anisko * src/disambiguate/Kinds.r: New variable kind. * src/disambiguate/Definition.r: Change stop condition. Start processing variable declarations. * src/disambiguate/ResolveCompound.r: Change stop condition. Start processing variable declarations. * src/disambiguate/VariableDeclarator.r: New file. * src/disambiguate/VariableDeclaratorCandidate.r: New file. * src/disambiguate/VariableDefinition.r: New file. * src/disambiguate/VariableDefinitionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-14 Robert Anisko * src/disambiguate/SimpleTypeSpecifier.r: Handle plain (non-nested) type specifiers. * src/disambiguate/ResolveCompound.r: Call some strategies used during the first processing stage to handle local declarations. * src/disambiguate/Definition.r: Update. 2002-08-13 Robert Anisko * src/disambiguate/NestedNameSpecifier.r: Minor fix. 2002-08-13 Robert Anisko * src/disambiguate/Resolve.r: Visit compound statements. * src/disambiguate/CompoundStatement.r: New file. * src/disambiguate/ResolveCompound.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-13 Robert Anisko * src/disambiguate/ClassOrNamespaceTraverse.r: Handle class names, not only namespace names. 2002-08-13 Robert Anisko * src/disambiguate/SimpleTypeSpecifier.r: Process type specifiers. Follow nested names when needed, and disambiguate the final type name. * src/disambiguate/Resolve.r: Do not resolve type name ambiguities from here, other strategies will do it. * src/disambiguate/NamespaceTraverse.r: Fix. The transformed namespace node had a wrong label. * src/disambiguate/Lookup.r: Let the caller save the current namespace, since it sometimes must be avoided. * src/disambiguate/Kinds.r: Add a constructor for namespace aliases. * src/disambiguate/CheckTypeName.r: Save current namespace when calling lookup. * src/disambiguate/CheckEnumName.r: Save current namespace when calling lookup. * src/disambiguate/CheckClassName.r: Save current namespace when calling lookup. * src/disambiguate/CheckNamespaceName.r: New file. * src/disambiguate/ClassOrNamespaceAmbiguity.r: New file. * src/disambiguate/ClassOrNamespaceAmbiguityCandidate.r: New file. * src/disambiguate/ClassOrNamespaceAmbiguityCut.r: New file. * src/disambiguate/ClassOrNamespaceTraverse.r: New file. * src/disambiguate/NestedNameSpecifier.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/disambiguate/SimpleTypeSpecifier.r: Test whether the nested name resolution should start in current or in global namespace. * src/disambiguate/SimpleTypeSpecifierCandidate.r: Be sure to succeed only on candidates with a proper arity. Be more verbose. * src/disambiguate/LocalOrGlobal.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/disambiguate/SimpleTypeSpecifier.r: New file. * src/disambiguate/SimpleTypeSpecifierCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/disambiguate/Lookup.r: Major fix. * src/disambiguate/CheckClassName.r: Use module lookup. * src/disambiguate/CheckEnumName.r: Use module lookup. * src/disambiguate/CheckTypeName.r: Use module lookup. 2002-08-12 Robert Anisko * src/disambiguate/Lookup.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * lib/prelude/Strings.r: New file. * lib/prelude/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/declarator/FunctionDeclarator.r: Fix, this file was not populated in a previous checkin. * src/declarator/FunctionDeclaratorCandidate.r: Fix, this file was not populated in a previous checkin. 2002-08-12 Robert Anisko * src/disambiguate/Definition.r: Do not traverse compound statements at this stage of processing, since we do not want to find local declarations. * src/disambiguate/CompoundStatementCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/declarator/Main.r: Process declarators in function definitions. * src/declarator/FunctionDeclarator.r: New file. * src/declarator/FunctionDeclaratorCandidate.r: New file. * src/declarator/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/disambiguate/Makefile.am (SRCS): Fix. 2002-08-12 Robert Anisko * src/declarator/Main.r: Repair member declarators, not only initializer declarators. * src/declarator/MemberDeclarator.r: New file. * src/declarator/MemberDeclaratorCandidate.r: New file. * src/declarator/Makefile.am (SRCS): Update. 2002-08-12 Robert Anisko * src/disambiguate/Resolve.r: Start traversing namespaces and classes when resolving ambiguities. * src/disambiguate/NamespaceTraverse.r: New file. * src/disambiguate/ClassTraverse.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-07 Robert Anisko * src/disambiguate/TypeDefinition.r: Start processing type definitions. * src/disambiguate/Resolve.r: Minor fix. * src/disambiguate/TypeDeclaratorCandidate.r: New file. * src/disambiguate/TypeDeclarator.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-06 Robert Anisko * src/disambiguate/Main.r: Update. Start performing some ambiguity resolution. * src/disambiguate/Kinds.r: Update. * src/disambiguate/CheckClassName.r: New file. * src/disambiguate/CheckEnumName.r: New file. * src/disambiguate/CheckTypeName.r: New file. * src/disambiguate/Resolve.r: New file. * src/disambiguate/TypeAmbiguity.r: New file. * src/disambiguate/TypeAmbiguityCandidate.r: New file. * src/disambiguate/TypeAmbiguityCut.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-06 Robert Anisko * src/declarator/Makefile.am (SRCS): Update. * src/declarator/Main.r: Normalize `DeclaratorId's. Each `DeclaratorId' should contain an `IdExpression'. * src/declarator/Declarator.r: New file. * src/declarator/InitializerDeclarator.r: New file. * src/declarator/InitializerDeclaratorCandidate.r: New file. * src/declarator/ValidDeclarator.r: New file. * src/declarator/TypeDefinition.r: Remove file. * src/declarator/TypeDefinitionCandidate.r: Remove file. * src/declarator/TypeDefinitionSelect.r: Remove file. 2002-08-05 Robert Anisko * src/declarator/TypeDefinitionSelect.r: New file. * src/declarator/TypeDefinitionCandidate.r: New file. * src/declarator/TypeDefinition.r: New file. * src/declarator/IfDebug.r: New file. * src/declarator/Makefile.am (SRCS): Update. 2002-08-05 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/declarator/Main.r: New file. * src/declarator/Makefile.am: New file. * src/declarator: New directory. 2002-08-05 Robert Anisko * src/disambiguate/Definition.r: Add some support for type declarations. * src/disambiguate/TypeDefinitionCandidate.r: New file. * src/disambiguate/TypeDefinition.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-05 Robert Anisko * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-05 Robert Anisko * src/disambiguate/ClassDefinition.r: When a class is defined, store its name in the symbol table of its outer namespace, and initialize the new namespace. * src/disambiguate/NamespaceDefinition.r: When a namespace is defined, store its name in the symbol table of its outer namespace, and initialize the new namespace. * src/disambiguate/Kinds.r: New file. 2002-08-05 Robert Anisko * src/disambiguate/Definition.r: Start handling classes. * src/disambiguate/ClassDefinition.r: New file. * src/disambiguate/ClassDefinitionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-05 Robert Anisko * src/disambiguate/NamespaceDefinition.r: Recurse. 2002-08-05 Robert Anisko * src/disambiguate/Main.r: Output a trailing blank line on stderr for clarity. * src/typedef/Main.r: Output a trailing blank line on stderr for clarity. * src/namespace/Main.r: Output a trailing blank line on stderr for clarity. 2002-08-05 Robert Anisko * src/disambiguate/Main.r: Start collecting definitions in the parse trees. * src/disambiguate/Definition.r: New file. * src/disambiguate/IfDebug.r: New file. * src/disambiguate/NamespaceDefinition.r: New file. * src/disambiguate/NamespaceDefinitionCandidate.r: New file. * src/disambiguate/Makefile.am (SRCS): Update. 2002-08-05 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/disambiguate/Main.r: New file. * src/disambiguate/Makefile.am: New file. * src/disambiguate: New directory. 2002-08-05 Robert Anisko * src/typedef/Makefile.am (SRCS): Update, one file was added. 2002-08-05 Robert Anisko * src/namespace/Makefile.am: Update. * src/namespace/Main.r: Dot not attempt to disambiguate qualified names at this stage of processing. * src/namespace/NamespaceNameCut.r: Remove file. * src/namespace/NamespaceNameSelect.r: Remove file. * src/namespace/NamespaceNameCandidate.r: Remove file. * src/namespace/NamespaceName.r: Remove file. 2002-08-05 Robert Anisko * src/typedef/TypeDeclarationCandidate.r: Handle declarations of member types in classes. * src/typedef/TypeDeclarationCut.r: Likewise. 2002-08-05 Robert Anisko * src/typedef/TypeDeclarationCut.r: Invert the success and failure conditions. 2002-08-05 Robert Anisko * src/typedef/TypeDeclarationCandidate.r: Update. Add some optional debug output. Add free variables for layout and literals when pattern matching in rules. * src/typedef/TypeDeclarationCut.r: Likewise. * src/typedef/TypeDeclarationSelect.r: Update. * src/typedef/TypeDeclaration.r: Update. * src/typedef/Ambiguity.r: Update. * src/typedef/IfDebug.r: New file. 2002-08-02 Robert Anisko * lib/prelude/Makefile.am: Minor fix. * src/namespace/Main.r: Start disambiguating between class names and namespace names. * src/namespace/NamespaceAliasDefinition.r: New file. * src/namespace/NamespaceAliasDefinitionCandidate.r: New file. * src/namespace/NamespaceName.r: New file. * src/namespace/NamespaceNameCandidate.r: New file. * src/namespace/NamespaceNameCut.r: New file. * src/namespace/NamespaceNameKinds.r: New file. * src/namespace/NamespaceNameSelect.r: New file. * src/namespace/NamespaceDefinitionCut.r: Handle namespace aliases. * src/namespace/NamespaceDefinition.r: Handle namespace aliases. * src/namespace/Makefile.am: Update. 2002-08-02 Robert Anisko * lib/prelude/Identifier.r: Small fix for one character length identifiers. 2002-08-02 Robert Anisko * src/namespace/NamespaceDefinitionCut.r: Update pattern matching rules to handle layout, since we dot perform any implosion on trees before executing this processing stage. Update our handling of identifiers to be able to process AsFix2 parse trees. * src/namespace/Makefile.am: Update include directories. 2002-08-02 Robert Anisko * lib/asfix/AsFix-Syntax.cadef: Add some missing or wrong constructors: `alt', `iter', and `iter-star'. * lib/Makefile.am: Update. * configure.ac: Update. * lib/prelude/Identifier.r: New file. * lib/prelude/Makefile.am: New file. * lib/prelude: New directory. 2002-08-01 Robert Anisko * src/resolve/Main.r: Be more verbose. * src/typedef/TypeDeclarationCut.r: Be more verbose. 2002-08-01 Robert Anisko * src/namespace/NamespaceDefinitionCut.r: Insert wildcards for literals in pattern matching rules. * src/namespace/NamespaceDefinition.r: Update. * src/namespace/Ambiguity.r: Remove. 2002-08-01 Robert Anisko * src/typedef/TypeDeclarationCut.r: Remove debug message. 2002-08-01 Robert Anisko * src/typedef/TypeDeclarationCut.r: Fix pattern matching by adding a missing wildcard for a literal. * src/typedef/TypeDeclarationCandidate.r: Introduce an additional rule. * src/typedef/TypeDeclaration.r: Avoid using if. * src/typedef/Ambiguity.r: Update. * src/typedef/Makefile.am (SRCS): Fix. 2002-07-31 Robert Anisko * src/namespace/NamespaceDefinitionSelect.r: Select correct branches in ambiguous namespace declarations. * src/namespace/NamespaceDefinitionCut.r: Check namespace declarations, guess whether they are actual definitions or extensions. * src/namespace/NamespaceDefinitionCandidate.r: Report ambiguous namespace definitions. * src/namespace/NamespaceDefinition.r: Define a strategy for namespace definition processing. * src/namespace/Main.r: Perform some initializations before traversing the parse tree. 2002-07-30 Robert Anisko * src/typedef/Makefile.am: Fix. * src/Makefile.am: Update. * configure.ac: Update. * src/namespace/NamespaceDefinitionSelect.r: New file. * src/namespace/NamespaceDefinitionCut.r: New file. * src/namespace/NamespaceDefinitionCandidate.r: New file. * src/namespace/NamespaceDefinition.r: New file. * src/namespace/Main.r: New file. * src/namespace/Ambiguity.r: New file. * src/namespace/Makefile.am: New file. * src/namespace: New directory. 2002-07-30 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/resolve/Main.r: New file. * src/resolve/Makefile.am: New file. * src/resolve: New directory. 2002-07-30 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/typedef/TypeDeclarationSelect.r: New file. * src/typedef/TypeDeclarationCut.r: New file. * src/typedef/TypeDeclarationCandidate.r: New file. * src/typedef/TypeDeclaration.r: New file. * src/typedef/Main.r: New file. * src/typedef/Ambiguity.r: New file. * src/typedef/Makefile.am: New file. * src/typedef: New directory. 2002-07-30 Robert Anisko * lib/Makefile.am: Update. * configure.ac: Update. * lib/asfix/AsFix-Syntax.cadef: New file. * lib/asfix/Makefile.am: New file. * lib/asfix: New directory. 2002-07-26 Robert Anisko * src/Makefile.am: Update. * configure.ac: Update. * src/split/Main.r: New file. * src/split/Makefile.am: New file. * src/split: New directory. 2002-07-26 Robert Anisko * lib/cpp/Cpp.def: New file. 2002-07-26 Robert Anisko Initial checkin. 2003-06-20 Valentin David * configure.ac: Add --with-detgen option. * src/import-cxx-cons/Makefile.am: Deleted. * src/import-cxx-cons/import-cxx-cons.str: Deleted. * src/Makefile.am: Delete empty subdirs. * src/syn/ClassSpecifiers.sdf, * src/syn/EnumSpecifiers.sdf, * src/syn/Expressions.sdf, * src/syn/IdExpressions.sdf, * src/syn/Makefile.am, * src/syn/Namespaces.sdf, * src/syn/SimpleTypeSpecifiers.sdf, * src/syn/Specifiers.sdf: Add det tags to generate Dxx. * src/deterministic/Makefile.am: Generate the Dxx grammar. * src/deterministic/Dxx-main.sdf: Deleted. * src/deterministic/Dxx-nocons.sdf: Deleted. * src/deterministic/Dxx.sdf: New. * src/sdf/Makefile.am: Update. 2003-06-18 Valentin David * src/import-cxx-cons/import-cxx-cons.str: Accept markups at any place. * src/deterministic/Dxx-nocons.sdf: Fix PP for OriginalNamespace, and add some bracket attributes. 2003-06-18 Clement Vasseur * Makefile.am: Remove DIST_SUBDIRS. * config/Makefile.am, configure.ac: Remove disambiguate-check. * config/sdf-check.in: Various cleanups. * src/Makefile.am, src/grammar/Makefile.am, * src/deterministic/Makefile.am, test/Makefile.am, * src/cxxsdf/Makefile.am, src/syn/Makefile.am: Rename grammar and signature directories to syn and sig (StrategoXT naming conventions). * src/import-cxx-cons/Makefile.am: Add --verbose 0. Fix CLEANFILES. * INSTALL, COPYING: New files. 2003-06-17 Valentin David * Makefile.am: Add -I config for aclocal. * bootstrap: Remove -I config. * README: Update authors and dependencies (boxedsdf). * NEWS, AUTHORS: New. 2003-06-17 Valentin David * src/import-cxx-cons/Makefile.am, * src/import-cxx-cons/import-cxx-cons.str: New files. * src/deterministic/Dxx.sdf: Deleted file. * src/deterministic/Dxx-main.sdf, * src/deterministic/Dxx-nocons.sdf: New files. * src/deterministic/Makefile.am: Now generate Dxx.sdf with import-cxx-cons tool and Dxx-nocons.sdf. The constructors in Dxx are now the same as Cxx. * src/cxxsdf/Makefile.am: New file. This directory is reseved for Cxx grammar files after using sdf-option and sdf-cons. * src/dxx-to-cxx/Makefile.am, * src/dxx-to-cxx/dxx-to-cxx.str, * src/cxx-to-dxx/Makefile.am, * src/cxx-to-dxx/cxx-to-dxx.str: Deleted files. * configure.ac, * src/Makefile.am: Some directories added or deleted * src/signature/Makefile.am, * src/pp/Makefile.am, * src/sdf/Makefile.am, * src/strategocxx/Makefile.am: Use Dxx. 2003-06-13 Valentin David * config/sdf-check.in: Use Cxx.tbl. * */Makefile.am, bootstrap: autoxt in config * configure.ac: Now --with-sdf-option and --with-boxedsdf. * src/pp/pp-cxx.str: Use the generated grammar. * src/pp/Options.pp: New file. * src/pp/Cxx-pretty.pp: Deleted file. * src/pp/pp-dxx.str: New file. * src/grammar/*.sdf: Pretty-print attributes added! * src/grammar/Makefile.am, * src/deterministic/Makefile.am: Use BoxedSdf. 2003-06-13 Clement Vasseur * README, Makefile.am, configure.ac, bootstrap, src/pp/Makefile.am, * src/dxx-to-cxx/Makefile.am, src/cxx-to-dxx/Makefile.am, * src/strategocxx/Makefile.am: Cleanup. * src/attribute/Makefile.am, src/attribute/asfix-attribute.str: Use AsFix syntax from asfix-tools instead of keeping it in the `lib' directory. * src/grammar/Makefile.am, src/deterministic/Makefile.am: Use `pp-sdf' instead of `pp'. * src/signature/Makefile.am: Generate rtrees for distribution. * lib/Layout.sdf: Move to... * src/grammar/Layout.sdf: this. 2003-06-12 Clement Vasseur * src/strategocxx/CxxVariables.sdf: Remove colliding variables, add some more variables. * src/strategocxx/StrategoCxx.sdf: Handle both |[...]| and |[...]c++| syntaxes. 2003-06-03 Clement Vasseur * configure.ac: Add sdf/Makefile and strategocxx/Makefile * Makefile.am, src/Makefile.am: Add BOOTCLEAN_SUBDIRS * src/sdf/Makefile.am: New. Create a sdf-option'ed version of the grammar. We need this for concrete syntax implementation. * src/strategocxx/Makefile.am: New StrategoCxx grammar, for using Cxx syntax in Stratego code. * src/strategocxx/StrategoCxx.sdf: New. The StrategoCxx grammar. * src/strategocxx/CxxVariables.sdf: New. Declare StrategoCxx variables. 2003-05-26 Clement Vasseur * src/cxx-to-det/cxx-to-det.str, src/det-to-cxx/det-to-cxx.str: Rename as... * src/cxx-to-dxx/cxx-to-dxx.str, src/dxx-to-cxx/dxx-to-cxx.str: ...these. * configure.ac, src/Makefile.am, src/deterministic/Dxx.sdf, * src/deterministic/Makefile.am, src/signature/Makefile.am, * src/dxx-to-cxx/Makefile.am, src/dxx-to-cxx/dxx-to-cxx.str, * src/cxx-to-dxx/Makefile.am, src/cxx-to-dxx/cxx-to-dxx.str, * src/pp/pp-cxx.str: Rename cxx-det to dxx everywhere. 2003-05-26 Clement Vasseur * src/deterministic/Cpp-det.sdf, src/grammar/Cpp.sdf, * src/pp/Cpp-pretty.pp, src/cpp-to-det/cpp-to-det.str, * src/det-to-cpp/det-to-cpp.str, src/pp/pp-cpp.str: Rename as... * src/deterministic/Cxx-det.sdf, src/grammar/Cxx.sdf, * src/pp/Cxx-pretty.pp, src/cxx-to-det/cxx-to-det.str, * src/det-to-cxx/det-to-cxx.str, src/pp/pp-cxx.str: ...these. * configure.ac, src/Makefile.am, src/grammar/Cxx.sdf, * src/grammar/Makefile.am, src/deterministic/Cxx-det.sdf, * src/deterministic/Makefile.am, test/Makefile.am, * src/signature/Makefile.am, src/det-to-cxx/Makefile.am, * src/det-to-cxx/det-to-cxx.str, src/cxx-to-det/Makefile.am, * src/cxx-to-det/cxx-to-det.str, src/pp/pp-cxx.str, src/pp/Makefile.am: Rename cpp to cxx everywhere. 2003-05-14 Quôc Peyrot * src/pp/Makefile.am (STRINCLUDES): Remove it. This variable was bugged since $(XTCFLAGS) already has "-I" inside. (SCFLAGS): Add "--verbose 0 $(XTCFLAGS)". 2003-05-13 Clement Vasseur * stdconfig: Remove CFLAGS, useless now. * Makefile.am: Remove XTC_IMPORT, it was not necessary. 2003-05-13 Clement Vasseur * stdconfig: Adapt to the Debian xt-strategoxt package: the XT prefix is /usr and CFLAGS are needed to locate the include files. * Makefile.am: Change the StrategoXT path in XTC_IMPORT. NOTE: temporary fix, not supposed to stay like that. * src/pp/Makefile.am: Use $(XTCFLAGS) instead of $(XTC)/share/xtc, so that Makefile.am does not depend on /share/xtc which is not the same in the xt-strategoxt Debian package. 2003-04-10 Valentin David * Makefile.am: Added StrategoXT to the XTC_IMPORT. * configure.ac, src/Makefile: Update. * src/pp: New Directory. * src/pp/Makefile: New file. * src/pp/pp-cpp.str: New file. Pretty printer. * src/pp/unbox.str: New file. Tool for abox transformation. * src/pp/Cpp-pretty.pp: New file. Pretty print table. 2003-03-28 Clement Vasseur * configure.ac: Expect automake 1.7.3. * config/sdf-check.in: Remove stderr redirection to /dev/null when parsing test files. * lib/sdf.cons.tbl, lib/stratego.pp, lib/stratego.pp.af: Remove. * lib/Makefile.am: Remove `sdf.cons.tbl', `stratego.pp', and `stratego.pp.af' from EXTRA_DIST. * src/attribute/Makefile.am, src/det-to-cpp/Makefile.am, * src/cpp-to-det/Makefile.am: Use STRINCLUDES for `sc' includes. Don't use wildcards in EXTRA_DIST and CLEANFILES. 2003-03-26 Clement Vasseur * config/sdf-check.in: Fix @SGLR@ that should be used as @SGLR@/bin/sglr. Replace `unparsePT' with `asfix-yield'. * src/grammar/Makefile.am, src/deterministic/Makefile.am: Fix a bug that made the generated `Cpp.tbl' useless: don't forget to set PGEN_FLAGS to "-m $*" in Makefiles that invoke `sdf2table'. 2003-03-25 Clement Vasseur * src/attribute/Main.r, src/cpp-to-det/Main.r, src/det-to-cpp/Main.r: Rename as... * src/attribute/asfix-attribute.str, src/cpp-to-det/cpp-to-det.str, * src/det-to-cpp/det-to-cpp.str: ...these, and rename `main' strategy. * Makefile.am, lib/Makefile.am, src/Makefile.am, * src/attribute/Makefile.am, src/grammar/Makefile.am, * src/deterministic/Makefile.am, src/cpp-to-det/Makefile.am, * src/det-to-cpp/Makefile.am, src/signature/Makefile.am: Use Makefile.xt from autoxt, remove useless rules, modifify to work with standard StrategoXT rules. * config/Makefile.am: Add `depcomp' to STANDARD_TOOLS list. * configure.ac: Use USE_XT_PACKAGES macro from autoxt. * stdconfig, bootstrap: Add, from sample StrategoXT package. * README: Fix a typo. 2003-01-03 Robert Anisko * lib/Layout.sdf: Add the right follow restrictions on layout, to avoid weird parsing ambiguities when using comments. 2002-12-23 Robert Anisko * src/deterministic/Cpp-det.sdf: In some cases, a same piece of text can be parsed both as an expression or a declaration. Add an annotation rule for expressions. * src/cpp-to-det/Main.r: Handle this new case. * src/det-to-cpp/Main.r: Handle this new case. 2002-12-20 Robert Anisko * src/deterministic/Cpp-det.sdf: Add a rule to be able to annotate original definitions of namespaces. * src/cpp-to-det/Main.r: Update with respect to this new rule. * src/det-to-cpp/Main.r: Update with respect to this new rule. 2002-12-10 Robert Anisko * src/Makefile.am (SUBDIRS): Update. * configure.ac: Update. * src/cpp-to-det/Main.r: New file. Provide a filter that converts C++ abstract syntax trees into deterministic C++. * src/cpp-to-det/Makefile.am: New file. * src/cpp-to-det: New directory. 2002-12-10 Robert Anisko * src/Makefile.am (SUBDIRS): Update. * configure.ac: Update. * src/det-to-cpp/Main.r: New. Provide a filter that converts C++ programs annoted for deterministic parsing into usual C++ programs. * src/det-to-cpp/Makefile.am: New file. * src/det-to-cpp: New directory. 2002-12-10 Robert Anisko * src/signature/Makefile.am: Build a signature for the deterministic flavor of the grammar. 2002-12-05 Robert Anisko * src/deterministic/Cpp-det.sdf: Add enum related rules. 2002-12-05 Robert Anisko * src/deterministic/Cpp-det.sdf: Add rules for delimiting nested name specifiers. 2002-12-04 Robert Anisko * src/deterministic/Cpp-det.sdf: Add rules for type identifiers. Use prefer to make the rules in this module override the original rules of the C++ grammar. 2002-12-04 Robert Anisko * 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 * 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. 2002-12-03 Robert Anisko * configure.ac: Update. * src/Makefile.am (SUBDIRS): Update. * test/Makefile.am: Remove disambiguation tests. * src/disambiguate: Remove directory. This filter is obsolete. 2002-10-16 Akim Demaille * README: New. 2002-08-12 Robert Anisko * src/grammar/BooleanLiterals.sdf: Remove some debugging rules. * src/grammar/CharacterLiterals.sdf: Likewise. * src/grammar/Expressions.sdf: Likewise. * src/grammar/FloatingLiterals.sdf: Likewise. * src/grammar/Identifiers.sdf: Likewise. * src/grammar/IntegerLiterals.sdf: Likewise. * src/grammar/Literals.sdf: Likewise. * src/grammar/PrimaryExpressions.sdf: Likewise. * src/grammar/StringLiterals.sdf: Likewise. 2002-08-05 Robert Anisko * src/grammar/MemberSpecifications.sdf: Rewrite the rules that produce `MemberDeclarator' to avoid useless conflicts. 2002-08-01 Robert Anisko * src/grammar/Makefile.am: Generate the pretty printing table. 2002-07-28 Nicolas Tisserand * configure.ac: fix 2002-07-28 Nicolas Tisserand * Makefile.am: include config/xt-rules.mk * config/xt-rules.mk: added .cc -> .dot rules. * TODO: Minor bullshit. * configure.ac: added checks for {sdf-option,tree2dot,dotty}, added --with-{transformers,graphviz}=path options. * src/grammar/Makefile.am: @@ -> $() for tools substitution. 2002-07-25 Robert Anisko * test/Makefile.am: Fix parse table and binaries names. 2002-07-25 Robert Anisko * src/grammar/Makefile.am: Use `sdf-bracket' to avoid losing parentheses. * config/disambiguate-check.in: Update, the generated parse table has been renamed. * config/sdf-check.in: Update, the generated parse table has been renamed. * config/xt-rules.mk: Update. Give a proper module name when generating a parse table, and use `sdf-bracket'. * configure.ac: Look for `sdf-bracket'. 2002-07-25 Robert Anisko * config/xt-rules.mk: Update. 2002-07-25 Robert Anisko * config/disambiguate-check.in: Update. * src/disambiguate/Makefile.am: Change the name of the compiled program to `cpp-disambiguate'. * src/attribute/Makefile.am: Change the name of the compiled program to `asfix-attribute'. * src/grammar/Makefile.am: Use `sdf-option' to fix the grammar before passing it to `sdf2sig'. 2002-07-25 Robert Anisko * src/grammar/Main.sdf: Remove. * src/signature/Makefile.am: Update. * src/grammar/Makefile.am: Update. * src/Makefile.am: Update. * config/xt-rules.mk: Update, steal from `meta-sdf-option'. Change our naming scheme in the transformation pipeline. 2002-07-23 Nicolas Tisserand * configure.ac: New tools added. * config/xt-rules.mk: New signature and constructor rules. * src/signature/Makefile.am: New file. * lib/Makefile.am: added distribution of the following files. * lib/stratego.pp: New file. * lib/stratego.pp.af: New file. * lib/sdf.cons.tbl: New file. 2002-07-22 Robert Anisko * src/grammar/*.sdf: Remove constructors, since we can generate them automatically now. 2002-07-18 Nicolas Tisserand * configure.ac: Workaround for autoconf bug. 2002-07-17 Nicolas Tisserand * configure.ac: Added failure for missed path checks. 2002-07-12 Robert Anisko * src/grammar/Declarations.sdf: Fix typo. 2002-07-12 Robert Anisko * src/grammar/Declarations.sdf: Add constructors. * src/grammar/Specifiers.sdf: Add constructors. 2002-07-10 Robert Anisko * src/disambiguate/Makefile.am: Update. * Makefile.am: Update. * configure.ac: Update. * config/disambiguate-check.in: Use atdiff, and remove attributes from trees before comparing. * src/attribute/Main.r: New file. * src/attribute/Makefile.am: New file. 2002-07-10 Robert Anisko * src/grammar/AdditiveExpressions.sdf: Fix constructors. * src/grammar/AssignmentExpressions.sdf: Likewise. * src/grammar/ClassSpecifiers.sdf: Likewise. * src/grammar/Declarations.sdf: Likewise. * src/grammar/ElaboratedTypeSpecifiers.sdf: Likewise. * src/grammar/EnumSpecifiers.sdf: Likewise. * src/grammar/EqualityExpressions.sdf: Likewise. * src/grammar/ExplicitInstantiations.sdf: Likewise. * src/grammar/ExplicitSpecializations.sdf: Likewise. * src/grammar/ExpressionStatements.sdf: Likewise. * src/grammar/FunctionDefinitions.sdf: Likewise. * src/grammar/IdExpressions.sdf: Likewise. * src/grammar/InitDeclarators.sdf: Likewise. * src/grammar/Initializers.sdf: Likewise. * src/grammar/IterationStatements.sdf: Likewise. * src/grammar/LinkageSpecifications.sdf: Likewise. * src/grammar/MemberSpecifications.sdf: Likewise. * src/grammar/MultiplicativeExpressions.sdf: Likewise. * src/grammar/NamespaceAliases.sdf: Likewise. * src/grammar/Namespaces.sdf: Likewise. * src/grammar/NewExpressions.sdf: Likewise. * src/grammar/OperatorFunctionIds.sdf: Likewise. * src/grammar/ParameterDeclarations.sdf: Likewise. * src/grammar/PmExpressions.sdf: Likewise. * src/grammar/PostfixExpressions.sdf: Likewise. * src/grammar/PrimaryExpressions.sdf: Likewise. * src/grammar/RelationalExpressions.sdf: Likewise. * src/grammar/SelectionStatements.sdf: Likewise. * src/grammar/ShiftExpressions.sdf: Likewise. * src/grammar/SimpleTypeSpecifiers.sdf: Likewise. * src/grammar/Specifiers.sdf: Likewise. * src/grammar/TemplateDeclarations.sdf: Likewise. * src/grammar/TemplateIds.sdf: Likewise. * src/grammar/TemplateParameters.sdf: Likewise. * src/grammar/TryBlocks.sdf: Likewise. * src/grammar/TypeIds.sdf: Likewise. * src/grammar/UnaryExpressions.sdf: Likewise. * src/grammar/UsingDeclarations.sdf: Likewise. * src/grammar/UsingDirectives.sdf: Likewise. 2002-07-09 Robert Anisko * test/our/disambiguate/template-05.cc.ptree: New file. * test/our/disambiguate/template-04.cc.ptree: New file. * test/our/disambiguate/template-03.cc.ptree: New file. * test/our/disambiguate/template-02.cc.ptree: New file. * test/our/disambiguate/template-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/variable-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/typedef-02.cc.ptree: New file. * test/our/disambiguate/typedef-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/factorial-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/power-02.cc.ptree: New file. * test/our/disambiguate/power-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/function-06.cc.ptree: New file. * test/our/disambiguate/function-05.cc.ptree: New file. * test/our/disambiguate/function-04.cc.ptree: New file. * test/our/disambiguate/function-03.cc.ptree: New file. * test/our/disambiguate/function-02.cc.ptree: New file. * test/our/disambiguate/function-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/enum-04.cc.ptree: New file. * test/our/disambiguate/enum-03.cc.ptree: New file. * test/our/disambiguate/enum-02.cc.ptree: New file. * test/our/disambiguate/enum-01.cc.ptree: New file. 2002-07-09 Robert Anisko * test/our/disambiguate/class-04.cc.ptree: New file. * test/our/disambiguate/class-03.cc.ptree: New file. * test/our/disambiguate/class-02.cc.ptree: New file. * test/our/disambiguate/class-01.cc.ptree: New file. 2002-07-09 Robert Anisko * config/disambiguate-check.in: Fix. Use `.ptree' as an extension for reference parse trees, rather than `.tree'. 2002-07-09 Robert Anisko * config/disambiguate-check.in: Update. Check output against reference parse trees when possible. * config/sdf-check.in: Update. 2002-07-09 Robert Anisko * test/our/disambiguate/template-05.cc: New file. * test/our/disambiguate/template-04.cc: New file. * test/our/disambiguate/template-03.cc: New file. * test/our/disambiguate/template-02.cc: New file. * test/our/disambiguate/template-01.cc: New file. * test/our/disambiguate/power-02.cc: New file. * test/our/disambiguate/power-01.cc: New file. * test/our/disambiguate/factorial-01.cc: New file. 2002-07-03 Robert Anisko * src/disambiguate/Candidate.r: Be more restrictive on the `IdExpression's to check, they should be injected in `PrimaryExpression's. * src/disambiguate/Check.r: Likewise. 2002-07-03 Robert Anisko * src/disambiguate/Identifier.r: Fix typo. * src/disambiguate/Candidate.r: Some `IdExpression's can be candidates for checking. * src/disambiguate/Check.r: In `IdExpression's, check that we really have an identifier, not a type name, class name, or enum name. 2002-07-02 Robert Anisko * src/disambiguate/Declare.r: Update environment when walking through `typename' subtrees. * src/disambiguate/Candidate.r: Nodes with ambiguities are not candidates for checking. 2002-07-02 Robert Anisko * src/grammar/TemplateIds.sdf: Reducing `IdExpression's as `TemplateArgument's produces ambiguous parse trees, because of `AssigmentExpression's. Comment out this rule. 2002-07-01 Nicolas Tisserand * configure.ac: removed autoconf < 2.53 bug workaround. * src/grammar/Makefile.am: cleans Main.def too. 2002-07-01 Nicolas Tisserand * configure.ac: New file. * Makefile.am: New file. * config/xt-rules.mk: New file. * config/ccview.sh: Moved from `etc'. * config/depcomp: New file. * config/Makefile.am: New file. * config/mkinstalldirs: New file. * config/missing: New file. * config/install-sh: New file. * configure.ac: New file. * test/Makefile.am: New file. * src/Makefile.am: New file. * src/grammar/Makefile.am: New file. * src/disambiguate/Makefile.am: New file. * lib/Makefile.am: New file. * etc: Renamed to `config'. * etc/disambiguate-check: Deleted (now generated). * etc/sdf-check: Likewise. * config/sdf-check.in: New file. * config/sdf-check.in: New file. 2002-06-20 Robert Anisko * src/disambiguate/Declare.r: Handle forward definitions of enumerations. 2002-06-20 Robert Anisko * test/our/disambiguate/function-06.cc: New file. * test/our/disambiguate/function-05.cc: New file. 2002-06-20 Robert Anisko * src/grammar/NewExpressions.sdf: Update imports. * src/grammar/TypeIds.sdf: Update imports. * src/grammar/UnaryExpressions.sdf: Update imports. 2002-06-20 Robert Anisko * src/disambiguate/Declare.r: When declaring a type, look for identifiers only in declarators. * src/disambiguate/Identifier.r: Disinguish various types of identifiers. 2002-06-20 Robert Anisko * src/disambiguate/Declare.r: Handle enumerations. 2002-06-20 Robert Anisko * test/our/disambiguate/enum-04.cc: New file. * test/our/disambiguate/enum-03.cc: New file. * test/our/disambiguate/enum-02.cc: New file. * test/our/disambiguate/enum-01.cc: New file. 2002-06-20 Robert Anisko * src/disambiguate/Declare.r: Handle forward definitions of classes. * src/disambiguate/Identifier.r: Be less restrictive when looking for identifiers. 2002-06-20 Nicolas Tisserand * TODO: New file 2002-06-19 Robert Anisko * src/grammar/InitDeclarators.sdf (InitDeclaratorList): Fix. `InitDeclaratorList' cannot be empty. 2002-06-19 Robert Anisko * test/our/disambiguate/function-04.cc: New file. * test/our/disambiguate/function-03.cc: New file. * test/our/disambiguate/function-02.cc: New file. * test/our/disambiguate/function-01.cc: New file. 2002-06-19 Robert Anisko * Makefile: Update. * test/our/disambiguate/variable-01.cc: New file. * test/our/disambiguate/typedef-02.cc: New file. * test/our/disambiguate/typedef-01.cc: New file. * test/our/disambiguate/class-04.cc: New file. * test/our/disambiguate/class-03.cc: New file. * test/our/disambiguate/class-02.cc: New file. * test/our/disambiguate/class-01.cc: New file. * etc/disambiguate-check: New file. * src/disambiguate/Typedef.r: New file. * src/disambiguate/Main.r: New file. * src/disambiguate/Kinds.r: New file. * src/disambiguate/Identifier.r: New file. * src/disambiguate/Disambiguate.r: New file. * src/disambiguate/Declare.r: New file. * src/disambiguate/Declaration.r: New file. * src/disambiguate/Check.r: New file. * src/disambiguate/Candidate.r: New file. * src/disambiguate/Ambiguity.r: New file. * lib/asfix/AsFixTrees.r: New file. * lib/asfix/AsFixTerms.r: New file. * lib/asfix/AsFixSorts.r: New file. * lib/asfix/AsFixProductions.r: New file. * lib/asfix/AsFixAttributes.r: New file. * lib/prelude/Booleans.r: New file. 2002-06-19 Robert Anisko * src/grammar/*.sdf: ...to there. * src/*.sdf: Move from here... * Makefile: Update. 2002-06-19 Robert Anisko * src/Layout.sdf: Remove symbolic link. * Makefile: Update. 2002-06-13 Nicolas Tisserand * etc/ccview.sh: added parse tree viewer script 2002-06-11 Nicolas Tisserand * Makefile: added html generation 2002-06-11 Robert Anisko * src/Main.sdf: Update. * src/Cpp.sdf: Update. * src/*.sdf: Remove all exported sorts excepted `TranslationUnit'. 2002-06-10 Nicolas Tisserand * etc/sdf-cat now useless, so removed * etc/sdf-gen likewise 2002-06-10 Nicolas Tisserand * Makefile: changed table generation scheme, miscellaneous cleanups * etc/sdf-check: removed table generation, miscellaneous cleanups 2002-06-10 Nicolas Tisserand * src: added Main.sdf, Cpp.sdf 2002-06-10 Nicolas Tisserand * src: added symlink Layout.sdf 2002-06-10 Nicolas Tisserand * src/ExplicitInstanciations.sdf: renamed to ExplicitInstantiations.sdf * src/Declarators.sdf: Missing imports * src/IdExpressions.sdf: Likewise * src/TypeIds.sdf: Likewise * src/UnaryExpressions.sdf: Likewise 2002-06-07 Robert Anisko * Makefile (table): New rule. 2002-06-07 Robert Anisko * src/SimpleTypeSpecifiers.sdf: Fix typo. 2002-06-07 Robert Anisko * src/AdditiveExpressions.sdf: Use `cons' instead of `const'. * src/AndExpressions.sdf: Likewise. * src/BaseSpecifiers.sdf: Likewise. * src/CastExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/UnaryExpressions.sdf: Add constructors. 2002-06-07 Robert Anisko * src/TemplateDeclarations.sdf: Add constructors. * src/TemplateIds.sdf: Likewise. * src/TemplateParameters.sdf: Likewise. * src/ThrowExpressions.sdf: Likewise. * src/TranslationUnits.sdf: Likewise. * src/TryBlocks.sdf: Likewise. 2002-06-07 Robert Anisko * src/SelectionStatements.sdf: Add constructors. * src/ShiftExpressions.sdf: Likewise. * src/SimpleTypeSpecifiers.sdf: Likewise. * src/Specifiers.sdf: Likewise. * src/StorageClassSpecifiers.sdf: Likewise. 2002-06-07 Robert Anisko * src/RelationalExpressions.sdf: Add constructors. 2002-06-07 Robert Anisko * src/ParameterDeclarations.sdf: Add constructors. * src/PmExpressions.sdf: Likewise. * src/PostfixExpressions.sdf: Likewise. * src/PrimaryExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/OperatorFunctionIds.sdf: Add constructors. 2002-06-07 Robert Anisko * src/NamespaceAliases.sdf: Add constructors. * src/Namespaces.sdf: Likewise. * src/NewExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/MemberSpecifications.sdf: Add constructors. * src/MultiplicativeExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/LabeledStatements.sdf: Add constructors. * src/LogicalAndExpressions.sdf: Likewise. * src/LogicalOrExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/JumpStatements.sdf: Add constructors. 2002-06-07 Robert Anisko * src/IdExpressions.sdf: Add constructors. * src/Identifiers.sdf: Likewise. * src/InclusiveOrExpressions.sdf: Likewise. * src/InitDeclarators.sdf: Likewise. * src/Initializers.sdf: Likewise. * src/IterationStatements.sdf: Likewise. 2002-06-07 Robert Anisko * src/FunctionDefinitions.sdf: Add constructors. * src/FunctionSpecifiers.sdf: Likewise. 2002-06-07 Robert Anisko * src/ElaboratedTypeSpecifiers.sdf: Add constructors. * src/EnumSpecifiers.sdf: Likewise. * src/EqualityExpressions.sdf: Likewise. * src/ExceptionSpecifications.sdf: Likewise. * src/ExclusiveOrExpressions.sdf: Likewise. * src/ExpressionStatements.sdf: Likewise. * src/Expressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/Declarations.sdf: Add constructors. * src/DeleteExpressions.sdf: Likewise. 2002-06-07 Robert Anisko * src/CastExpressions.sdf: Add constructors. * src/ClassSpecifiers.sdf: Likewise. * src/CompoundStatements.sdf: Likewise. * src/ConditionalExpressions.sdf: Likewise. * src/ConversionFunctionIds.sdf: Likewise. * src/CtorInitializers.sdf: Likewise. * src/CvQualifiers.sdf: Likewise. 2002-06-07 Robert Anisko * src/BaseSpecifiers.sdf: Add constructors. 2002-06-07 Robert Anisko * src/AccessSpecifiers.sdf: Add constructors. * src/AdditiveExpressions.sdf: Likewise. * src/AndExpressions.sdf: Likewise. * src/AsmDefinitions.sdf: Likewise. * src/AssignmentExpressions.sdf: Likewise. 2002-06-06 Robert Anisko * lib/Layout.sdf: Fix. Remove `%' and `%%' comments. 2002-06-04 Robert Anisko * Makefile: New. 2002-06-04 Robert Anisko Initial checkin.