ua.gradsoft.termware.transformers.string
Class StringMatchesTransformer

java.lang.Object
  ua.gradsoft.termware.AbstractBuildinTransformer
      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