Class TestStrategy

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.TestStrategy
public class TestStrategy extends StrategyExpression
Test strategy (either match, xmatch, or amatch).

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class StrategyExpression

    • getDepth

      public int getDepth()
      Get the matching depth limit.

    • getCondition

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

    • getPattern

      public Term getPattern()
      Matching pattern of the test.

    • toString

      public String toString()
      Overrides:
      toString in class StrategyExpression