mungedb-aggregate/lib/pipeline/documentSources/MatchDocumentSource.js

"use strict";
var async = require("async"),
	matcher = require("../../matcher/Matcher2.js");

/**
 * A match document source built off of DocumentSource
 *
 * NOTE: THIS IS A DEVIATION FROM THE MONGO IMPLEMENTATION.
 * TODO: internally uses `sift` to fake it, which has bugs, so we need to reimplement this by porting the MongoDB implementation
 *
 * @class MatchDocumentSource
 * @namespace mungedb-aggregate.pipeline.documentSources
 * @module mungedb-aggregate
 * @constructor
 * @param {Object} query the match query to use
 * @param [ctx] {ExpressionContext}
 **/
var MatchDocumentSource = module.exports = function MatchDocumentSource(query, ctx){
	if (arguments.length > 2) throw new Error("up to two args expected");
	if (!query) throw new Error("arg `query` is required");
	base.call(this, ctx);
	this.query = query; // save the query, so we can check it for deps later. THIS IS A DEVIATION FROM THE MONGO IMPLEMENTATION
	this.matcher = new matcher(query);

	// not supporting currently $text operator
	// set _isTextQuery to false.
	// TODO: update after we implement $text.
	if (klass.isTextQuery(query)) throw new Error("$text pipeline operation not supported");
	this._isTextQuery = false;

}, klass = MatchDocumentSource, base = require("./DocumentSource"), proto = klass.prototype = Object.create(base.prototype, {constructor:{value:klass}}); //jshint ignore:line

klass.matchName = "$match";

proto.getSourceName = function getSourceName(){
	return klass.matchName;
};

proto.getNext = function getNext() {
	if (this.expCtx && this.expCtx.checkForInterrupt) this.expCtx.checkForInterrupt();

	// The user facing error should have been generated earlier.
	if (this._isTextQuery) throw new Error("Should never call getNext on a $match stage with $text clause; massert code 17309");

	var next;
	while((next = this.source.getNext())) {
		if (this.matcher.matches(next))
			return next;
	}

	// Nothing matched
	return null;
};

proto.coalesce = function coalesce(nextSource) {
	if (!(nextSource instanceof MatchDocumentSource))
		return false;

	this.matcher = new matcher({
		$and: [this.getQuery(), nextSource.getQuery()]
	});

	return true;
};

proto.serialize = function(explain) {
	var out = {};
	out[this.getSourceName()] = this.getQuery();
	return out;
};

klass.uassertNoDisallowedClauses = function uassertNoDisallowedClauses(query) {
	for(var key in query){
		if(query.hasOwnProperty(key)){
			// can't use the Matcher API because this would segfault the constructor
			if (key === "$where") throw new Error("code 16395; $where is not allowed inside of a $match aggregation expression");
			// geo breaks if it is not the first portion of the pipeline
			if (key === "$near") throw new Error("code 16424; $near is not allowed inside of a $match aggregation expression");
			if (key === "$within") throw new Error("code 16425; $within is not allowed inside of a $match aggregation expression");
			if (key === "$nearSphere") throw new Error("code 16426; $nearSphere is not allowed inside of a $match aggregation expression");
			if (query[key] instanceof Object && query[key].constructor === Object) this.uassertNoDisallowedClauses(query[key]);
		}
	}
};

klass.createFromJson = function createFromJson(jsonElement, ctx) {
	if (!(jsonElement instanceof Object) || jsonElement.constructor !== Object)
		throw new Error("code 15959 ; the match filter must be an expression in an object");
	klass.uassertNoDisallowedClauses(jsonElement);
	var matcher = new MatchDocumentSource(jsonElement, ctx);
	return matcher;
};

proto.isTextQuery = function isTextQuery() {
    return this._isTextQuery;
};

klass.isTextQuery = function isTextQuery(query) {
    for (var key in query) { //jshint ignore:line
        var fieldName = key;
        if (fieldName === "$text") return true;
        if (query[key] instanceof Object && query[key].constructor === Object && this.isTextQuery(query[key])) {
            return true;
        }
    }
    return false;
};

klass.setSource = function setSource (source) {
	this.setSource(source);
};

proto.getQuery = function getQuery() {
	return this.matcher._pattern;
};

/** Returns the portion of the match that can safely be promoted to before a $redact.
 * If this returns an empty BSONObj, no part of this match may safely be promoted.
 *
 * To be safe to promote, removing a field from a document to be matched must not cause
 * that document to be accepted when it would otherwise be rejected. As an example,
 * {name: {$ne: "bob smith"}} accepts documents without a name field, which means that
 * running this filter before a redact that would remove the name field would leak
 * information. On the other hand, {age: {$gt:5}} is ok because it doesn't accept documents
 * that have had their age field removed.
 */
