Class Hook

java.lang.Object
es.ucm.maude.bindings.Hook
public class Hook extends Object
Special operators defined on the external language.

  • Constructor Details

    • Hook

      public Hook()

  • Method Details

    • delete

      public void delete()

    • swigReleaseOwnership

      public void swigReleaseOwnership()

    • swigTakeOwnership

      public void swigTakeOwnership()

    • run

      public Term run(Term term, HookData data)
      Method called by the hook.

      Parameters:
      term - The term being reduced or rewritten.
      data - Data associated to the hook.

      Returns:
      The reduced or rewritten term, or a null value in case
      no rewrite is possible.