Package tools.refinery.generator

Interface ModelFacadeResult

All Known Subinterfaces:

ModelFacadeResult.Rejected

All Known Implementing Classes:

ModelFacadeResult.ConcretizationRejected, ModelFacadeResult.PropagationRejected, ModelFacadeResult.Success

public sealed interface ModelFacadeResult
permits ModelFacadeResult.Success, ModelFacadeResult.Rejected

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	ModelFacadeResult.ConcretizationRejected
static final record	ModelFacadeResult.PropagationRejected
static interface	ModelFacadeResult.Rejected
static final class	ModelFacadeResult.Success

Field Summary

Fields

Modifier and Type	Field	Description
static final ModelFacadeResult	SUCCESS

Method Summary

Modifier and Type	Method	Description
boolean	isConcretizationRejected()
boolean	isPropagationRejected()
default boolean	isRejected()
void	throwIfRejected()

Field Details

SUCCESS

static final ModelFacadeResult SUCCESS

Method Details

isPropagationRejected

boolean isPropagationRejected()

isConcretizationRejected

boolean isConcretizationRejected()

isRejected

default boolean isRejected()

throwIfRejected

void throwIfRejected()