Class Token

java.lang.Object
es.ucm.maude.bindings.Token
public class Token extends Object
A syntactical unit.

  • Constructor Details

    • Token

      public Token(String name)

  • Method Details

    • delete

      public void delete()

    • name

      public String name()
      Get the name of the token.

    • toString

      public String toString()
      Overrides:
      toString in class Object