semantic::ExprStaticChecker Class Reference

Inheritance diagram for semantic::ExprStaticChecker:

Public Member Functions
	ExprStaticChecker (diagnostics::DiagnosticEngine &diag, semantic::NameResolver &NR, semantic::HierarchyChecker &HC)
void	Evaluate (ast::Expr *expr, ExprStaticCheckerState state)
Public Member Functions inherited from ast::ExprEvaluator< ExprStaticCheckerData >
ExprStaticCheckerData	Evaluate (Expr *expr)
	Evaluates the given expression. More...
virtual ExprStaticCheckerData	EvaluateList (ExprNodeList subexpr)
	Evaluates the given subexpression. More...

Additional Inherited Members
Protected Types inherited from ast::ExprEvaluator< ExprStaticCheckerData >
using	op_array = std::pmr::vector< ExprStaticCheckerData >
Protected Member Functions inherited from ast::ExprEvaluator< ExprStaticCheckerData >
virtual ExprStaticCheckerData	evalBinaryOp (exprnode::BinaryOp &op, const ExprStaticCheckerData lhs, const ExprStaticCheckerData rhs) const=0
virtual ExprStaticCheckerData	evalUnaryOp (exprnode::UnaryOp &op, const ExprStaticCheckerData rhs) const=0
virtual ExprStaticCheckerData	evalMemberAccess (exprnode::MemberAccess &op, const ExprStaticCheckerData lhs, const ExprStaticCheckerData field) const=0
virtual ExprStaticCheckerData	evalMethodCall (exprnode::MethodInvocation &op, const ExprStaticCheckerData method, const op_array &args) const=0
virtual ExprStaticCheckerData	evalNewObject (exprnode::ClassInstanceCreation &op, const ExprStaticCheckerData object, const op_array &args) const=0
virtual ExprStaticCheckerData	evalNewArray (exprnode::ArrayInstanceCreation &op, const ExprStaticCheckerData type, const ExprStaticCheckerData size) const=0
virtual ExprStaticCheckerData	evalArrayAccess (exprnode::ArrayAccess &op, const ExprStaticCheckerData array, const ExprStaticCheckerData index) const=0
virtual ExprStaticCheckerData	evalCast (exprnode::Cast &op, const ExprStaticCheckerData type, const ExprStaticCheckerData value) const=0
SourceRange	argLocation (int arg_index)
	Gets the location of the argument at the given index. More...
SourceRange	argLocation (int argno) const
	Gets the location of the argument at the given index. Note the 0th argument is the first argument, not the operator. More...
virtual bool	validate (ExprStaticCheckerData const &) const
virtual bool	validatePop (ExprStaticCheckerData const &) const
int	opStackSize () const

Detailed Description

Definition at line 33 of file ExprStaticChecker.h.

---

The documentation for this class was generated from the following files:

• include/semantic/ExprStaticChecker.h
• lib/semantic/ExprStaticChecker.cc