XDoc Search Logo
Package:
stratego/rtg
dfta-format-check
Link to XDoc
Author: Martin Bravenboer
Since: Unknown
Summary: Format check a term against a DFTA
Definitions:
dfta-format-check 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.
dfta-format-check Checks that the current term has the format of the given DFTA.
dftafc-error-start Fails if the state is not one of the allowed start states.
dftafc-get-arguments No additional information available
dftafc-report-failure Report the failure of format checking a term.
dftafc-report-start Report an error if the final state is not a start state.
dftafc-state-to-string No additional information available
dftafc-states-to-string No additional information available
rtg-to-string No additional information available