ExpressionVisitor (liquidjava-verifier 0.0.5 API)

All Known Implementing Classes:: ExpressionToZ3Visitor

public interface ExpressionVisitor<T>

Method Summary

Modifier and Type

Method

Description

T

visitAliasInvocation(AliasInvocation alias)

T

visitBinaryExpression(BinaryExpression exp)

T

visitFunctionInvocation(FunctionInvocation fun)

T

visitGroupExpression(GroupExpression exp)

T

visitIte(Ite ite)

T

visitLiteralBoolean(LiteralBoolean lit)

T

visitLiteralInt(LiteralInt lit)

T

visitLiteralReal(LiteralReal lit)

T

visitLiteralString(LiteralString lit)

T

visitUnaryExpression(UnaryExpression exp)

T

visitVar(Var var)

Method Details
- visitAliasInvocation
  
  T visitAliasInvocation(AliasInvocation alias) throws Exception
  
  Throws:
  
  Exception
- visitBinaryExpression
  
  T visitBinaryExpression(BinaryExpression exp) throws Exception
  
  Throws:
  
  Exception
- visitFunctionInvocation
  
  T visitFunctionInvocation(FunctionInvocation fun) throws Exception
  
  Throws:
  
  Exception
- visitGroupExpression
  
  T visitGroupExpression(GroupExpression exp) throws Exception
  
  Throws:
  
  Exception
- visitIte
  
  T visitIte(Ite ite) throws Exception
  
  Throws:
  
  Exception
- visitLiteralInt
  
  T visitLiteralInt(LiteralInt lit) throws Exception
  
  Throws:
  
  Exception
- visitLiteralBoolean
  
  T visitLiteralBoolean(LiteralBoolean lit) throws Exception
  
  Throws:
  
  Exception
- visitLiteralReal
  
  T visitLiteralReal(LiteralReal lit) throws Exception
  
  Throws:
  
  Exception
- visitLiteralString
  
  T visitLiteralString(LiteralString lit) throws Exception
  
  Throws:
  
  Exception
- visitUnaryExpression
  
  T visitUnaryExpression(UnaryExpression exp) throws Exception
  
  Throws:
  
  Exception
- visitVar
  
  T visitVar(Var var) throws Exception
  
  Throws:
  
  Exception