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

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. More...
 
virtual void dump ()=0
 dump - Dump the AST node to stderr. More...
 

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 41 of file Parser.h.

Member Enumeration Documentation

Enumerator
ArrayDeclKind 
ExprVarDeclKind 
VersionVarDeclKind 
QueryCommandDeclKind 
DeclKindLast 
VarDeclKindFirst 
VarDeclKindLast 
CommandDeclKindFirst 
CommandDeclKindLast 

Definition at line 43 of file Parser.h.

Constructor & Destructor Documentation

Decl::Decl ( DeclKind  _Kind)

Definition at line 1563 of file Parser.cpp.

virtual klee::expr::Decl::~Decl ( )
inlinevirtual

Definition at line 61 of file Parser.h.

Member Function Documentation

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

Definition at line 69 of file Parser.h.

virtual void klee::expr::Decl::dump ( )
pure virtual

dump - Dump the AST node to stderr.

Implemented in klee::expr::QueryCommand, and klee::expr::ArrayDecl.

DeclKind klee::expr::Decl::getKind ( ) const
inline

getKind - Get the decl kind.

Definition at line 64 of file Parser.h.

References Kind.

Referenced by klee::expr::ArrayDecl::classof(), klee::expr::VarDecl::classof(), klee::expr::ExprVarDecl::classof(), klee::expr::VersionVarDecl::classof(), klee::expr::CommandDecl::classof(), and klee::expr::QueryCommand::classof().

Here is the caller graph for this function:

Member Data Documentation

DeclKind klee::expr::Decl::Kind
private

Definition at line 57 of file Parser.h.

Referenced by getKind().


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