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

Class PredicateCleaner

java.lang.Object

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

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

All Implemented Interfaces:

LogicProcess, SchemaTransformationProcess

public class PredicateCleaner
extends LogicSchemaTransformationProcess

Service that removes all those predicates (base or derived) that are not used in any LogicConstraint (neither directly, neither transitively)

Constructor Summary

Constructors

Constructor	Description
PredicateCleaner()

Method Summary

Modifier and Type	Method	Description
LogicSchema	clean(LogicSchema logicSchema)
SchemaTransformation	executeTransformation(LogicSchema logicSchema)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess

checkLogicSchema, execute

Methods inherited from class java.lang.Object

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

Constructor Details

PredicateCleaner

public PredicateCleaner()

Method Details

executeTransformation

public SchemaTransformation executeTransformation(LogicSchema logicSchema)

Parameters:

logicSchema - not null

Returns:

a transformation where the resulting logicSchema does not have any unused predicate

clean

public LogicSchema clean(LogicSchema logicSchema)

Parameters:

logicSchema - not null

Returns:

a copy of the logic schema where the unused predicates have been removed