XDoc Search Logo
Package:
stratego/rtg
format-check
Link to XDoc
Author: Martin Bravenboer<martin.bravenboer@gmail.com>
Since: Unknown
Summary: Format check a term against an RTG This format checker supports any normalized RTG (defined by TATA), including non-deterministic ones. The checker also supports injections.
Definitions:
all-consnil all variant that traverses lists as cons/nil.
bottomup-consnil bttomup variant that traverses lists as cons/nil.
map-consnil No additional information available
one-consnil one variant that traverses lists as cons/nil.
rtg-format-check Checks that the current term has the format of the given RTG. Fails if the current term has an incorrect format. Does not report errors.
rtg-format-check Checks that the current term has the format of one of the specified start non-terminals. Fails if the current term has an incorrect format. Does not report errors.
rtg-format-check Checks that the current term has the format of the given RTG.
rtg-format-check Checks that the current term has the format of one of the specified start non-terminals.
rtg-to-string No additional information available
rtgfc-format-check Main format check traversal. The first alternatives reuses the result of previous type checking. The size of the traversal is therefore the size of the maximal shared tree. The second alternative tries to infer as many types as possible, but at least one. If this fails, then the term is not in the right format.
rtgfc-format-check-error No additional information available
rtgfc-format-check-report No additional information available
rtgfc-generate-type-rule Int application
rtgfc-generate-type-rule String application
rtgfc-generate-type-rule Injection
rtgfc-generate-type-rule Cons application
rtgfc-generate-type-rule Conc application
rtgfc-generate-type-rule Nil application
rtgfc-generate-type-rule Some application
rtgfc-generate-type-rule None application
rtgfc-generate-type-rule Tuple application
rtgfc-generate-type-rule User-defined terminal application
rtgfc-generate-type-rule-deprecated-int Deprecated
rtgfc-generate-type-rule-deprecated-string Deprecated
rtgfc-generate-type-rules Generate format checking dynamic rules for an RTG
rtgfc-get-types No additional information available
rtgfc-has-type Succeeds if t has type nt
rtgfc-has-type No additional information available
rtgfc-is-typed No additional information available
rtgfc-list-has-type No additional information available
rtgfc-new-type Fails if t already has type nt
rtgfc-nonterm-to-string No additional information available
rtgfc-report-type-failure No additional information available
rtgfc-report-types No additional information available
rtgfc-retrieve-types No additional information available
rtgfc-set-type No additional information available
rtgfc-type Infers the types of all terms. This strategy does not fail if some of the terms has no type.
rtgfc-Type No additional information available
rtgfc-type-int No additional information available
rtgfc-type-special No additional information available
rtgfc-type-string No additional information available
rtgfc-types-to-string No additional information available