Class StrategyDefinition

Method Details

• delete

  public void delete()

  Overrides:

  delete in class ModuleItem

• getLhs

  public Term getLhs()

  Get the left-hand side of the strategy definition as a term.

• getRhs

  public StrategyExpression getRhs()

  Get the strategy definition.

• getStrategy

  public RewriteStrategy getStrategy()

  Get the named strategy being defined.

• isNonexec

  public boolean isNonexec()

  Whether the strategy definition has the nonexec attribute.

• hasCondition

  public boolean hasCondition()

  Whether the strategy definition has a condition.

• getCondition

  public Condition getCondition()

  Get the condition of the strategy definition.

• getLabel

  public String getLabel()

  Get the label attribute.

• 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 strategy definition.

• equal

  public boolean equal(StrategyDefinition other)

  Check whether two strategy definition are the same.