• Private

    This function builds the words tables associating abstract words to concrete ones given a Gobstones definition of words for a particular domain. It is used by Words to allow it generating lexers that can parse Gobstones programs with any domain in different local languages. It has a type parameter DSPrims, giving a type defining the concrete words of a specific domain for Gobstones.

    PRECONDITION: there are no repeated primitives or concrete strings in any of the components of gbsDef.

    Type Parameters

    Parameters

    • langDef: WordsDef<DSPrims>

      A definition of the concrete words in a specific language of a particular version of Gobstones for the domain given by the type argument.

    Returns GWordsTables

    an instance of GWordsTables with the associations between Gobstones abstract words and the concrete strings established by the definition given.

    Throws

    Error(RepeatedAssociationIn)