ua.gradsoft.termware
Interface ITermRewritingStrategy

All Superinterfaces:
ITermTransformer
All Known Implementing Classes:
AbstractTermRewritingStrategy, BTStrategy, FirstTopStrategy, NFirstTopsStrategy, TopDownStrategy

public interface ITermRewritingStrategy
extends ITermTransformer

general interface for rewriting strategy


Method Summary
 TransformersStar getStar()
          get transformer star
 boolean hasOtherwise()
          if current ruleset contains OTHERWISE($x) entry ? return true if current ruleset contains rule OTHERWISE($x) -> something
 Term transform(Term t, TermSystem system, TransformationContext ctx)
          transform t
 
Methods inherited from interface ua.gradsoft.termware.ITermTransformer
getDescription, getName, getSource
 

Method Detail

transform

Term transform(Term t,
               TermSystem system,
               TransformationContext ctx)
               throws TermWareException
transform t

Specified by:
transform in interface ITermTransformer
Parameters:
t - - term to transform
system - - system which we use
ctx - - context of transformation
Returns:
- transformed term.
Throws:
TermWareException

getStar

TransformersStar getStar()
get transformer star

Returns:
star of transformers

hasOtherwise

boolean hasOtherwise()
if current ruleset contains OTHERWISE($x) entry ? return true if current ruleset contains rule OTHERWISE($x) -> something