Package tools.refinery.generator.impl

Class ModelFacadeImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

All Implemented Interfaces:

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(ModelFacadeResult createInitialModelResult)
ConsistencyCheckResult	checkConsistency()
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(ModelFacadeResult createInitialModelResult)

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