--------------------------------------------------------------
| 753 | |
| 754 | // -------------------------------------------------------------- |
| 755 | void |
| 756 | Variable::OutputUpperBound(std::ostream &out) const |
| 757 | { |
| 758 | if (field_var_of) { |
| 759 | field_var_of->OutputUpperBound(out); |
| 760 | size_t dot = name.find_last_of("."); |
| 761 | assert(dot != string::npos); |
| 762 | string postfix = name.substr(dot, string::npos); |
| 763 | out << postfix; |
| 764 | } |
| 765 | else { |
| 766 | out << get_actual_name(); |
| 767 | } |
| 768 | } |
| 769 | |
| 770 | // -------------------------------------------------------------- |
| 771 | void |