| 596 | } |
| 597 | |
| 598 | void |
| 599 | ArrayVariable::OutputUpperBound(std::ostream &out) const |
| 600 | { |
| 601 | out << name; |
| 602 | size_t i; |
| 603 | for (i=0; i<get_dimension(); i++) { |
| 604 | out << "[" << (sizes[i] - 1) << "]"; |
| 605 | } |
| 606 | } |
| 607 | |
| 608 | // -------------------------------------------------------------- |
| 609 | void |
nothing calls this directly
no outgoing calls
no test coverage detected