ua.gradsoft.termware.transformers.string
Class StringMatchesTransformer

java.lang.Object
  extended by ua.gradsoft.termware.AbstractBuildinTransformer
      extended by ua.gradsoft.termware.transformers.string.StringMatchesTransformer
All Implemented Interfaces:
ITermTransformer

public class StringMatchesTransformer
extends AbstractBuildinTransformer

Author:
rssh

Field Summary
static StringMatchesTransformer INSTANCE
           
 
Method Summary
static Term static_transform(Term t, TermSystem system, TransformationContext ctx)
           
 Term transform(Term t, TermSystem system, TransformationContext ctx)
          attempt to transform term t .
 
Methods inherited from class ua.gradsoft.termware.AbstractBuildinTransformer
getDescription, getName, getSource
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final StringMatchesTransformer INSTANCE
Method Detail

transform

public Term transform(Term t,
                      TermSystem system,
                      TransformationContext ctx)
               throws TermWareException
Description copied from interface: ITermTransformer
attempt to transform term t .

Parameters:
t - - term to transform
system - - system which give us access to ebvironment.
ctx - - context of transformation.
Returns:
- transformed term.
Throws:
TermWareException

static_transform

public static Term static_transform(Term t,
                                    TermSystem system,
                                    TransformationContext ctx)
                             throws TermWareException
Throws:
TermWareException