java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
dev.civl.mc.model.IF.CIVLException
dev.civl.mc.model.IF.CIVLUnimplementedFeatureException
- All Implemented Interfaces:
Serializable
An exception thrown when there is not necessarily anything wrong with the
program begin verified, but some CIVL feature has not yet been implemented.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class dev.civl.mc.model.IF.CIVLException
CIVLException.Certainty -
Field Summary
Fields inherited from class dev.civl.mc.model.IF.CIVLException
source -
Constructor Summary
ConstructorsConstructorDescriptionCIVLUnimplementedFeatureException(String feature) CIVLUnimplementedFeatureException(String feature, dev.civl.abc.token.IF.Source source) CIVLUnimplementedFeatureException(String feature, CIVLSource source) CIVLUnimplementedFeatureException(String feature, Sourceable sourceable) -
Method Summary
Methods inherited from class dev.civl.mc.model.IF.CIVLException
getSource, toStringMethods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
-
Constructor Details
-
CIVLUnimplementedFeatureException
-
CIVLUnimplementedFeatureException
-
CIVLUnimplementedFeatureException
-
CIVLUnimplementedFeatureException
-