Code Listener  [unstable] git snapshot
Public Member Functions | Data Fields
KillVar Struct Reference

value type describing a single 'kill variable' hint More...

#include <storage.hh>

Public Member Functions

 KillVar (int uid_, bool onlyIfNotPointed_)
 

Data Fields

int uid
 CodeStorage uid of the variable to kill. More...
 
bool onlyIfNotPointed
 if true, killing the variable is safe only if nobody points at/inside it More...
 

Detailed Description

value type describing a single 'kill variable' hint

Definition at line 299 of file storage.hh.

Constructor & Destructor Documentation

KillVar ( int  uid_,
bool  onlyIfNotPointed_ 
)
inline

Definition at line 306 of file storage.hh.

Field Documentation

bool onlyIfNotPointed

if true, killing the variable is safe only if nobody points at/inside it

Definition at line 304 of file storage.hh.

int uid

CodeStorage uid of the variable to kill.

Definition at line 301 of file storage.hh.

Referenced by ltKillVar::operator()().


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