Class PropagationBuilderImpl
java.lang.Object
tools.refinery.store.adapter.AbstractModelAdapterBuilder<PropagationStoreAdapter>
tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl
- All Implemented Interfaces:
ModelAdapterBuilder,PropagationBuilder
public class PropagationBuilderImpl
extends AbstractModelAdapterBuilder<PropagationStoreAdapter>
implements PropagationBuilder
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionconcretizationRule(Rule concretizationRule) protected PropagationStoreAdapterdoBuild(ModelStore store) protected voiddoConfigure(ModelStoreBuilder storeBuilder) propagator(Propagator propagator) throwOnFatalRejection(boolean throwOnFatalRejection) Methods inherited from class tools.refinery.store.adapter.AbstractModelAdapterBuilder
build, checkConfigured, checkNotConfigured, configure, isConfiguredMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface tools.refinery.store.adapter.ModelAdapterBuilder
configure, isConfiguredMethods inherited from interface tools.refinery.store.dse.propagation.PropagationBuilder
build, concretizationRules, concretizationRules, rules, rules
-
Constructor Details
-
PropagationBuilderImpl
public PropagationBuilderImpl()
-
-
Method Details
-
rule
- Specified by:
rulein interfacePropagationBuilder
-
concretizationRule
- Specified by:
concretizationRulein interfacePropagationBuilder
-
propagator
- Specified by:
propagatorin interfacePropagationBuilder
-
throwOnFatalRejection
- Specified by:
throwOnFatalRejectionin interfacePropagationBuilder
-
doConfigure
- Overrides:
doConfigurein classAbstractModelAdapterBuilder<PropagationStoreAdapter>
-
doBuild
- Specified by:
doBuildin classAbstractModelAdapterBuilder<PropagationStoreAdapter>
-