kiama 0.9.0 API
kiama.rewriting.Rewriter

class PlusStrategy
[source: kiama/rewriting/Rewriter.scala]
class PlusStrategy(p : => Strategy, q : => Strategy)
extends Strategy
Helper class to contain commonality of choice in non-deterministic choice operator and then-else part of a conditional choice. Only returned by the non-deterministic choice operator.
Value Summary
val lhs : Strategy
val rhs : Strategy
Method Summary
def apply (t : AnyRef) : scala.Option[AnyRef]
Apply this strategy to a term, producing either a transformed term or None, representing a rewriting failure.
Methods inherited from Strategy
<*, <+, +, <
Methods inherited from scala.Function1
scala.Function1.toString, scala.Function1.compose, scala.Function1.andThen
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val lhs : Strategy
val rhs : Strategy
Method Details
def apply(t : AnyRef) : scala.Option[AnyRef]
Apply this strategy to a term, producing either a transformed term or None, representing a rewriting failure.
Overrides
Strategy.apply
kiama 0.9.0 API