klee
|
ExprVarDecl - Expression variable declarations. More...
#include <Parser.h>
Static Public Member Functions | |
static bool | classof (const Decl *D) |
static bool | classof (const ExprVarDecl *) |
![]() | |
static bool | classof (const Decl *D) |
static bool | classof (const VarDecl *) |
![]() | |
static bool | classof (const Decl *) |
Public Attributes | |
ExprHandle | Value |
![]() | |
const Identifier * | Name |
Additional Inherited Members | |
![]() | |
enum | DeclKind { ArrayDeclKind , ExprVarDeclKind , VersionVarDeclKind , QueryCommandDeclKind , DeclKindLast = QueryCommandDeclKind , VarDeclKindFirst = ExprVarDeclKind , VarDeclKindLast = VersionVarDeclKind , CommandDeclKindFirst = QueryCommandDeclKind , CommandDeclKindLast = QueryCommandDeclKind } |
![]() | |
Decl (DeclKind _Kind) | |
virtual | ~Decl () |
DeclKind | getKind () const |
getKind - Get the decl kind. More... | |
virtual void | dump ()=0 |
dump - Dump the AST node to stderr. More... | |
ExprVarDecl - Expression variable declarations.
|
inlinestatic |
Definition at line 129 of file Parser.h.
References klee::expr::Decl::ExprVarDeclKind, and klee::expr::Decl::getKind().
|
inlinestatic |
ExprHandle klee::expr::ExprVarDecl::Value |