Class HookData

java.lang.Object
es.ucm.maude.bindings.HookData
public class HookData extends Object
Data associated to a hook and passed to its callback.

  • Method Details

    • delete

      public void delete()

    • getData

      public StringVector getData()
      Get the data associated to the hook.

    • getSymbol

      public Symbol getSymbol(String name)
      Get the symbol associated to the hook with the given name.

    • getTerm

      public Term getTerm(String name)
      Get the term associated to the hook with the given name.