ua.gradsoft.termware.transformers.general
Class ApplyTransformer

java.lang.Object
  ua.gradsoft.termware.AbstractBuildinTransformer
      ua.gradsoft.termware.transformers.general.ApplyTransformer

All Implemented Interfaces:

ITermTransformer

public class ApplyTransformer
extends AbstractBuildinTransformer

Transformer for 'apply'.

• apply(x) - synonim to reduce x
• apply(x,y):
  • x is name of system -- apply system x to term y
  • x is JTerm -- invoke method y to object in x
  • x is rule - apply rule to y
  • x is ruleset - apply ruleset to y

note, that apply have syntax shugar -- x.y

Field Summary

static ApplyTransformer

INSTANCE

Method Summary

String	getDescription() get description of transformer.
String	getName() get name of transformer.
static Term	static_transform_conditional_rule(Term origin, Term rule, Term argument, TermSystem system, TransformationContext ctx)
static Term	static_transform_jcall(Term original, Object jObject, Term arg, TermSystem system, TransformationContext ctx)
static Term	static_transform_rule(Term origin, Term rule, Term argument, TermSystem system, TransformationContext ctx)
static Term	static_transform_systemcall(Term original, Term systemLocation, Term arg, TermSystem system, TransformationContext ctx)
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

getSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static ApplyTransformer 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

static_transform_systemcall

public static Term static_transform_systemcall(Term original,
                                               Term systemLocation,
                                               Term arg,
                                               TermSystem system,
                                               TransformationContext ctx)
                                        throws TermWareException

Throws:

TermWareException

static_transform_jcall

public static Term static_transform_jcall(Term original,
                                          Object jObject,
                                          Term arg,
                                          TermSystem system,
                                          TransformationContext ctx)
                                   throws TermWareException

Throws:

TermWareException

static_transform_rule

public static Term static_transform_rule(Term origin,
                                         Term rule,
                                         Term argument,
                                         TermSystem system,
                                         TransformationContext ctx)
                                  throws TermWareException

Throws:

TermWareException

static_transform_conditional_rule

public static Term static_transform_conditional_rule(Term origin,
                                                     Term rule,
                                                     Term argument,
                                                     TermSystem system,
                                                     TransformationContext ctx)
                                              throws TermWareException

Throws:

TermWareException

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

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