eu.cqse.check.framework.preprocessor.c.new_c_preprocessor

Class ParsedMacroProvider

java.lang.Object

eu.cqse.check.framework.preprocessor.c.new_c_preprocessor.ParsedMacroProvider

public class ParsedMacroProvider
extends java.lang.Object

Encapsulates a IMacroProvider and stores all new macros as MacroDefinition (already scanned and parsed).

Constructor Summary

Constructors

Constructor and Description
ParsedMacroProvider(IMacroProvider innerProvider) Constructor.

Method Summary

Modifier and Type	Method and Description
void	define(java.lang.String definitionText, TextRegionLocation location) Defines a macro.
java.util.Collection<MacroDefinition>	getAllDefines() Returns all currently defined macros (for debugging/testing/debug service).
MacroDefinition	getDefinition(java.lang.String name) Returns the current definition of the macro with the given name.
boolean	isDefined(java.lang.String name) Returns whether the given macro name is defined (at the current preprocessing location).
void	undefine(java.lang.String name) Undefines a macro.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParsedMacroProvider

public ParsedMacroProvider(IMacroProvider innerProvider)

Constructor.

Method Detail

isDefined

public boolean isDefined(java.lang.String name)

Returns whether the given macro name is defined (at the current preprocessing location).

getDefinition

public MacroDefinition getDefinition(java.lang.String name)

Returns the current definition of the macro with the given name. Returns null if isDefined(String) returns false.

define

public void define(java.lang.String definitionText,
                   TextRegionLocation location)

Defines a macro. Parses the macro to a MacroDefinition and stores that with MacroDefinition.macroName as key.

Parameters:

definitionText - the macro definition without leading '#' and 'define'.

undefine

public void undefine(java.lang.String name)

Undefines a macro.

getAllDefines

public java.util.Collection<MacroDefinition> getAllDefines()

Returns all currently defined macros (for debugging/testing/debug service).