2009-06-10 18:29:44 -07:00
|
|
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
|
2007-03-22 10:30:00 -07:00
|
|
|
*
|
|
|
|
* ***** BEGIN LICENSE BLOCK *****
|
|
|
|
* Version: MPL 1.1/GPL 2.0/LGPL 2.1
|
|
|
|
*
|
|
|
|
* The contents of this file are subject to the Mozilla Public License Version
|
|
|
|
* 1.1 (the "License"); you may not use this file except in compliance with
|
|
|
|
* the License. You may obtain a copy of the License at
|
|
|
|
* http://www.mozilla.org/MPL/
|
|
|
|
*
|
|
|
|
* Software distributed under the License is distributed on an "AS IS" basis,
|
|
|
|
* WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
|
|
|
|
* for the specific language governing rights and limitations under the
|
|
|
|
* License.
|
|
|
|
*
|
|
|
|
* The Original Code is Mozilla Communicator client code, released
|
|
|
|
* March 31, 1998.
|
|
|
|
*
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
* Netscape Communications Corporation.
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 1998
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
*
|
|
|
|
* Contributor(s):
|
|
|
|
*
|
|
|
|
* Alternatively, the contents of this file may be used under the terms of
|
|
|
|
* either of the GNU General Public License Version 2 or later (the "GPL"),
|
|
|
|
* or the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
|
|
|
|
* in which case the provisions of the GPL or the LGPL are applicable instead
|
|
|
|
* of those above. If you wish to allow use of your version of this file only
|
|
|
|
* under the terms of either the GPL or the LGPL, and not to allow others to
|
|
|
|
* use your version of this file under the terms of the MPL, indicate your
|
|
|
|
* decision by deleting the provisions above and replace them with the notice
|
|
|
|
* and other provisions required by the GPL or the LGPL. If you do not delete
|
|
|
|
* the provisions above, a recipient may use your version of this file under
|
|
|
|
* the terms of any one of the MPL, the GPL or the LGPL.
|
|
|
|
*
|
|
|
|
* ***** END LICENSE BLOCK ***** */
|
|
|
|
|
|
|
|
#ifndef jsregexp_h___
|
|
|
|
#define jsregexp_h___
|
|
|
|
/*
|
|
|
|
* JS regular expression interface.
|
|
|
|
*/
|
|
|
|
#include <stddef.h>
|
2010-08-11 13:30:07 -07:00
|
|
|
#include "jsprvtd.h"
|
2007-03-22 10:30:00 -07:00
|
|
|
#include "jsstr.h"
|
2010-09-13 15:53:50 -07:00
|
|
|
#include "jscntxt.h"
|
|
|
|
#include "jsvector.h"
|
2007-03-22 10:30:00 -07:00
|
|
|
|
|
|
|
#ifdef JS_THREADSAFE
|
|
|
|
#include "jsdhash.h"
|
|
|
|
#endif
|
|
|
|
|
2010-08-11 13:30:07 -07:00
|
|
|
extern js::Class js_RegExpClass;
|
|
|
|
|
2010-09-13 15:53:50 -07:00
|
|
|
namespace js {
|
|
|
|
|
|
|
|
class RegExpStatics
|
|
|
|
{
|
|
|
|
typedef Vector<int, 20, SystemAllocPolicy> MatchPairs;
|
2010-11-15 20:15:02 -08:00
|
|
|
MatchPairs matchPairs;
|
|
|
|
JSString *input;
|
|
|
|
uintN flags;
|
|
|
|
RegExpStatics *bufferLink;
|
|
|
|
bool copied;
|
2010-09-13 15:53:50 -07:00
|
|
|
|
|
|
|
bool createDependent(JSContext *cx, size_t start, size_t end, Value *out) const;
|
|
|
|
|
|
|
|
size_t pairCount() const {
|
|
|
|
JS_ASSERT(matchPairs.length() % 2 == 0);
|
|
|
|
return matchPairs.length() / 2;
|
|
|
|
}
|
2010-10-04 11:45:34 -07:00
|
|
|
|
|
|
|
void copyTo(RegExpStatics &dst) {
|
|
|
|
dst.matchPairs.clear();
|
|
|
|
/* 'save' has already reserved space in matchPairs */
|
|
|
|
JS_ALWAYS_TRUE(dst.matchPairs.append(matchPairs));
|
2010-11-15 20:15:02 -08:00
|
|
|
dst.input = input;
|
2010-10-04 11:45:34 -07:00
|
|
|
dst.flags = flags;
|
|
|
|
}
|
|
|
|
|
|
|
|
void aboutToWrite() {
|
|
|
|
if (bufferLink && !bufferLink->copied) {
|
|
|
|
copyTo(*bufferLink);
|
|
|
|
bufferLink->copied = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-09-13 15:53:50 -07:00
|
|
|
/*
|
|
|
|
* Check whether the index at |checkValidIndex| is valid (>= 0).
|
|
|
|
* If so, construct a string for it and place it in |*out|.
|
|
|
|
* If not, place undefined in |*out|.
|
|
|
|
*/
|
|
|
|
bool makeMatch(JSContext *cx, size_t checkValidIndex, size_t pairNum, Value *out) const;
|
2010-11-10 17:02:08 -08:00
|
|
|
static const uintN allFlags = JSREG_FOLD | JSREG_GLOB | JSREG_STICKY | JSREG_MULTILINE;
|
2010-11-15 20:15:02 -08:00
|
|
|
friend class RegExp;
|
2010-11-10 17:02:08 -08:00
|
|
|
|
|
|
|
public:
|
|
|
|
RegExpStatics() : bufferLink(NULL), copied(false) { clear(); }
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
struct InitBuffer {};
|
|
|
|
explicit RegExpStatics(InitBuffer) : bufferLink(NULL), copied(false) {}
|
|
|
|
|
2010-09-13 15:53:50 -07:00
|
|
|
static RegExpStatics *extractFrom(JSObject *global);
|
|
|
|
|
|
|
|
/* Mutators. */
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
bool save(JSContext *cx, RegExpStatics *buffer) {
|
|
|
|
JS_ASSERT(!buffer->copied && !buffer->bufferLink);
|
|
|
|
buffer->bufferLink = bufferLink;
|
|
|
|
bufferLink = buffer;
|
|
|
|
if (!buffer->matchPairs.reserve(matchPairs.length())) {
|
2010-10-04 11:45:34 -07:00
|
|
|
js_ReportOutOfMemory(cx);
|
|
|
|
return false;
|
|
|
|
}
|
2010-11-10 17:02:08 -08:00
|
|
|
return true;
|
2010-10-04 11:45:34 -07:00
|
|
|
}
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
void restore() {
|
|
|
|
if (bufferLink->copied)
|
|
|
|
bufferLink->copyTo(*this);
|
|
|
|
bufferLink = bufferLink->bufferLink;
|
|
|
|
}
|
|
|
|
|
2010-09-13 15:53:50 -07:00
|
|
|
void setMultiline(bool enabled) {
|
2010-10-04 11:45:34 -07:00
|
|
|
aboutToWrite();
|
2010-09-13 15:53:50 -07:00
|
|
|
if (enabled)
|
|
|
|
flags = flags | JSREG_MULTILINE;
|
|
|
|
else
|
|
|
|
flags = flags & ~JSREG_MULTILINE;
|
|
|
|
}
|
|
|
|
|
|
|
|
void clear() {
|
2010-10-04 11:45:34 -07:00
|
|
|
aboutToWrite();
|
2010-11-15 20:15:02 -08:00
|
|
|
input = 0;
|
2010-09-13 15:53:50 -07:00
|
|
|
flags = 0;
|
|
|
|
matchPairs.clear();
|
|
|
|
}
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
void checkInvariants() {
|
|
|
|
if (pairCount() > 0) {
|
|
|
|
JS_ASSERT(input);
|
|
|
|
JS_ASSERT(get(0, 0) <= get(0, 1));
|
|
|
|
JS_ASSERT(get(0, 1) <= int(input->length()));
|
|
|
|
}
|
|
|
|
}
|
2010-09-13 15:53:50 -07:00
|
|
|
|
|
|
|
void reset(JSString *newInput, bool newMultiline) {
|
2010-10-04 11:45:34 -07:00
|
|
|
aboutToWrite();
|
2010-09-13 15:53:50 -07:00
|
|
|
clear();
|
2010-11-15 20:15:02 -08:00
|
|
|
input = newInput;
|
2010-09-13 15:53:50 -07:00
|
|
|
setMultiline(newMultiline);
|
|
|
|
checkInvariants();
|
|
|
|
}
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
void setInput(JSString *newInput) {
|
2010-10-04 11:45:34 -07:00
|
|
|
aboutToWrite();
|
2010-11-15 20:15:02 -08:00
|
|
|
input = newInput;
|
2010-09-13 15:53:50 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Accessors. */
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
JSString *getInput() const { return input; }
|
2010-09-13 15:53:50 -07:00
|
|
|
uintN getFlags() const { return flags; }
|
|
|
|
bool multiline() const { return flags & JSREG_MULTILINE; }
|
2010-11-15 20:15:02 -08:00
|
|
|
bool matched() const { JS_ASSERT(pairCount() > 0); return get(0, 1) - get(0, 0) > 0; }
|
|
|
|
size_t getParenCount() const { JS_ASSERT(pairCount() > 0); return pairCount() - 1; }
|
2010-09-13 15:53:50 -07:00
|
|
|
|
|
|
|
void mark(JSTracer *trc) const {
|
2010-11-15 20:15:02 -08:00
|
|
|
if (input)
|
|
|
|
JS_CALL_STRING_TRACER(trc, input, "res->input");
|
2010-09-13 15:53:50 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
size_t getParenLength(size_t parenNum) const {
|
2010-11-15 20:13:20 -08:00
|
|
|
if (pairCount() <= parenNum + 1)
|
2010-09-13 15:53:50 -07:00
|
|
|
return 0;
|
2010-11-15 20:13:20 -08:00
|
|
|
return get(parenNum + 1, 1) - get(parenNum + 1, 0);
|
2010-09-13 15:53:50 -07:00
|
|
|
}
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
int get(size_t pairNum, bool which) const {
|
|
|
|
JS_ASSERT(pairNum < pairCount());
|
|
|
|
return matchPairs[2 * pairNum + which];
|
|
|
|
}
|
|
|
|
|
2010-09-13 15:53:50 -07:00
|
|
|
/* Value creators. */
|
|
|
|
|
2010-11-15 20:15:02 -08:00
|
|
|
bool createInput(JSContext *cx, Value *out) const;
|
2010-09-13 15:53:50 -07:00
|
|
|
bool createLastMatch(JSContext *cx, Value *out) const { return makeMatch(cx, 0, 0, out); }
|
|
|
|
bool createLastParen(JSContext *cx, Value *out) const;
|
|
|
|
bool createLeftContext(JSContext *cx, Value *out) const;
|
|
|
|
bool createRightContext(JSContext *cx, Value *out) const;
|
|
|
|
|
|
|
|
bool createParen(JSContext *cx, size_t parenNum, Value *out) const {
|
|
|
|
return makeMatch(cx, (parenNum + 1) * 2, parenNum + 1, out);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Substring creators. */
|
|
|
|
|
|
|
|
void getParen(size_t num, JSSubString *out) const;
|
|
|
|
void getLastMatch(JSSubString *out) const;
|
|
|
|
void getLastParen(JSSubString *out) const;
|
|
|
|
void getLeftContext(JSSubString *out) const;
|
|
|
|
void getRightContext(JSSubString *out) const;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2010-08-11 13:30:07 -07:00
|
|
|
static inline bool
|
|
|
|
VALUE_IS_REGEXP(JSContext *cx, js::Value v)
|
|
|
|
{
|
|
|
|
return !v.isPrimitive() && v.toObject().isRegExp();
|
|
|
|
}
|
|
|
|
|
2010-07-12 13:40:44 -07:00
|
|
|
inline const js::Value &
|
|
|
|
JSObject::getRegExpLastIndex() const
|
|
|
|
{
|
|
|
|
JS_ASSERT(isRegExp());
|
2010-10-13 11:49:22 -07:00
|
|
|
return getSlot(JSSLOT_REGEXP_LAST_INDEX);
|
2010-07-12 13:40:44 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
|
|
|
JSObject::setRegExpLastIndex(const js::Value &v)
|
|
|
|
{
|
|
|
|
JS_ASSERT(isRegExp());
|
2010-10-13 11:49:22 -07:00
|
|
|
setSlot(JSSLOT_REGEXP_LAST_INDEX, v);
|
2010-07-12 13:40:44 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
|
|
|
JSObject::setRegExpLastIndex(jsdouble d)
|
|
|
|
{
|
|
|
|
JS_ASSERT(isRegExp());
|
2010-10-13 11:49:22 -07:00
|
|
|
setSlot(JSSLOT_REGEXP_LAST_INDEX, js::NumberValue(d));
|
2010-07-12 13:40:44 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
|
|
|
JSObject::zeroRegExpLastIndex()
|
|
|
|
{
|
|
|
|
JS_ASSERT(isRegExp());
|
2010-10-13 11:49:22 -07:00
|
|
|
getSlotRef(JSSLOT_REGEXP_LAST_INDEX).setInt32(0);
|
2010-07-12 13:40:44 -07:00
|
|
|
}
|
|
|
|
|
2010-07-14 23:19:36 -07:00
|
|
|
namespace js { class AutoStringRooter; }
|
2010-03-29 12:24:03 -07:00
|
|
|
|
2009-12-30 13:49:26 -08:00
|
|
|
inline bool
|
|
|
|
JSObject::isRegExp() const
|
|
|
|
{
|
|
|
|
return getClass() == &js_RegExpClass;
|
|
|
|
}
|
|
|
|
|
2010-03-17 12:55:45 -07:00
|
|
|
extern JS_FRIEND_API(JSBool)
|
|
|
|
js_ObjectIsRegExp(JSObject *obj);
|
|
|
|
|
2007-03-22 10:30:00 -07:00
|
|
|
extern JSObject *
|
|
|
|
js_InitRegExpClass(JSContext *cx, JSObject *obj);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Export js_regexp_toString to the decompiler.
|
|
|
|
*/
|
|
|
|
extern JSBool
|
2010-07-14 23:19:36 -07:00
|
|
|
js_regexp_toString(JSContext *cx, JSObject *obj, js::Value *vp);
|
2007-03-22 10:30:00 -07:00
|
|
|
|
2010-08-11 13:30:07 -07:00
|
|
|
extern JS_FRIEND_API(JSObject *) JS_FASTCALL
|
|
|
|
js_CloneRegExpObject(JSContext *cx, JSObject *obj, JSObject *proto);
|
|
|
|
|
2007-03-22 10:30:00 -07:00
|
|
|
/*
|
2010-08-11 13:30:07 -07:00
|
|
|
* Move data from |cx|'s regexp statics to |statics| and root the input string in |tvr| if it's
|
|
|
|
* available.
|
2007-03-22 10:30:00 -07:00
|
|
|
*/
|
2010-08-11 13:30:07 -07:00
|
|
|
extern JS_FRIEND_API(void)
|
|
|
|
js_SaveAndClearRegExpStatics(JSContext *cx, js::RegExpStatics *res, js::AutoStringRooter *tvr);
|
|
|
|
|
|
|
|
/* Move the data from |statics| into |cx|. */
|
|
|
|
extern JS_FRIEND_API(void)
|
|
|
|
js_RestoreRegExpStatics(JSContext *cx, js::RegExpStatics *res);
|
2007-03-22 10:30:00 -07:00
|
|
|
|
|
|
|
extern JSBool
|
2009-05-06 16:03:10 -07:00
|
|
|
js_XDRRegExpObject(JSXDRState *xdr, JSObject **objp);
|
2007-03-22 10:30:00 -07:00
|
|
|
|
2010-09-01 16:39:56 -07:00
|
|
|
extern JSBool
|
|
|
|
js_regexp_exec(JSContext *cx, uintN argc, js::Value *vp);
|
|
|
|
extern JSBool
|
|
|
|
js_regexp_test(JSContext *cx, uintN argc, js::Value *vp);
|
|
|
|
|
2007-03-22 10:30:00 -07:00
|
|
|
#endif /* jsregexp_h___ */
|