| 1962 | } |
| 1963 | |
| 1964 | void Transform::print(ostream &os, const TransformPrintOpts &opt) const { |
| 1965 | os << "\n----------------------------------------\n"; |
| 1966 | if (!name.empty()) |
| 1967 | os << "Name: " << name << '\n'; |
| 1968 | if (precondition) { |
| 1969 | precondition->print(os << "Pre: "); |
| 1970 | os << '\n'; |
| 1971 | } |
| 1972 | src.print(os, opt.print_fn_header); |
| 1973 | if (!opt.skip_tgt) { |
| 1974 | os << "=>\n"; |
| 1975 | tgt.print(os, opt.print_fn_header); |
| 1976 | } |
| 1977 | } |
| 1978 | |
| 1979 | ostream& operator<<(ostream &os, const Transform &t) { |
| 1980 | t.print(os, {}); |