Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Class LogicSchemaTransformationProcess

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess

All Implemented Interfaces:

LogicProcess, SchemaTransformationProcess

Direct Known Subclasses:

BodySorter, EqualityReplacer, PredicateCleaner, SchemaTransformationProcessPipeline, SchemaUnfolder, SingleDerivationRuleTransformer, TrivialLiteralCleaner

public abstract class LogicSchemaTransformationProcess
extends Object
implements LogicProcess, SchemaTransformationProcess

Constructor Summary

Constructors

Constructor	Description
LogicSchemaTransformationProcess()

Method Summary

Modifier and Type	Method	Description
protected void	checkLogicSchema(LogicSchema logicSchema)
LogicSchema	execute(LogicSchema logicSchema)	execute the transformation

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcess

executeTransformation

Constructor Details

LogicSchemaTransformationProcess

public LogicSchemaTransformationProcess()

Method Details

execute

public LogicSchema execute(LogicSchema logicSchema)

Description copied from interface: LogicProcess

execute the transformation

Specified by:

execute in interface LogicProcess

Parameters:

logicSchema - , usually not null

Returns:

a new logicSchema

checkLogicSchema

protected void checkLogicSchema(LogicSchema logicSchema)