Package tools.refinery.generator

Interface ModelFacadeResult.Rejected

All Superinterfaces:

ModelFacadeResult

All Known Implementing Classes:

ModelFacadeResult.ConcretizationRejected, ModelFacadeResult.PropagationRejected

Enclosing interface:

ModelFacadeResult

public static sealed interface ModelFacadeResult.Rejected
extends ModelFacadeResult
permits ModelFacadeResult.PropagationRejected, ModelFacadeResult.ConcretizationRejected

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.generator.ModelFacadeResult

ModelFacadeResult.ConcretizationRejected, ModelFacadeResult.PropagationRejected, ModelFacadeResult.Rejected, ModelFacadeResult.Success

Field Summary

Fields inherited from interface tools.refinery.generator.ModelFacadeResult

SUCCESS

Method Summary

Modifier and Type	Method	Description
String	formatMessage()
Object	reason()
default void	throwIfRejected()

Methods inherited from interface tools.refinery.generator.ModelFacadeResult

isConcretizationRejected, isPropagationRejected, isRejected

Method Details

formatMessage

String formatMessage()

throwIfRejected

default void throwIfRejected()

Specified by:

throwIfRejected in interface ModelFacadeResult

reason

Object reason()