C++ Parser (Front End)

The C++ parser (front end) enables the construction of C++ custom compilers, analysis tools, or source transformation tools. It is a member of SD's family of language front ends, based on first-class infrastructure (DMS) for implementing such custom tools. The C++ front end includes:

• Lexical analysis including ASCII and ISO 8859-1
  • Conversion of literal values (numbers, escaped strings) into native values to enable easy computation over literal values
  • String literals represented internally in Unicode to support 16-bit characters
• Explicit grammar directly implements ISO/IEC 14882:1998 standard
  • Complete ANSI C++ parser
  • Option for Microsoft Visual6 C++ dialect
  • Option for Microsoft Managed C++ dialect
  • Option for Microsoft XBOX 360 C++ dialect
  • Option for GNU C++ dialect
  • Option for SystemC 2.1
• Preprocessor support
  • Controllable include directory paths
  • Option to fully expand preprocessor directives
  • Option to parse include files for definitions
  • Option to parse preserving preprocessor conditional directives, macros and include directives
• Automatic construction of complete abstract syntax tree
  • Capture of comments and formats (shape) of literal values
  • Capture of ambiguous parses during parsing
  • Ability to parse large systems of files into same workspace, enabling interprocedural and cross-file analysis/transformation
  • Ability to parse different languages into same workspace, enabling cross-language analysis/transformation
• Facilities to process syntax trees
  • Complete procedural API to visit/query/update/construct/print syntax trees
  • Source regeneration by prettyprinting and/or fidelity printing of syntax trees with comments and lexical formats
  • Automatically generated source-to-source transformation system
  • Ability to define custom attribute-grammar-based analyzers
• Name and Type resolution
  • Type representation system for all C++ types defined
  • All identifiers resolved to their C++-defined type and stored in symbol tables
  • Automatic deletion of erroneous alternatives of ambiguous parses
  • Ability to condition transforms on identifier type
  • Abilility to visit/query/update symbol tables
• Available as source code to enable complete customization
  • Means to manage multiple language dialects with highly shared common core
• Robustness due to careful testing and application across many customers

Many of these facilities come as a consistent consequence of the front end being built to top of DMS.

Here are some sample tools (many offered by SD as products) built using the C++ front end:

• Preprocessor conditional simplification given fixed assertions about #defined identifiers.
• Source Formatter
• Obfuscator
• Source Code Browser
• Test Coverage
• Profiler
• Duplicate Code Detection and removal
• Component Restructuring tool

Your organization may use DMS with the C++ front end to implement and deploy your own custom tools. The sample tools can be obtained in source form as part of the C++ front end for customization. Semantic Designs is also willing to build custom tools under contract.

For more information: Info@semanticdesigns.com

Copyright 1995-2010 Semantic Designs, Incorporated
DMS and "Design Maintenance System" are registered trademarks of Semantic Designs, Inc.
The SD logo and "Semantic Designs" are registered service marks of Semantic Designs, Inc.
CloneDR, PARLANSE, JOVIAL2C, Thicket, Smart Differencer are trademarks of Semantic Designs, Inc.
The OMG logo is a registered trademark of the Object Management Group, Inc. in the United States and other countries.
To view our Privacy Policy, click here

Comments or problems: Webmaster@semanticdesigns.com