ua.gradsoft.termware.transformers.general
Class WhereTransformer

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

public final class WhereTransformer
extends AbstractBuildinTransformer

Perform assigments

Author:
rssh

Field Summary
static WhereTransformer INSTANCE
           
 
Method Summary
 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 WhereTransformer 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