klee::expr::Decl Class Reference
Decl - Base class for top level declarations. More...
#include <Parser.h>
Inheritance diagram for klee::expr::Decl:
Public Types | |
| enum | DeclKind { ArrayDeclKind, ExprVarDeclKind, VersionVarDeclKind, QueryCommandDeclKind, DeclKindLast = QueryCommandDeclKind, VarDeclKindFirst = ExprVarDeclKind, VarDeclKindLast = VersionVarDeclKind, CommandDeclKindFirst = QueryCommandDeclKind, CommandDeclKindLast = QueryCommandDeclKind } |
Public Member Functions | |
| Decl (DeclKind _Kind) | |
| virtual | ~Decl () |
| DeclKind | getKind () const |
| getKind - Get the decl kind. | |
| virtual void | dump ()=0 |
| dump - Dump the AST node to stderr. | |
Static Public Member Functions | |
| static bool | classof (const Decl *) |
Private Attributes | |
| DeclKind | Kind |
Detailed Description
Decl - Base class for top level declarations.Definition at line 39 of file Parser.h.
Member Enumeration Documentation
Constructor & Destructor Documentation
| Decl::Decl | ( | DeclKind | _Kind | ) |
Definition at line 1371 of file Parser.cpp.
Member Function Documentation
| static bool klee::expr::Decl::classof | ( | const Decl * | ) | [inline, static] |
| virtual void klee::expr::Decl::dump | ( | ) | [pure virtual] |
dump - Dump the AST node to stderr.
Implemented in klee::expr::ArrayDecl, and klee::expr::QueryCommand.
| DeclKind klee::expr::Decl::getKind | ( | ) | const [inline] |
getKind - Get the decl kind.
Definition at line 62 of file Parser.h.
References Kind.
Referenced by klee::expr::QueryCommand::classof(), klee::expr::CommandDecl::classof(), klee::expr::VersionVarDecl::classof(), klee::expr::ExprVarDecl::classof(), klee::expr::VarDecl::classof(), and klee::expr::ArrayDecl::classof().
Here is the caller graph for this function:
Member Data Documentation
DeclKind klee::expr::Decl::Kind [private] |
The documentation for this class was generated from the following files:
- include/expr/Parser.h
- lib/Expr/Parser.cpp
