sail::StaticAssert Class Reference
A static assert instruction of the form static_assert(predicate) tells the static analysis to check whether this predicate holds. More...
#include <StaticAssert.h>
Public Member Functions | |
| StaticAssert (Symbol *arg, il::node *original, int line) | |
| virtual string | to_string () const |
| virtual string | to_string (bool pretty_print) const |
| il::node * | get_original_node () |
| virtual bool | is_save_instruction () |
| bool | is_synthetic () |
| Symbol * | get_predicate () |
| virtual bool | is_removable () |
Friends | |
| class | boost::serialization::access |
Detailed Description
A static assert instruction of the form static_assert(predicate) tells the static analysis to check whether this predicate holds.
Member Function Documentation
| il::node * sail::StaticAssert::get_original_node | ( | ) |
This function provides the mapping between the low and the high-level representations.
- Returns:
- the corresponding expression or statement in the higher-level language that this instruction was generated from.
Reimplemented from sail::Instruction.
| bool sail::StaticAssert::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:
- sail/StaticAssert.h
- sail/StaticAssert.cpp
