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 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()

    • getDiagnostics

      protected RefineryDiagnostics getDiagnostics()

    • createFacadeArgs

      protected ModelFacadeImpl.Args createFacadeArgs(ModelInitializer initializer, ModelStoreBuilder storeBuilder)

    • createConcreteFacadeArgs

      protected ConcreteModelFacade.Args createConcreteFacadeArgs(ModelInitializer initializer, ModelStoreBuilder storeBuilder)