sail::FieldRefWrite Class Reference
Represents a field write of the form v.f1...fk = s.
More...
#include <FieldRefWrite.h>
List of all members.
Public Member Functions |
| FieldRefWrite (Variable *v1, Symbol *v2, int offset, il::node *original, int line) |
| FieldRefWrite (Variable *v1, Symbol *v2, il::record_info *ri, il::node *original, int line) |
| FieldRefWrite (Variable *v1, Symbol *v2, string &name, int offset, il::node *original, int line) |
virtual string | to_string () const |
virtual string | to_string (bool pretty_print) const |
Variable * | get_lhs () |
Symbol * | get_rhs () |
int | get_offset () |
string | get_field_name () |
virtual bool | is_removable () |
Friends |
class | boost::serialization::access |
Detailed Description
Represents a field write of the form v.f1...fk = s.
Member Function Documentation
string sail::FieldRefWrite::get_field_name |
( |
|
) |
|
- Returns:
- a string representing the sequence of field selectors for pretty printing.
Variable * sail::FieldRefWrite::get_lhs |
( |
|
) |
|
- Returns:
- the struct whose fields are written to
int sail::FieldRefWrite::get_offset |
( |
|
) |
|
- Returns:
- the aggregate offset of the field selectors
Symbol * sail::FieldRefWrite::get_rhs |
( |
|
) |
|
- Returns:
- the value that is written
bool sail::FieldRefWrite::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: