|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectua.gradsoft.termware.AbstractBuildinTransformer
ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
public class GetRulesetTransformer
getRuleset(x) - return ruleset of system with name 'x'
| Constructor Summary | |
|---|---|
GetRulesetTransformer()
|
|
| Method Summary | |
|---|---|
String |
getDescription()
get description of transformer. |
String |
getName()
get name of transformer. |
boolean |
internalsAtFirst()
|
static Term |
static_transform(Term t,
TermSystem sys,
TransformationContext ctx)
transform getRuleset(t) to set-term with all rules from t |
Term |
transform(Term t,
TermSystem sys,
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 |
| Constructor Detail |
|---|
public GetRulesetTransformer()
| Method Detail |
|---|
public boolean internalsAtFirst()
public Term transform(Term t,
TermSystem sys,
TransformationContext ctx)
throws TermWareException
ITermTransformer t .
t - - term to transformsys - - system which give us access to ebvironment.ctx - - context of transformation.
TermWareExceptionstatic_transform(ua.gradsoft.termware.Term, ua.gradsoft.termware.TermSystem, ua.gradsoft.termware.TransformationContext)
public static Term static_transform(Term t,
TermSystem sys,
TransformationContext ctx)
throws TermWareException
getRuleset(t) to set-term with all rules from t
TermWareExceptionpublic String getDescription()
AbstractBuildinTransformer
getDescription in interface ITermTransformergetDescription in class AbstractBuildinTransformerTransformerDescriptionpublic String getName()
AbstractBuildinTransformer
getName in interface ITermTransformergetName in class AbstractBuildinTransformerTransformerName
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||