dfta-format-check

File dfta-format-check.str
Author Martin Bravenboer
Since unknown

Format check a term against a DFTA




Statistics


General
Lines of code 181
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 8 (62% documented)
Rule number 12 (0% documented)
DynamicRule number 0



Strategy summary


dfta-format-check(ATerm dfta) Checks that the current term has the format of the given DFTA dfta-format-check.str
dfta-format-check(Strategy report-errors, Strategy fail-on-error, ATerm dfta) Checks that the current term has the format of the given DFTA dfta-format-check.str
dftafc-error-start(ATerm dfta) Fails if the state is not one of the allowed start states dfta-format-check.str
dftafc-get-arguments n/a dfta-format-check.str
dftafc-report-failure(ATerm t) Report the failure of format checking a term dfta-format-check.str
dftafc-report-start(ATerm dfta) Report an error if the final state is not a start state dfta-format-check.str
dftafc-state-to-string n/a dfta-format-check.str
dftafc-states-to-string n/a dfta-format-check.str

Rule summary


rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str
rtg-to-string n/a dfta-format-check.str



Strategy details


ATerm dfta-format-check(ATerm dfta)
File dfta-format-check.str
Author unknown
Since unknown
 
Parameters
ATerm dfta DFTA

Checks that the current term has the format of the given DFTA.

Fails if the current term has an incorrect format.Does not report errors.


type a -> a

 
ATerm dfta-format-check(Strategy report-errors, Strategy fail-on-error, ATerm dfta)
File dfta-format-check.str
Author unknown
Since unknown
 
Parameters
Strategy report-errors Report errors (true/false)
Strategy fail-on-error Fail if incorrect format (true/false)
ATerm dfta DFTA

Checks that the current term has the format of the given DFTA.


type a -> a

 
ATerm dftafc-error-start(ATerm dfta)
File dfta-format-check.str
Author unknown
Since unknown
 
Parameters
ATerm dfta DFTA

Fails if the state is not one of the allowed start states.


type State -> State

 
ATerm dftafc-report-failure(ATerm t)
File dfta-format-check.str
Author unknown
Since unknown
 
Parameters
ATerm t the checked term.

Report the failure of format checking a term.


type State -> State

 
ATerm dftafc-report-start(ATerm dfta)
File dfta-format-check.str
Author unknown
Since unknown
 
Parameters
ATerm dfta DFTA

Report an error if the final state is not a start state.


type State -> State