Carpet/Requirements/src/location.cc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#include <iostream>

#include <location.hh>

namespace Requirements {

  void location_t::output(ostream& os) const
  {
    os << "vi:" << vi << ", ["
       << "it:" << it << ","
       << "rl:" << rl << ","
       << "tl:" << tl << ","
       << "m:"  << m << "]";
  }
}