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

Class LogicSchemaBuilder<T extends LogicConstraintSpec>

java.lang.Object

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

Type Parameters:

T - kind of LogicConstraintSpec this class works with

public class LogicSchemaBuilder<T extends LogicConstraintSpec>
extends Object

Builder for a logic schema. The builder 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 builder will automatically create such predicate P.

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

Constructor Summary

Constructors

Constructor	Description
LogicSchemaBuilder(ConstraintIDGenerator<T> constraintIDGenerator)
LogicSchemaBuilder(ConstraintIDGenerator<T> constraintIDGenerator, Set<Predicate> predicates)

Method Summary

Modifier and Type	Method	Description
LogicSchemaBuilder<T>	addAllDerivationRules(List<DerivationRuleSpec> newRules)
LogicSchemaBuilder<T>	addAllLogicConstraints(List<T> newConstraints)
LogicSchemaBuilder<T>	addAllPredicates(List<PredicateSpec> allPredicates)
LogicSchemaBuilder<T>	addDerivationRule(DerivationRuleSpec... drs)
LogicSchemaBuilder<T>	addDerivationRule(Collection<DerivationRuleSpec> derivationRules)
final LogicSchemaBuilder<T>	addLogicConstraint(Collection<T> logicConstraintSpecs)
final LogicSchemaBuilder<T>	addLogicConstraint(T... logicConstraintSpecs)
LogicSchemaBuilder<T>	addPredicate(PredicateSpec... predicateSpecs)
LogicSchemaBuilder<T>	addPredicate(String predicateName, int arity)
LogicSchema	build()
static LogicSchemaBuilder<LogicConstraintWithIDSpec>	defaultLogicSchemaWithIDsBuilder()
static LogicSchemaBuilder<LogicConstraintWithoutIDSpec>	defaultLogicSchemaWithoutIDsBuilder()

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaBuilder

public LogicSchemaBuilder(ConstraintIDGenerator<T> constraintIDGenerator)

LogicSchemaBuilder

public LogicSchemaBuilder(ConstraintIDGenerator<T> constraintIDGenerator,
 Set<Predicate> predicates)

Method Details

defaultLogicSchemaWithoutIDsBuilder

public static LogicSchemaBuilder<LogicConstraintWithoutIDSpec> defaultLogicSchemaWithoutIDsBuilder()

defaultLogicSchemaWithIDsBuilder

public static LogicSchemaBuilder<LogicConstraintWithIDSpec> defaultLogicSchemaWithIDsBuilder()

addPredicate

public LogicSchemaBuilder<T> addPredicate(PredicateSpec... predicateSpecs)

addPredicate

public LogicSchemaBuilder<T> addPredicate(String predicateName,
 int arity)

addDerivationRule

public LogicSchemaBuilder<T> addDerivationRule(DerivationRuleSpec... drs)

addDerivationRule

public LogicSchemaBuilder<T> addDerivationRule(Collection<DerivationRuleSpec> derivationRules)

addLogicConstraint

@SafeVarargs
public final LogicSchemaBuilder<T> addLogicConstraint(T... logicConstraintSpecs)

addLogicConstraint

public final LogicSchemaBuilder<T> addLogicConstraint(Collection<T> logicConstraintSpecs)

build

public LogicSchema build()

addAllDerivationRules

public LogicSchemaBuilder<T> addAllDerivationRules(List<DerivationRuleSpec> newRules)

addAllLogicConstraints

public LogicSchemaBuilder<T> addAllLogicConstraints(List<T> newConstraints)

addAllPredicates

public LogicSchemaBuilder<T> addAllPredicates(List<PredicateSpec> allPredicates)