ModelFacadeResult.Rejected (refinery-generator 0.2.1-SNAPSHOT API)

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 ModelFacadeResult
ModelFacadeResult.ConcretizationRejected, ModelFacadeResult.PropagationRejected, ModelFacadeResult.Rejected, ModelFacadeResult.Success
Field Summary

Fields inherited from interface ModelFacadeResult
SUCCESS
Method Summary

Modifier and Type

Method

Description

String

formatMessage()

Object

reason()

Methods inherited from interface ModelFacadeResult
isConcretizationRejected, isPropagationRejected, isRejected

Method Details
- formatMessage
  
  String formatMessage()
- reason
  
  Object reason()