source: icGREP/icgrep-devel/icgrep/re/re_cc.h @ 4814

Last change on this file since 4814 was 4814, checked in by nmedfort, 4 years ago

Added union/diff/intersection functionality to RE_Compiler. Removed toUTF8 pass in favour of using the UCD_Compiler.

File size: 3.7 KB
Line 
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#ifndef RE_CC_H
8#define RE_CC_H
9
10#include "re_re.h"
11
12#include <string>
13#include <vector>
14#include <UCD/unicode_set.h>
15#include <slab_allocator.h>
16
17namespace re {
18
19using codepoint_t = UCD::UnicodeSet::codepoint_t;
20using interval_t = UCD::UnicodeSet::interval_t;
21
22enum CC_type {UnicodeClass, ByteClass};
23
24class CC : public RE, public UCD::UnicodeSet {
25public:
26
27    static inline bool classof(const RE * re) {
28        return re->getClassTypeId() == ClassTypeId::CC;
29    }
30    static inline bool classof(const void *) {
31        return false;
32    }
33
34
35    std::string canonicalName(const CC_type type) const;
36
37    inline codepoint_t min_codepoint() const {
38        return front().first;
39    }
40
41    inline codepoint_t max_codepoint() const {
42        return back().second;
43    }
44
45    virtual ~CC() {}
46
47protected:
48    friend CC * makeCC();
49    friend CC * makeCC(const codepoint_t codepoint);
50    friend CC * makeCC(const codepoint_t lo, const codepoint_t hi);
51    friend CC * makeCC(const CC * cc1, const CC * cc2);
52    friend CC * makeCC(const std::initializer_list<interval_t> list);
53    friend CC * makeCC(const std::vector<interval_t> & list);
54    friend CC * makeCC(UCD::UnicodeSet && set);
55    friend CC * subtractCC(const CC * a, const CC * b);
56    friend CC * intersectCC(const CC * a, const CC * b);
57    friend CC * caseInsensitize(const CC * a, const CC * b);
58
59    inline CC()
60    : RE(ClassTypeId::CC) {
61
62    }
63
64    CC(const CC & cc);
65
66    inline CC(const codepoint_t codepoint)
67    : RE(ClassTypeId::CC)
68    , UCD::UnicodeSet(codepoint) {
69
70    }
71
72    inline CC(const codepoint_t lo_codepoint, const codepoint_t hi_codepoint)
73    : RE(ClassTypeId::CC)
74    , UCD::UnicodeSet(lo_codepoint, hi_codepoint) {
75
76    }
77
78    CC(const CC * cc1, const CC * cc2);
79
80    inline CC(UCD::UnicodeSet && set)
81    : RE(ClassTypeId::CC)
82    , UCD::UnicodeSet(std::move(set)) {
83
84    }
85
86    template <typename itr>
87    CC * initialize(itr begin, itr end);
88
89};
90
91inline static CC::iterator begin(const CC & cc) {
92    return cc.begin();
93}
94
95inline static CC::iterator end(const CC & cc) {
96    return cc.end();
97}
98
99inline codepoint_t lo_codepoint(const interval_t & i) {
100    return std::get<0>(i);
101}
102inline codepoint_t lo_codepoint(const CC::iterator i) {
103    return lo_codepoint(*i);
104}
105
106inline codepoint_t hi_codepoint(const interval_t & i) {
107    return std::get<1>(i);
108}
109inline codepoint_t hi_codepoint(const CC::iterator i) {
110    return hi_codepoint(*i);
111}
112
113template<typename itr>
114CC * CC::initialize(itr begin, itr end) {
115    for (auto i = begin; i != end; ++i) {
116        insert_range(i->first, i->second);
117    }
118    return this;
119}
120
121/**
122 * @brief RE::makeCC
123 *
124 * Various factory constructors for the RE CC class
125 *
126 * @return a CC object
127 */
128
129inline CC * makeCC() {
130    return new CC();
131}
132
133inline CC * makeCC(const codepoint_t codepoint) {
134    return new CC(codepoint);
135}
136
137inline CC * makeCC(const codepoint_t lo, const codepoint_t hi) {
138    return new CC(lo, hi);
139}
140
141inline CC * makeCC(const CC * cc1, const CC * cc2) {
142    return new CC(cc1, cc2);
143}
144
145inline CC * makeCC(const std::initializer_list<interval_t> list) {
146    return makeCC()->initialize(list.begin(), list.end());
147}
148
149inline CC * makeCC(const std::vector<interval_t> & list) {
150    return makeCC()->initialize(list.begin(), list.end());
151}
152
153inline CC * makeCC(UCD::UnicodeSet && set) {
154    return new CC(std::move(set));
155}
156
157inline CC * subtractCC(const CC * a, const CC * b) {
158    return makeCC(std::move(*a - *b));
159}
160
161inline CC * intersectCC(const CC * a, const CC * b) {
162    return makeCC(std::move(*a & *b));
163}
164
165CC * caseInsensitize(const CC * cc);
166
167}
168
169#endif // RE_CC_H
Note: See TracBrowser for help on using the repository browser.