Class Equation

java.lang.Object
es.ucm.maude.bindings.ModuleItem
es.ucm.maude.bindings.Equation
public class Equation extends ModuleItem
A Maude equation.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    delete()
     
    boolean
    equal(Equation other)
    Check whether two equation are the same.
    Condition
    getCondition()
    Get the condition of the equation.
    String
    getLabel()
    Get the label attribute.
    Term
    getLhs()
    Get the left-hand-side term.
    String
    getLineNumber()
    Get the line number information for this item as formatted by Maude.

    The format of the string is usually filename, line line (module)
    where the second line is the integral line number, and module is
    the module type and name where this item was originally defined.
    String
    getMetadata()
    Get the free text metadata attribute of this statement.
    Term
    getRhs()
    Get the right-hand-side term.
    boolean
    hasCondition()
    Whether the equation has a condition.
    long
    hash()
    Get the hash value of the equation.
    boolean
    isNonexec()
    Whether the equation has the nonexec attribute.
    boolean
    isOwise()
    Whether the equation has the owise attribute.
    boolean
    isVariant()
    Whether the equation has the variant attribute.
    String
    toString()
     

    Methods inherited from class es.ucm.maude.bindings.ModuleItem

    getModule

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class ModuleItem

    • getLhs

      public Term getLhs()
      Get the left-hand-side term.

    • getRhs

      public Term getRhs()
      Get the right-hand-side term.

    • getLabel

      public String getLabel()
      Get the label attribute.

    • isNonexec

      public boolean isNonexec()
      Whether the equation has the nonexec attribute.

    • isOwise

      public boolean isOwise()
      Whether the equation has the owise attribute.

    • isVariant

      public boolean isVariant()
      Whether the equation has the variant attribute.

    • hasCondition

      public boolean hasCondition()
      Whether the equation has a condition.

    • getCondition

      public Condition getCondition()
      Get the condition of the equation.

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • getMetadata

      public String getMetadata()
      Get the free text metadata attribute of this statement.

    • getLineNumber

      public String getLineNumber()
      Get the line number information for this item as formatted by Maude.

      The format of the string is usually filename, line line (module)
      where the second line is the integral line number, and module is
      the module type and name where this item was originally defined. The
      filename may be an actual quoted filename or some special name
      between angle brackets.

    • hash

      public long hash()
      Get the hash value of the equation.

    • equal

      public boolean equal(Equation other)
      Check whether two equation are the same.