File | dfta-format-check.str |
Author | Martin Bravenboer |
Since | unknown |
Format check a term against a DFTA
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) | ||||||||||||||||||
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.
|
|||||||||||||||||||
ATerm | dfta-format-check(Strategy report-errors, Strategy fail-on-error, ATerm dfta) | ||||||||||||||||||
Checks that the current term has the format of the given DFTA.
|
|||||||||||||||||||
ATerm | dftafc-error-start(ATerm dfta) | ||||||||||||||||||
Fails if the state is not one of the allowed start states.
|
|||||||||||||||||||
ATerm | dftafc-report-failure(ATerm t) | ||||||||||||||||||
Report the failure of format checking a term.
|
|||||||||||||||||||
ATerm | dftafc-report-start(ATerm dfta) | ||||||||||||||||||
Report an error if the final state is not a start state.
|
|||||||||||||||||||