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

CommandDecl - Base class for language commands. More...

#include <Parser.h>

Inheritance diagram for klee::expr::CommandDecl:
Collaboration diagram for klee::expr::CommandDecl:

Public Member Functions

 CommandDecl (DeclKind _Kind)
- 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...

Static Public Member Functions

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

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

Detailed Description

CommandDecl - Base class for language commands.

Definition at line 147 of file Parser.h.

Constructor & Destructor Documentation

klee::expr::CommandDecl::CommandDecl ( DeclKind  _Kind)

Definition at line 149 of file Parser.h.

Member Function Documentation

static bool klee::expr::CommandDecl::classof ( const Decl D)

Definition at line 151 of file Parser.h.

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

Here is the call graph for this function:

static bool klee::expr::CommandDecl::classof ( const CommandDecl )

Definition at line 155 of file Parser.h.

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