Class Rule

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.

• isNarrowing

  public boolean isNarrowing()

  Whether the rule has the narrowing attribute.

• isNonexec

  public boolean isNonexec()

  Whether the rule has the nonexec attribute.

• hasCondition

  public boolean hasCondition()

  Whether the rule has a condition.

• getCondition

  public Condition getCondition()

  Get the condition of the rule.

• 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 rule.

• equal

  public boolean equal(Rule other)

  Check whether two rule are the same.