Package com.clevercloud.biscuit.error
Class Error
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- com.clevercloud.biscuit.error.Error
-
- All Implemented Interfaces:
Serializable
- Direct Known Subclasses:
Error.FailedLogic,Error.FormatError,Error.InternalError,Error.InvalidAuthorityIndex,Error.InvalidBlockIndex,Error.Language,Error.MissingSymbols,Error.Parser,Error.Sealed,Error.SymbolTableOverlap,Error.Timeout,Error.TooManyFacts,Error.TooManyIterations
public class Error extends Exception
- See Also:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classError.FailedLogicstatic classError.FormatErrorstatic classError.InternalErrorstatic classError.InvalidAuthorityIndexstatic classError.InvalidBlockIndexstatic classError.Languagestatic classError.MissingSymbolsstatic classError.Parserstatic classError.Sealedstatic classError.SymbolTableOverlapstatic classError.Timeoutstatic classError.TooManyFactsstatic classError.TooManyIterations
-
Constructor Summary
Constructors Constructor Description Error()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description io.vavr.control.Option<List<FailedCheck>>failed_checks()com.google.gson.JsonElementtoJson()-
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
-
-
-
Method Detail
-
failed_checks
public io.vavr.control.Option<List<FailedCheck>> failed_checks()
-
toJson
public com.google.gson.JsonElement toJson()
-
-