proto.redactSafePortion = function redactSafePortion() {
	// This block contains the functions that make up the implementation of
	// DocumentSourceMatch::redactSafePortion(). They will only be called after
	// the Match expression has been successfully parsed so they can assume that
	// input is well formed.

	var isAllDigits = function(n) {
		return !isNaN(n);
	};

	var isFieldnameRedactSafe = function isFieldnameRedactSafe(field) {
		var dotPos = field.indexOf(".");
		if (dotPos === -1)
			return !isAllDigits(field);

		var part = field.slice(0, dotPos),
			rest = field.slice(dotPos+1, field.length);

		return !isAllDigits(part) && isFieldnameRedactSafe(rest);
	};

	// Returns the redact-safe portion of an "inner" match expression. This is the layer like
	// {$gt: 5} which does not include the field name. Returns an empty document if none of the
	// expression can safely be promoted in front of a $redact.
	var redactSavePortionDollarOps = function redactSafePortionDollarOps(expr) { //jshint maxcomplexity:23
		var output = {},
			elem, i, j;

		var keys = Object.keys(expr);
		for (i = 0; i < keys.length; i++) {
			var field = keys[i],
				value = expr[field];

			if (field[0] !== "$")
				continue;

			// Ripped the case apart and did not implement this painful thing:
			// https://github.com/mongodb/mongo/blob/r2.5.4/src/mongo/db/jsobj.cpp#L286
			// Somebody should be taken to task for that work of art.
			if (field === "$type" || field === "$regex" || field === "$options" || field === "$mod") {
				output[field] = value;
			} else if (field === "$lte" || field === "$gte" || field === "$lt" || field === "$gt") {
				if (isTypeRedactSafeInComparison(field))
					output[field] = value;
			} else if (field === "$in") {
				// TODO: value/elem/field/etc may be mixed up and wrong here
				var allOk = true;
				for (j = 0; j < Object.keys(value).length; j++) {
					elem = Object.keys(value)[j];
					if (!isTypeRedactSafeInComparison(value[elem])) {
						allOk = false;
						break;
					}
				}
				if (allOk) {
					output[field] = value;
				}
				break;
			} else if (field === "$all") {
				// TODO: value/elem/field/etc may be mixed up and wrong here
				var matches = [];
				for (j = 0; j < value.length; j++) {
					elem = Object.keys(value)[j];
					if (isTypeRedactSafeInComparison(value[elem]))
						matches.push(value[elem]);
				}
				if (matches.length)
					output[field] = matches;

			} else if (field === "$elemMatch") {
				var subIn = value,
					subOut;

				if (subIn[0] === "$")
					subOut = redactSafePortionDollarOps(subIn);
				else
					subOut = redactSafePortionTopLevel(subIn);

				if (subOut && Object.keys(subOut).length)
					output[field] = subOut;

				break;
			} else {
				// never allowed:
				// equality, maxDist, near, ne, opSize, nin, exists, within, geoIntersects
				continue;
			}
		}

		return output;
	};

	var isTypeRedactSafeInComparison = function isTypeRedactSafeInComparison(type) {
		if (type instanceof Array || (type instanceof Object && type.constructor === Object) || type === null || type === undefined)
			return false;
		return true;
	};

	// Returns the redact-safe portion of an "outer" match expression. This is the layer like
	// {fieldName: {...}} which does include the field name. Returns an empty document if none of
	// the expression can safely be promoted in front of a $redact.
	var redactSafePortionTopLevel = function(topQuery) { //jshint maxcomplexity:18
		var output = {},
			okClauses = [],
			keys = topQuery ? Object.keys(topQuery) : [],
			j, elm, clause;

		for (var i = 0; i < keys.length; i++) {
			var field = keys[i],
				value = topQuery[field];

			if (field.length && field[0] === "$") {
				if (field === "$or") {
					okClauses = [];
					for (j = 0; j < Object.keys(value).length; j++) {
						elm = value[Object.keys(value)[j]];
						clause = redactSafePortionTopLevel(elm);

						if (!clause || Object.keys(clause).length === 0) {
							okClauses = [];
							break;
						}

						okClauses.push(clause);
					}

					if (okClauses && okClauses.length) {
						output.$or = okClauses;
					}
				} else if (field === "$and") {
					okClauses = [];
					for (j = 0; j < Object.keys(value).length; j++) {
						elm = value[Object.keys(value)[j]];
						clause = redactSafePortionTopLevel(elm);

						if (clause && Object.keys(clause).length)
							okClauses.push(clause);
					}

					if (okClauses.length)
						output.$and = okClauses;
				}

				continue;
			}

			if (!isFieldnameRedactSafe(field))
					continue;

			if (value instanceof Array || !value) {
				continue;
			} else if (value instanceof Object && value.constructor === Object) {
				// subobjects (not regex etc)
				var sub = redactSavePortionDollarOps(value);
				if (sub && Object.keys(sub).length)
					output[field] = sub;

				break;
			} else {
				output[field] = value;
			}
		}

		return output;
	};

	return redactSafePortionTopLevel(this.getQuery());
};