All Classes and Interfaces
Class
Description
Create refinements language AST using antlr
Custom error with an arbitrary message
Custom warning with a message
Singleton class to store diagnostics (errors and warnings) during the verification process
Warning indicating that a class referenced in an external refinement was not found
Warning indicating that a method referenced in an external refinement was not found
Error indicating that a constructor contains a state refinement with a 'from' state, which is not allowed
Error indicating that a refinement is invalid (e.g., not a boolean expression)
Base class for all LiquidJava errors
Base class for all LiquidJava warnings
First visit to Spoon AST to get the method's refinements
Error indicating that an element referenced in a refinement was not found
Auxiliar class for handling the type checking of Unary and Binary operations
Acts as a wrapper for Expression AST
Error indicating that a refinement constraint either was violated or cannot be proven
Finds circular dependencies between packages
This class provides an empty implementation of
RJListener,
which can be extended to create a listener which only needs to handle a subset
of the available methods.This interface defines a complete listener for a parse tree produced by
RJParser.Error indicating that two disjoint states were found in a state refinement
Error indicating that a state refinement transition was violated
Error indicating that the syntax of a refinement is invalid
Translation table mapping variable names to their placement in code