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

    • getSolutionSerializerProvider

      protected com.google.inject.Provider<SolutionSerializer> getSolutionSerializerProvider()

    • getMetadataCreatorProvider

      protected com.google.inject.Provider<MetadataCreator> getMetadataCreatorProvider()