klee
Static Public Member Functions | Public Attributes | List of all members
klee::expr::VersionVarDecl Class Reference

VersionVarDecl - Array version variable declarations. More...

#include <Parser.h>

Inheritance diagram for klee::expr::VersionVarDecl:
Inheritance graph
[legend]
Collaboration diagram for klee::expr::VersionVarDecl:
Collaboration graph
[legend]

Static Public Member Functions

static bool classof (const Decl *D)
 
static bool classof (const VersionVarDecl *)
 
- 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

VersionHandle Value
 
- Public Attributes inherited from klee::expr::VarDecl
const Identifier * Name
 

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

VersionVarDecl - Array version variable declarations.

Definition at line 136 of file Parser.h.

Member Function Documentation

◆ classof() [1/2]

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

Definition at line 140 of file Parser.h.

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

Here is the call graph for this function:

◆ classof() [2/2]

static bool klee::expr::VersionVarDecl::classof ( const VersionVarDecl *  )
inlinestatic

Definition at line 143 of file Parser.h.

Member Data Documentation

◆ Value

VersionHandle klee::expr::VersionVarDecl::Value

Definition at line 138 of file Parser.h.

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