sail::Assume Class Reference

assume(predicate) serves as an annotation for static analysis. More...

#include <Assume.h>

Inheritance diagram for sail::Assume:

List of all members.

Public Member Functions

 Assume (Symbol *arg, il::node *original, int line)
virtual string to_string () const
virtual string to_string (bool pretty_print) const
il::nodeget_original_node ()
virtual bool is_save_instruction ()
bool is_synthetic ()
Symbolget_predicate ()
virtual bool is_removable ()


class boost::serialization::access

Detailed Description

assume(predicate) serves as an annotation for static analysis.

Member Function Documentation

il::node * sail::Assume::get_original_node (  ) 

This function provides the mapping between the low and the high-level representations.

the corresponding expression or statement in the higher-level language that this instruction was generated from.

Reimplemented from sail::Instruction.

bool sail::Assume::is_removable (  )  [virtual]

An instruction is removable if it's not present in the original source code, but introduced in the translation from the high-level language to the low-level language. For instance, if **x is an expression used in the original code, the low-level language will introduce a temporary t=*x; such instructions are "removable" for printing purposes.

Implements sail::Instruction.

The documentation for this class was generated from the following files:
Generated on Sun Oct 17 14:01:31 2010 by  doxygen 1.6.3