Package tools.refinery.generator.impl

Class ModelFacadeImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

All Implemented Interfaces:

AutoCloseable, ModelFacade

Direct Known Subclasses:

ConcreteModelFacade, ModelSemanticsImpl

public abstract class ModelFacadeImpl
extends Object
implements ModelFacade

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ModelFacadeImpl.Args

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ModelFacadeImpl(ModelFacadeImpl.Args args)

Method Summary

Modifier and Type	Method	Description
protected ModelFacadeResult	afterPropagation(Model model, ModelFacadeResult createInitialModelResult)	Post-processes the propagation result on this model.
ConsistencyCheckResult	checkConsistency()
void	close()
protected RefineryDiagnostics	getDiagnostics()
ModelFacadeResult	getInitializationResult()
protected MetadataCreator	getMetadataCreator()
Model	getModel()
ModelStore	getModelStore()
NodesMetadata	getNodesMetadata()
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
ProblemTrace	getProblemTrace()
List<RelationMetadata>	getRelationsMetadata()
void	throwIfInitializationFailed()
Optional<Problem>	trySerialize()

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.generator.ModelFacade

getConcreteness, getPartialInterpretation, serialize

Constructor Details

ModelFacadeImpl

protected ModelFacadeImpl(ModelFacadeImpl.Args args)

Method Details

getProblemTrace

public ProblemTrace getProblemTrace()

Specified by:

getProblemTrace in interface ModelFacade

getModelStore

public ModelStore getModelStore()

Specified by:

getModelStore in interface ModelFacade

getModel

public Model getModel()

Specified by:

getModel in interface ModelFacade

afterPropagation

protected ModelFacadeResult afterPropagation(Model model,
 ModelFacadeResult createInitialModelResult)

Post-processes the propagation result on this model.

Inheriting classes may use this method to perform other operations, such as concretization, on the model.

Implementations should never call getModel(), as it hasn't been set yet. Use the model argument instead.

Parameters:

model - The Model after propagation.

createInitialModelResult - The result of the propagation on the model.

Returns:

The post-processed propagation result.

getInitializationResult

public ModelFacadeResult getInitializationResult()

Specified by:

getInitializationResult in interface ModelFacade

throwIfInitializationFailed

public void throwIfInitializationFailed()

Specified by:

throwIfInitializationFailed in interface ModelFacade

getPartialInterpretation

public <A extends AbstractValue<A,
C>,
C>
PartialInterpretation<A,C> getPartialInterpretation(PartialSymbol<A,C> partialSymbol)

Specified by:

getPartialInterpretation in interface ModelFacade

getNodesMetadata

public NodesMetadata getNodesMetadata()

Specified by:

getNodesMetadata in interface ModelFacade

getRelationsMetadata

public List<RelationMetadata> getRelationsMetadata()

Specified by:

getRelationsMetadata in interface ModelFacade

getMetadataCreator

protected MetadataCreator getMetadataCreator()

getDiagnostics

protected RefineryDiagnostics getDiagnostics()

checkConsistency

public ConsistencyCheckResult checkConsistency()

Specified by:

checkConsistency in interface ModelFacade

trySerialize

public Optional<Problem> trySerialize()

Specified by:

trySerialize in interface ModelFacade

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface ModelFacade