source: icGREP/icgrep-devel/icgrep/re/re_name.h @ 5805

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

Name::Type::Byte removed in favor of cc::Byte alphabet; other cleanups

File size: 5.5 KB
Line 
1#ifndef RE_NAME_H
2#define RE_NAME_H
3
4#include <re/re_re.h>
5#include <re/re_cc.h>
6#include <llvm/Support/Casting.h>
7
8namespace UCD {
9    class UnicodeSet;
10}
11
12namespace re {
13
14class Name : public RE {
15public:
16    static inline bool classof(const RE * re) {
17        return re->getClassTypeId() == ClassTypeId::Name;
18    }
19    static inline bool classof(const void *) {
20        return false;
21    }
22    using length_t = std::string::size_type;
23    enum class Type {
24        Unicode
25        , UnicodeProperty
26        , Capture
27        , Reference
28        , ZeroWidth
29        , Unknown
30    };
31    std::string getNamespace() const;
32    bool hasNamespace() const;
33    std::string getName() const;
34    Type getType() const;
35    RE * getDefinition() const;
36    bool operator<(const Name & other) const;
37    bool operator<(const CC & other) const;
38    bool operator>(const CC & other) const;
39    void setDefinition(RE * definition);
40    virtual ~Name() {}
41protected:
42    friend Name * makeName(const std::string & name, RE * cc);
43    friend Name * makeCapture(const std::string & name, RE * captured);
44    friend Name * makeReference(const std::string & name, RE * captureName);
45    friend Name * makeZeroWidth(const std::string & name, RE * zerowidth);
46    friend Name * makeName(CC * const cc);
47    friend Name * makeName(const std::string &, Type);
48    friend Name * makeName(const std::string &, const std::string &, Type);
49    Name(const char * nameSpace, const length_t namespaceLength, const char * name, const length_t nameLength, Type type, RE * defn)
50    : RE(ClassTypeId::Name)
51    , mNamespaceLength(namespaceLength)
52    , mNamespace(replicateString(nameSpace, namespaceLength))
53    , mNameLength(nameLength)
54    , mName(replicateString(name, nameLength))
55    , mType(type)
56    , mDefinition(defn) {
57
58    }
59    inline const char * replicateString(const char * string, const length_t length) {
60        if (string && (length > 0)) {
61            char * allocated = reinterpret_cast<char*>(mAllocator.allocate(length));
62            std::memcpy(allocated, string, length);
63            return allocated;
64        }
65        return nullptr;
66    }
67
68private:
69    const length_t      mNamespaceLength;
70    const char * const  mNamespace;
71    const length_t      mNameLength;
72    const char * const  mName;
73    Type                mType;
74    RE *                mDefinition;
75};
76
77inline std::string Name::getNamespace() const {
78    return std::string(mNamespace, mNamespaceLength);
79}
80
81inline bool Name::hasNamespace() const {
82    return (mNamespaceLength != 0);
83}
84
85inline std::string Name::getName() const {
86    return std::string(mName, mNameLength);
87}
88   
89inline Name::Type Name::getType() const {
90    return mType;
91}
92
93inline RE * Name::getDefinition() const {
94    return mDefinition;
95}
96
97inline void Name::setDefinition(RE * definition) {
98    assert (definition != nullptr);
99    assert (definition != this);
100    mDefinition = definition;
101}
102
103inline bool Name::operator < (const Name & other) const {
104    if (LLVM_LIKELY(mDefinition && other.mDefinition && llvm::isa<CC>(mDefinition) && llvm::isa<CC>(other.mDefinition))) {
105        return *llvm::cast<CC>(mDefinition) < *llvm::cast<CC>(other.mDefinition);
106    } else if (mNamespaceLength < other.mNamespaceLength) {
107        return true;
108    } else if (mNamespaceLength > other.mNamespaceLength) {
109        return false;
110    } else if (mNameLength < other.mNameLength) {
111        return true;
112    } else if (mNameLength > other.mNameLength) {
113        return false;
114    }
115    const auto diff = std::memcmp(mNamespace, other.mNamespace, mNamespaceLength);
116    if (diff < 0) {
117        return true;
118    } else if (diff > 0) {
119        return false;
120    }
121    return (std::memcmp(mName, other.mName, mNameLength) < 0);
122}
123
124inline bool Name::operator < (const CC & other) const {
125    if (mDefinition && llvm::isa<CC>(mDefinition)) {
126        return *llvm::cast<CC>(mDefinition) < other;
127    }
128    return RE::ClassTypeId::Name < RE::ClassTypeId::CC;
129}
130
131inline bool Name::operator > (const CC & other) const {
132    if (mDefinition && llvm::isa<CC>(mDefinition)) {
133        return other < *llvm::cast<CC>(mDefinition);
134    }
135    return RE::ClassTypeId::CC < RE::ClassTypeId::Name;
136}
137
138inline Name * makeName(const std::string & name, const Name::Type type) {
139    return new Name(nullptr, 0, name.c_str(), name.length(), type, nullptr);
140}
141
142inline Name * makeName(const std::string & property, const std::string & value, const Name::Type type) {
143    return new Name(property.c_str(), property.length(), value.c_str(), value.length(),  type, nullptr);
144}
145
146inline Name * makeName(const std::string & name, RE * cc) {
147    if (llvm::isa<Name>(cc)) {
148        return llvm::cast<Name>(cc);
149    }
150    else if (llvm::isa<CC>(cc)) {
151        return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::Unicode, cc);
152    }
153    else return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::Unknown, cc);
154}
155
156inline Name * makeName(CC * const cc) {
157    const std::string name = cc->canonicalName(CC_type::UnicodeClass);
158    return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::Unicode, cc);
159}
160
161inline Name * makeCapture(const std::string & name, RE * captured) {
162    return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::Capture, captured);
163}
164   
165inline Name * makeReference(const std::string & name, RE * captureName) {
166    return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::Reference, captureName);
167}
168
169inline Name * makeZeroWidth(const std::string & name, RE * zerowidth = NULL) {
170    return new Name(nullptr, 0, name.c_str(), name.length(), Name::Type::ZeroWidth, zerowidth);
171}
172}
173
174#endif // RE_NAME_H
Note: See TracBrowser for help on using the repository browser.