eu.cqse.check.framework.shallowparser.languages.ada

Class AdaShallowParser

java.lang.Object

eu.cqse.check.framework.shallowparser.framework.ShallowParserBase<AdaShallowParser.EAdaParserStates>

eu.cqse.check.framework.shallowparser.languages.ada.AdaShallowParser

All Implemented Interfaces:

IShallowParser

public class AdaShallowParser
extends ShallowParserBase<AdaShallowParser.EAdaParserStates>

Shallow parser for Ada.

A good introduction to Ada can be found here: http://en.wikibooks.org/wiki/Ada_Programming

A reference is available here: http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html

What this parser does and does not:

• The "with" and "use" statements as well as pragmas are parsed as meta data.
• Packages, types, functions, procedures, entries are parsed as expected.
• It recognizes the nesting of statements (e.g. in loops), but does not parse into the statements. For example, it recognizes an if-statement and provides the list of sub-statements, but does not provide direct access to the if-condition.
• The parser does not support non-ASCII characters in identifiers, although Ada95 supports unicode here. Actually, this is not an issue of the parser but the underlying scanner.

Implementation hints:

• Several rules are registered for any state although they would be expected to occur only in state DECLARATIONS. This is to allow the parser to recover from state STATEMENTS, if an arbitrary chunk of Ada code is to be parsed.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AdaShallowParser.EAdaParserStates The states used in this parser.

Constructor Summary

Constructors

Constructor and Description
AdaShallowParser() Constructor.

Method Summary

Modifier and Type	Method and Description
protected boolean	isFilteredToken(IToken token, IToken previousToken) Template method that can be used to ignore/filter certain tokens.

Methods inherited from class eu.cqse.check.framework.shallowparser.framework.ShallowParserBase

createRecognizer, endWithPossibleContinuation, filterTokens, inAnyState, inState, parse, parseFragment, parseTopLevel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AdaShallowParser

public AdaShallowParser()

Constructor.

Method Detail

isFilteredToken

protected boolean isFilteredToken(IToken token,
                                  IToken previousToken)

Template method that can be used to ignore/filter certain tokens. Default implementation ignores comments.

Maps "and then" and "or else" to simple "and" and "or", as the additional "then" and "else" keywords may shallow parsing much harder.

Overrides:

isFilteredToken in class ShallowParserBase<AdaShallowParser.EAdaParserStates>

previousToken - the last non-filtered token (can be used for context sensitive filtering). This may be null is no previous token exists.