liquidjava.diagnostics.errors Class Hierarchy (liquidjava-verifier 0.0.5 API)

Package Hierarchies:

All Packages

Class Hierarchy

java.lang.Object
- java.lang.Throwable (implements java.io.Serializable)
  - java.lang.Exception
    - java.lang.RuntimeException
      - liquidjava.diagnostics.LJDiagnostic
        
        liquidjava.diagnostics.errors.LJError
        
        liquidjava.diagnostics.errors.CustomError
        
        liquidjava.diagnostics.errors.IllegalConstructorTransitionError
        
        liquidjava.diagnostics.errors.InvalidRefinementError
        
        liquidjava.diagnostics.errors.NotFoundError
        
        liquidjava.diagnostics.errors.RefinementError
        
        liquidjava.diagnostics.errors.StateConflictError
        
        liquidjava.diagnostics.errors.StateRefinementError
        
        liquidjava.diagnostics.errors.SyntaxError