Module GenerationEngine.coverageCriteria

Framework to implement a coverage criteria.

Info:

  • Author: Cleverton Hentz

Events

initGrammar Dispatched before the definition of the input grammar.
finalizeGrammar Dispatched after the definition of the input grammar.
initGen Dispatched before the generation execution for the input grammar.
finalizeGen Dispatched after the generation execution for the input grammar.
onTerminal On the terminal definition
onSeq On sequence definition.
onAlt On alternative definition.
onNonTerminal On nonterminal definition.
onProductionRule On production rule definition.
onOptional On optional definition.
onZeroOrMore On zeroOrMore definition.
onOneOrMore On oneOrMore definition.
onOneOrMoreSep On oneOrMoreSep definition.
onIdent On identify definition.
checkSentence Before add a sentence on the result set.
checkTerminal Before execute the terminal operator.
checkNonTerminal Before execute the nonterminal operator.
checkSeq Before execute the sequence operator.
checkAlt Before execute the alternative operator.
checkZeroOrMore Before execute the ZeroOrMore operator.
checkOneOrMore Before execute the OneOrMore operator.
checkOneOrMoreSep Before execute the OneOrMoreSep operator.
checkIdent Before execute the OneOrMoreSep operator.

Functions

setCoverageCriteria Configure a coverage criteria to a framework instance.
setRunConfig Configure a runtime configuration to a framework instance.
setStartSymbol Configure the start symbol to a framework instance.
createCC Create a new framework instance to be used

Local Functions

doThings Event dispach function.


Events

initGrammar
Dispatched before the definition of the input grammar.
finalizeGrammar
Dispatched after the definition of the input grammar.
  • metaGrammar
initGen
Dispatched before the generation execution for the input grammar.
  • maxCycles
  • maxTreeHeight
  • runConfig
  • runGrammar
finalizeGen
Dispatched after the generation execution for the input grammar.
  • rslFunc Function to add a element on the result set.
  • rslDebug Function to add information on the debug file.
onTerminal
On the terminal definition
  • str Terminal symbol
onSeq
On sequence definition.
onAlt
On alternative definition.
  • n Number of alternatives
onNonTerminal
On nonterminal definition.
  • str Nonterminal symbol.
onProductionRule
On production rule definition.
  • str Nonterminal symbol defined by the production.
onOptional
On optional definition.
onZeroOrMore
On zeroOrMore definition.
onOneOrMore
On oneOrMore definition.
onOneOrMoreSep
On oneOrMoreSep definition.
  • sep Separator
onIdent
On identify definition.
  • context Context table
checkSentence
Before add a sentence on the result set.
  • str The sentece produced
checkTerminal
Before execute the terminal operator.
  • str The sentece produced
checkNonTerminal
Before execute the nonterminal operator.
  • NonTerminal The nonterminal symbol
  • f Is it the first in the prodution rule?
  • prodNT The nonterminal associated to this nonterminal expansion.
  • maxCycles The current height of cycles by used the algorithm.
  • maxTreeHeight The current height of derivation tree used by the algorithm.
  • lookaheadSymbol The first symbol associated to this nonterminal expansion. The MetaInfo.cOper define the value set.
checkSeq
Before execute the sequence operator.
  • f Is it the first in the prodution rule?
  • prodNT The nonterminal associated to this nonterminal expansion.
checkAlt
Before execute the alternative operator.
  • f Is it the first in the prodution rule?
  • prodNT The nonterminal associated to this nonterminal expansion.
checkZeroOrMore
Before execute the ZeroOrMore operator.
  • f Is it the first in the prodution rule?
  • recNum The limit of repetition define for this instance
  • prodNT The nonterminal associated to this nonterminal expansion.
checkOneOrMore
Before execute the OneOrMore operator.
  • f Is it the first in the prodution rule?
  • recNum The limit of repetition define for this instance
  • prodNT The nonterminal associated to this nonterminal expansion.
checkOneOrMoreSep
Before execute the OneOrMoreSep operator.
  • f Is it the first in the prodution rule?
  • termnalSep The separator terminal
  • recNum The limit of repetition define for this instance
  • prodNT The nonterminal associated to this nonterminal expansion.
checkIdent
Before execute the OneOrMoreSep operator.
  • f Is it the first in the prodution rule?
  • context Context table
  • prodNT The nonterminal associated to this nonterminal expansion.

Functions

setCoverageCriteria
Configure a coverage criteria to a framework instance.

Parameters:

  • fcc Framewrok instance
  • cc Coverage criteria instance
setRunConfig
Configure a runtime configuration to a framework instance.

Parameters:

  • fcc Framewrok instance
  • rc Runtime config table
setStartSymbol
Configure the start symbol to a framework instance.

Parameters:

  • fcc Framewrok instance
  • S The start symbol
createCC
Create a new framework instance to be used

Returns:

    A framework instance

Local Functions

doThings
Event dispach function.

Parameters:

  • fcc
  • f
  • fName
  • inInit
generated by LDoc 1.4.5 Last updated 2017-02-24 13:19:22