blob: 285e01f02b16b58d1475c08fe4d659e0416851c8 [file] [log] [blame]
Torok Edwince0c81e2009-08-30 08:24:09 +00001//===-- Regex.cpp - Regular Expression matcher implementation -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a POSIX regular expression matcher.
11//
12//===----------------------------------------------------------------------===//
Chris Lattner48ba9ff2009-09-24 20:15:51 +000013
Torok Edwince0c81e2009-08-30 08:24:09 +000014#include "llvm/Support/Regex.h"
15#include "llvm/Support/ErrorHandling.h"
16#include "llvm/Support/raw_ostream.h"
Chris Lattner52870082009-09-24 21:47:32 +000017#include "llvm/ADT/SmallVector.h"
Torok Edwince0c81e2009-08-30 08:24:09 +000018#include "regex_impl.h"
19#include <string>
Torok Edwince0c81e2009-08-30 08:24:09 +000020using namespace llvm;
Chris Lattner48ba9ff2009-09-24 20:15:51 +000021
22Regex::Regex(const StringRef &regex, unsigned Flags) {
Torok Edwince0c81e2009-08-30 08:24:09 +000023 unsigned flags = 0;
Chris Lattner52870082009-09-24 21:47:32 +000024 preg = new llvm_regex();
Torok Edwince0c81e2009-08-30 08:24:09 +000025 preg->re_endp = regex.end();
26 if (Flags & IgnoreCase)
27 flags |= REG_ICASE;
28 if (Flags & NoSub) {
29 flags |= REG_NOSUB;
30 sub = false;
31 } else {
32 sub = true;
33 }
34 if (Flags & Newline)
35 flags |= REG_NEWLINE;
36 error = llvm_regcomp(preg, regex.data(), flags|REG_EXTENDED|REG_PEND);
37}
38
Chris Lattner48ba9ff2009-09-24 20:15:51 +000039bool Regex::isValid(std::string &Error) {
Torok Edwince0c81e2009-08-30 08:24:09 +000040 if (!error)
41 return true;
42
43 size_t len = llvm_regerror(error, preg, NULL, 0);
Chris Lattner48ba9ff2009-09-24 20:15:51 +000044
45 Error.resize(len);
46 llvm_regerror(error, preg, &Error[0], len);
Torok Edwince0c81e2009-08-30 08:24:09 +000047 return false;
48}
49
Chris Lattner48ba9ff2009-09-24 20:15:51 +000050Regex::~Regex() {
Torok Edwince0c81e2009-08-30 08:24:09 +000051 llvm_regfree(preg);
52 delete preg;
53}
54
Chris Lattner48ba9ff2009-09-24 20:15:51 +000055bool Regex::match(const StringRef &String, SmallVectorImpl<StringRef> *Matches){
Torok Edwince0c81e2009-08-30 08:24:09 +000056 unsigned nmatch = Matches ? preg->re_nsub+1 : 0;
57
58 if (Matches) {
59 assert(sub && "Substring matching requested but pattern compiled without");
60 Matches->clear();
61 }
62
63 // pmatch needs to have at least one element.
Chris Lattner52870082009-09-24 21:47:32 +000064 SmallVector<llvm_regmatch_t, 8> pm;
Torok Edwince0c81e2009-08-30 08:24:09 +000065 pm.resize(nmatch > 0 ? nmatch : 1);
66 pm[0].rm_so = 0;
67 pm[0].rm_eo = String.size();
68
69 int rc = llvm_regexec(preg, String.data(), nmatch, pm.data(), REG_STARTEND);
70
71 if (rc == REG_NOMATCH)
72 return false;
73 if (rc != 0) {
74 // regexec can fail due to invalid pattern or running out of memory.
75 error = rc;
76 return false;
77 }
78
79 // There was a match.
80
81 if (Matches) { // match position requested
Chris Lattner48ba9ff2009-09-24 20:15:51 +000082 for (unsigned i = 0; i != nmatch; ++i) {
Torok Edwince0c81e2009-08-30 08:24:09 +000083 if (pm[i].rm_so == -1) {
84 // this group didn't match
85 Matches->push_back(StringRef());
86 continue;
87 }
88 assert(pm[i].rm_eo > pm[i].rm_so);
89 Matches->push_back(StringRef(String.data()+pm[i].rm_so,
90 pm[i].rm_eo-pm[i].rm_so));
91 }
92 }
93
94 return true;
95}