Class StringRecoveryToken


  • class StringRecoveryToken
    extends StringToken
    special StringToken that acts as a wild card. This object is used for error recovery. It collects all TypedStringExps that ate the token.
    • Field Detail

      • failedExps

        final java.util.Set failedExps
        TypedStringExps and ListExps that rejected this token are collected into this set.
    • Constructor Detail

      • StringRecoveryToken

        StringRecoveryToken​(StringToken base)
      • StringRecoveryToken

        StringRecoveryToken​(StringToken base,
                            java.util.Set failedExps)