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

Last change on this file since 5795 was 5795, checked in by cameron, 15 months ago

Adding Alphabet to CCs: initial check-in

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