Package tools.refinery.generator.impl

Class ModelSemanticsImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ModelSemanticsImpl

All Implemented Interfaces:

AutoCloseable, ModelFacade, ModelSemantics

public class ModelSemanticsImpl
extends ModelFacadeImpl
implements ModelSemantics

Nested Class Summary

Nested classes/interfaces inherited from class tools.refinery.generator.impl.ModelFacadeImpl

ModelFacadeImpl.Args

Constructor Summary

Constructors

Constructor	Description
ModelSemanticsImpl(ModelFacadeImpl.Args args)

Method Summary

Modifier and Type	Method	Description
Concreteness	getConcreteness()
protected MetadataCreator	getMetadataCreator()
Problem	serialize()

Methods inherited from class tools.refinery.generator.impl.ModelFacadeImpl

afterPropagation, checkConsistency, close, getDiagnostics, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed, 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

checkConsistency, close, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed, trySerialize

Constructor Details

ModelSemanticsImpl

public ModelSemanticsImpl(ModelFacadeImpl.Args args)

Method Details

getConcreteness

public Concreteness getConcreteness()

Specified by:

getConcreteness in interface ModelFacade

getMetadataCreator

protected MetadataCreator getMetadataCreator()

Overrides:

getMetadataCreator in class ModelFacadeImpl

serialize

public Problem serialize()

Specified by:

serialize in interface ModelFacade