Package tools.refinery.generator

Class ModelFacadeFactory<T extends ModelFacadeFactory<T>>

java.lang.Object

tools.refinery.generator.ModelFacadeFactory<T>

Direct Known Subclasses:

ModelGeneratorFactory, ModelSemanticsFactory

public abstract sealed class ModelFacadeFactory<T extends ModelFacadeFactory<T>>
extends Object
permits ModelSemanticsFactory, ModelGeneratorFactory

Constructor Summary

Constructors

Constructor	Description
ModelFacadeFactory()

Method Summary

Modifier and Type	Method	Description
T	cancellationToken(CancellationToken cancellationToken)
protected void	checkCancelled()
protected ModelInitializer	createModelInitializer()
protected CancellationToken	getCancellationToken()
protected abstract T	getSelf()
protected boolean	isKeepNonExistingObjects()
T	keepNonExistingObjects(boolean keepNonExistentObjects)
T	keepShadowPredicates(boolean keepShadowPredicates)

Methods inherited from class java.lang.Object

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

Constructor Details

ModelFacadeFactory

public ModelFacadeFactory()

Method Details

getSelf

protected abstract T getSelf()

cancellationToken

public T cancellationToken(CancellationToken cancellationToken)

keepNonExistingObjects

public T keepNonExistingObjects(boolean keepNonExistentObjects)

keepShadowPredicates

public T keepShadowPredicates(boolean keepShadowPredicates)

createModelInitializer

protected ModelInitializer createModelInitializer()

getCancellationToken

protected CancellationToken getCancellationToken()

isKeepNonExistingObjects

protected boolean isKeepNonExistingObjects()

checkCancelled

protected void checkCancelled()