source: icGREP/icgrep-devel/icgrep/re/printer_re.cpp @ 4415

Last change on this file since 4415 was 4405, checked in by cameron, 5 years ago

AST support for Lookahead/Lookbehind? assertions

File size: 3.4 KB
RevLine 
[3850]1/*
2 *  Copyright (c) 2014 International Characters.
3 *  This software is licensed to the public under the Open Software License 3.0.
4 *  icgrep is a trademark of International Characters.
5 */
6
7#include "printer_re.h"
8
[4187]9//Regular Expressions
[4255]10#include <re/re_re.h>
11#include <re/re_alt.h>
12#include <re/re_any.h>
13#include <re/re_cc.h>
14#include <re/re_name.h>
15#include <re/re_end.h>
16#include <re/re_rep.h>
17#include <re/re_seq.h>
18#include <re/re_start.h>
19#include <re/re_diff.h>
[4298]20#include <re/re_intersect.h>
[4405]21#include <re/re_assertion.h>
[3850]22
[4194]23using namespace re;
[4187]24
25const std::string Printer_RE::PrintRE(const RE * re)
[3850]26{
27    std::string retVal = "";
28
[4182]29    if (re == nullptr) {
[4255]30        retVal = "<NULL>";
[4182]31    }
[4194]32    else if (const Alt* re_alt = dyn_cast<const Alt>(re))
[3850]33    {
34        retVal += "(Alt[";
[4187]35        bool comma = false;
36        for (const RE * re : *re_alt) {
37            if (comma) {
38                retVal += ',';
39            }
40            retVal += PrintRE(re);
41            comma = true;
[3850]42        }
43        retVal += "])";
44    }
[4194]45    else if (const CC* re_cc = dyn_cast<const CC>(re))
[3850]46    {
[4187]47        retVal = "CC \"";
[4337]48        retVal += re_cc->canonicalName(UnicodeClass);
[3850]49        retVal += "\" ";
50
[4187]51        for (const CharSetItem & item : *re_cc)
[3850]52        {
53            retVal += "[";
[4182]54            retVal += std::to_string(item.lo_codepoint) + ",";
55            retVal += std::to_string(item.hi_codepoint);
[3850]56            retVal += "]";
57        }
58    }
[4194]59    else if (const Name* re_name = dyn_cast<const Name>(re))
[3914]60    {
[4187]61        retVal = "Name \"";
[3914]62        retVal += re_name->getName();
63        retVal += "\" ";
64    }
[4405]65    else if (const Assertion * a = dyn_cast<const Assertion>(re)) {
66        retVal = (a->getSense() == Assertion::Sense::Positive) ? "" : "Negative";
67        retVal += (a->getKind() == Assertion::Kind::Lookahead) ? "Lookahead" : "Lookbehind";
68        retVal += "Assertion(";
69        retVal += PrintRE(a->getAsserted());
70        retVal += ") ";
71    }
[4255]72    else if (const Diff* diff = dyn_cast<const Diff>(re))
73    {
74        retVal = "Diff (";
75        retVal += PrintRE(diff->getLH());
76        retVal += " , ";
77        retVal += PrintRE(diff->getRH());
78        retVal += ") ";
79    }
[4298]80    else if (const Intersect* x = dyn_cast<const Intersect>(re))
81    {
82        retVal = "Intersect (";
83        retVal += PrintRE(x->getLH());
84        retVal += " , ";
85        retVal += PrintRE(x->getRH());
86        retVal += ") ";
87    }
[4194]88    else if (isa<const End>(re))
[3850]89    {
[4187]90        retVal = "End";
[3850]91    }
[4194]92    else if (const Rep* re_rep = dyn_cast<const Rep>(re))
[3850]93    {
[4187]94        retVal = "Rep(";
95        retVal.append(PrintRE(re_rep->getRE()));
96        retVal.append(",");
97        retVal.append(std::to_string(re_rep->getLB()));
98        retVal.append(",");
99        if (re_rep->getUB() == Rep::UNBOUNDED_REP) {
100            retVal.append("Unbounded");
101        }
102        else {
[4405]103            retVal.append(std::to_string(re_rep->getUB()));
[4187]104        }
105        retVal.append(")");
[3850]106    }
[4194]107    else if (const Seq* re_seq = dyn_cast<const Seq>(re))
[3850]108    {
[4187]109        retVal = "(Seq[";
110        bool comma = false;
111        for (const RE * re : *re_seq) {
112            if (comma) {
113                retVal.append(",");
114            }
115            retVal.append(PrintRE(re));
116            comma = true;
[3850]117        }
[4187]118        retVal.append("])");
[3850]119    }
[4194]120    else if (isa<const Start>(re))
[3850]121    {
[4187]122        retVal = "Start";
[3850]123    }
[4245]124    else if (isa<const Any>(re))
125    {
126        retVal = "Any";
127    }
[3850]128    else
129    {
[4255]130        retVal = "???";
[3850]131    }
[4187]132    return std::move(retVal);
[3850]133}
Note: See TracBrowser for help on using the repository browser.