ua.gradsoft.termware
Class DefaultFacts.MethodTransformer

java.lang.Object
  extended by ua.gradsoft.termware.AbstractBuildinTransformer
      extended by ua.gradsoft.termware.DefaultFacts.MethodTransformer
All Implemented Interfaces:
ITermTransformer
Enclosing class:
DefaultFacts

public static class DefaultFacts.MethodTransformer
extends AbstractBuildinTransformer

Transformer, wrapped arround method.


Constructor Summary
DefaultFacts.MethodTransformer(DefaultFacts facts, Method method)
           
 
Method Summary
 String getDescription()
          get description of transformer.
 String getName()
          get name of transformer.
 boolean internalsAtFirst()
           
 Term transform(Term t, TermSystem system, TransformationContext ctx)
          transform term t in system system with transformation context ctx
 
Methods inherited from class ua.gradsoft.termware.AbstractBuildinTransformer
getSource
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DefaultFacts.MethodTransformer

public DefaultFacts.MethodTransformer(DefaultFacts facts,
                                      Method method)
Method Detail

internalsAtFirst

public boolean internalsAtFirst()

getDescription

public String getDescription()
Description copied from class: AbstractBuildinTransformer
get description of transformer. Default behaviour -- return the value of annotation @TransformerDescription binded to this.getClass().

Specified by:
getDescription in interface ITermTransformer
Overrides:
getDescription in class AbstractBuildinTransformer
See Also:
TransformerDescription

getName

public String getName()
Description copied from class: AbstractBuildinTransformer
get name of transformer. Default behaviour -- return the value of annotation @TransformerName binded to this.getClass().

Specified by:
getName in interface ITermTransformer
Overrides:
getName in class AbstractBuildinTransformer
Returns:
name of transformer.
See Also:
TransformerName

transform

public Term transform(Term t,
                      TermSystem system,
                      TransformationContext ctx)
               throws TermWareException
transform term t in system system with transformation context ctx

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