klee
|
VersionVarDecl - Array version variable declarations. More...
#include <Parser.h>
Static Public Member Functions | |
static bool | classof (const Decl *D) |
static bool | classof (const VersionVarDecl *) |
![]() | |
static bool | classof (const Decl *D) |
static bool | classof (const VarDecl *) |
![]() | |
static bool | classof (const Decl *) |
Public Attributes | |
VersionHandle | 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... | |
VersionVarDecl - Array version variable declarations.
|
inlinestatic |
Definition at line 140 of file Parser.h.
References klee::expr::Decl::getKind(), and klee::expr::Decl::VersionVarDeclKind.
|
inlinestatic |
VersionHandle klee::expr::VersionVarDecl::Value |