diff options
Diffstat (limited to 'Build/source/utils/asymptote/absyn.cc')
-rw-r--r-- | Build/source/utils/asymptote/absyn.cc | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/absyn.cc b/Build/source/utils/asymptote/absyn.cc new file mode 100644 index 00000000000..8ff3148dc2a --- /dev/null +++ b/Build/source/utils/asymptote/absyn.cc @@ -0,0 +1,30 @@ +/**** + * absyn.cc + * Tom Prince 2004/05/12 + * + * Utility functions for syntax trees. + *****/ + +#include "absyn.h" +#include "coenv.h" + +namespace absyntax { + +void absyn::markPos(trans::coenv& e) +{ + e.c.markPos(getPos()); +} + +absyn::~absyn() +{} + +void prettyindent(ostream &out, Int indent) +{ + for (Int i = 0; i < indent; i++) out << " "; +} +void prettyname(ostream &out, string name, Int indent) { + prettyindent(out,indent); + out << name << "\n"; +} + +} // namespace absyntax |