Package tools.refinery.generator

Class ModelFacadeResult.Success

java.lang.Object

tools.refinery.generator.ModelFacadeResult.Success

All Implemented Interfaces:

ModelFacadeResult

Enclosing interface:

ModelFacadeResult

public static final class ModelFacadeResult.Success
extends Object
implements ModelFacadeResult

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
boolean	isConcretizationRejected()
boolean	isPropagationRejected()
void	throwIfRejected()

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.ModelFacadeResult

isRejected

Method Details

isPropagationRejected

public boolean isPropagationRejected()

Specified by:

isPropagationRejected in interface ModelFacadeResult

isConcretizationRejected

public boolean isConcretizationRejected()

Specified by:

isConcretizationRejected in interface ModelFacadeResult

throwIfRejected

public void throwIfRejected()

Specified by:

throwIfRejected in interface ModelFacadeResult