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

Class LogicSchemaFactory<T extends LogicConstraintSpec>

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory<T>

Type Parameters:

T - kind of LogicConstraintSpec this class works with

public class LogicSchemaFactory<T extends LogicConstraintSpec>
extends Object

Class responsible for creating a logic schema for a given logic schema specification. The factory will ensure that there is a Predicate for each predicate name used in the specification. That is, if a logic constraint or derivation rule specification uses a predicate name "P", which has not been specified as a predicate, the factory will automatically create such predicate P.

The factory must work with either LogicConstraintSpecWithIDs, or LogicConstraintSpecWithoutIDs, but not both at the same time.

Constructor Summary

Constructors

Constructor	Description
LogicSchemaFactory(ConstraintIDGenerator<T> constraintIDGenerator)

Method Summary

Modifier and Type	Method	Description
LogicSchema	createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec)
LogicSchema	createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec, Set<Predicate> relationalSchema)
static LogicSchemaFactory<LogicConstraintWithIDSpec>	defaultLogicSchemaWithIDsFactory()
static LogicSchemaFactory<LogicConstraintWithoutIDSpec>	defaultLogicSchemaWithoutIDsFactory()

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaFactory

public LogicSchemaFactory(ConstraintIDGenerator<T> constraintIDGenerator)

Method Details

defaultLogicSchemaWithIDsFactory

public static LogicSchemaFactory<LogicConstraintWithIDSpec> defaultLogicSchemaWithIDsFactory()

defaultLogicSchemaWithoutIDsFactory

public static LogicSchemaFactory<LogicConstraintWithoutIDSpec> defaultLogicSchemaWithoutIDsFactory()

createLogicSchema

public LogicSchema createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec)

createLogicSchema

public LogicSchema createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec,
 Set<Predicate> relationalSchema)