klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::expr::ExprVarDecl Class Reference

ExprVarDecl - Expression variable declarations. More...

#include <Parser.h>

Inheritance diagram for klee::expr::ExprVarDecl:
Collaboration diagram for klee::expr::ExprVarDecl:

Static Public Member Functions

static bool classof (const Decl *D)
 
static bool classof (const ExprVarDecl *)
 
- Static Public Member Functions inherited from klee::expr::VarDecl
static bool classof (const Decl *D)
 
static bool classof (const VarDecl *)
 
- Static Public Member Functions inherited from klee::expr::Decl
static bool classof (const Decl *)
 

Public Attributes

ExprHandle Value
 
- Public Attributes inherited from klee::expr::VarDecl
const IdentifierName
 

Additional Inherited Members

- Public Types inherited from klee::expr::Decl
enum  DeclKind {
  ArrayDeclKind, ExprVarDeclKind, VersionVarDeclKind, QueryCommandDeclKind,
  DeclKindLast = QueryCommandDeclKind, VarDeclKindFirst = ExprVarDeclKind, VarDeclKindLast = VersionVarDeclKind, CommandDeclKindFirst = QueryCommandDeclKind,
  CommandDeclKindLast = QueryCommandDeclKind
}
 
- Public Member Functions inherited from klee::expr::Decl
 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...
 

Detailed Description

ExprVarDecl - Expression variable declarations.

Definition at line 125 of file Parser.h.

Member Function Documentation

static bool klee::expr::ExprVarDecl::classof ( const Decl D)
inlinestatic

Definition at line 129 of file Parser.h.

References klee::expr::Decl::ExprVarDeclKind, and klee::expr::Decl::getKind().

Here is the call graph for this function:

static bool klee::expr::ExprVarDecl::classof ( const ExprVarDecl )
inlinestatic

Definition at line 132 of file Parser.h.

Member Data Documentation

ExprHandle klee::expr::ExprVarDecl::Value

Definition at line 127 of file Parser.h.


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