ua.gradsoft.termware.transformers.general
Class PrintStringTransformer

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

public class PrintStringTransformer
extends AbstractBuildinTransformer

Author:
rssh

Field Summary
static PrintStringTransformer 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 PrintStringTransformer 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