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

Last change on this file since 5797 was 5797, checked in by cameron, 17 months ago

makeByte uses the Byte alphabet

File size: 4.5 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    friend CC * makeByte(const codepoint_t codepoint);
56    friend CC * makeByte(const codepoint_t lo, const codepoint_t hi);
57
58    CC(const cc::Alphabet * alphabet);
59
60    CC(const CC & cc);
61
62    CC(const codepoint_t codepoint, const cc::Alphabet * alphabet);
63
64    explicit CC(const codepoint_t lo_codepoint, const codepoint_t hi_codepoint, const cc::Alphabet * alphabet);
65
66    explicit CC(const CC * cc1, const CC * cc2);
67
68    CC(const UCD::UnicodeSet && set, const cc::Alphabet * alphabet);
69
70    CC(std::initializer_list<interval_t>::iterator begin, std::initializer_list<interval_t>::iterator end, const cc::Alphabet * alphabet);
71
72    CC(const std::vector<interval_t>::iterator begin, const std::vector<interval_t>::iterator end, const cc::Alphabet * alphabet);
73private:
74    const cc::Alphabet * mAlphabet;
75   
76
77};
78
79inline static CC::iterator begin(const CC & cc) {
80    return cc.begin();
81}
82
83inline static CC::iterator end(const CC & cc) {
84    return cc.end();
85}
86
87inline codepoint_t lo_codepoint(const interval_t & i) {
88    return std::get<0>(i);
89}
90inline codepoint_t lo_codepoint(const CC::iterator i) {
91    return lo_codepoint(*i);
92}
93
94inline codepoint_t hi_codepoint(const interval_t & i) {
95    return std::get<1>(i);
96}
97inline codepoint_t hi_codepoint(const CC::iterator i) {
98    return hi_codepoint(*i);
99}
100
101/**
102 * @brief RE::makeCC
103 *
104 * Various factory constructors for the RE CC class
105 *
106 * @return a CC object
107 */
108
109inline CC * makeCC(const cc::Alphabet * alphabet = &cc::Unicode) {
110    return new CC(alphabet);
111}
112
113inline CC * makeCC(const codepoint_t codepoint, const cc::Alphabet * alphabet = &cc::Unicode) {
114    return new CC(codepoint, alphabet);
115}
116
117inline CC * makeCC(const codepoint_t lo, const codepoint_t hi, const cc::Alphabet * alphabet = &cc::Unicode) {
118    return new CC(lo, hi, alphabet);
119}
120
121inline CC * makeCC(const CC * cc1, const CC * cc2) {
122    return new CC(cc1, cc2);
123}
124
125inline CC * makeCC(std::initializer_list<interval_t> list, const cc::Alphabet * alphabet = &cc::Unicode) {
126    return new CC(list.begin(), list.end(), alphabet);
127}
128
129inline CC * makeCC(std::vector<interval_t> && list, const cc::Alphabet * alphabet = &cc::Unicode) {
130    return new CC(list.begin(), list.end(), alphabet);
131}
132
133inline CC * makeCC(UCD::UnicodeSet && set, const cc::Alphabet * alphabet = &cc::Unicode) {
134    return new CC(std::move(set), alphabet);
135}
136
137inline CC * subtractCC(const CC * a, const CC * b) {
138    //assert (a->getAlphabet() == b->getAlphabet());
139    return new CC(*a - *b, a->getAlphabet());
140}
141
142inline CC * intersectCC(const CC * a, const CC * b) {
143    //assert (a->getAlphabet() == b->getAlphabet());
144    return new CC(*a & *b, a->getAlphabet());
145}
146
147inline CC * makeByte(const codepoint_t codepoint) {
148    return new CC(codepoint, &cc::Byte);
149}
150
151inline CC * makeByte(const codepoint_t lo, const codepoint_t hi) {
152    return new CC(lo, hi, &cc::Byte);
153}
154   
155}
156
157#endif // RE_CC_H
Note: See TracBrowser for help on using the repository browser.