|
Functions |
| | expression_t::expression_t () |
| | expression_t::expression_t (kind_t kind, const position_t &pos) |
| | expression_t::expression_t (const expression_t &e) |
| expression_t | expression_t::clone () const |
| expression_t | expression_t::subst (symbol_t symbol, expression_t expr) const |
| | expression_t::~expression_t () |
| kind_t | expression_t::getKind () const |
| const position_t & | expression_t::getPosition () const |
| size_t | expression_t::getSize () const |
| type_t | expression_t::getType () const |
| void | expression_t::setType (type_t type) |
| int32_t | expression_t::getValue () const |
| int32_t | expression_t::getIndex () const |
| synchronisation_t | expression_t::getSync () const |
| expression_t & | expression_t::operator[] (uint32_t i) |
| const expression_t | expression_t::operator[] (uint32_t i) const |
| expression_t & | expression_t::get (uint32_t i) |
| const expression_t & | expression_t::get (uint32_t i) const |
| bool | expression_t::empty () const |
| bool | expression_t::equal (const expression_t &e) const |
| | Two expressions are identical iff all the sub expressions are identical and if the kind, value and symbol of the root are identical.
|
| expression_t & | expression_t::operator= (const expression_t &e) |
| symbol_t | expression_t::getSymbol () |
| | Returns the symbol of a variable reference.
|
| const symbol_t | expression_t::getSymbol () const |
| void | expression_t::getSymbols (std::set< symbol_t > &symbols) const |
| bool | expression_t::isReferenceTo (const std::set< symbol_t > &symbols) const |
| | Returns true if expr might be a reference to a symbol in the set.
|
| bool | expression_t::changesVariable (const std::set< symbol_t > &symbols) const |
| bool | expression_t::changesAnyVariable () const |
| bool | expression_t::dependsOn (const std::set< symbol_t > &symbols) const |
| int | expression_t::getPrecedence () const |
| int | expression_t::getPrecedence (kind_t kind) |
| static void | ensure (char *&str, char *&end, int &size, int len) |
| static void | append (char *&str, char *&end, int &size, const char *s) |
| static void | append (char *&str, char *&end, int &size, char c) |
| void | expression_t::toString (bool old, char *&str, char *&end, int &size) const |
| bool | expression_t::operator< (const expression_t e) const |
| bool | expression_t::operator== (const expression_t e) const |
| std::string | expression_t::toString (bool old) const |
| | Returns a string representation of the expression.
|
| void | expression_t::collectPossibleWrites (set< symbol_t > &symbols) const |
| void | expression_t::collectPossibleReads (set< symbol_t > &symbols) const |
| expression_t | expression_t::createConstant (int32_t value, position_t pos) |
| expression_t | expression_t::createIdentifier (symbol_t symbol, position_t pos) |
| expression_t | expression_t::createNary (kind_t kind, const vector< expression_t > &sub, position_t pos, type_t type) |
| expression_t | expression_t::createUnary (kind_t kind, expression_t sub, position_t pos, type_t type) |
| expression_t | expression_t::createBinary (kind_t kind, expression_t left, expression_t right, position_t pos, type_t type) |
| expression_t | expression_t::createTernary (kind_t kind, expression_t e1, expression_t e2, expression_t e3, position_t pos, type_t type) |
| expression_t | expression_t::createDot (expression_t e, int32_t idx, position_t pos, type_t type) |
| expression_t | expression_t::createSync (expression_t e, synchronisation_t s, position_t pos) |
| expression_t | expression_t::createDeadlock (position_t pos) |
| ostream & | operator<< (ostream &o, const expression_t &e) |
