An abstract AST subclass representing any pattern. It groups together all the subclasses that are patterns. It represents the corresponding syntactic category in the Gobstones grammar. The common functionality of patterns is that all of them have boundVariables.

As patterns have bound variables, it provides access their names.

Hierarchy (view full)

API

  • The specialized constructor for this AST subclass, transforming this particular case to the general one using super.

    Parameters

    Returns ASTPattern

attributes: OptionsTable = ...

TO DO: Complete

children: ASTChild[]

TO DO: Complete This array may be used for 2 purposes:

  • as a list of heterogeneous childs (several branches, some of them lists)
  • as a list of homogeneous childs (just one list branch, represented directly) The difference is given by the kind of node and its components.
span: Span = ...

TO DO: Complete

tag: symbol

TO DO: Complete

  • get boundVariables(): Token[]
  • TO COMPLETE

    Returns Token[]

  • TO DO: Complete

    Returns string

Auxiliaries