@eagleoutice/flowr-dev
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
36 lines • 1.92 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.SetComparator = exports.NumericalComparator = exports.StringComparator = void 0;
/**
* Represents the different types of string comparators for satisfiability checks for an abstract domain.
*/
var StringComparator;
(function (StringComparator) {
StringComparator[StringComparator["Equal"] = 0] = "Equal";
StringComparator[StringComparator["StartsWith"] = 1] = "StartsWith";
StringComparator[StringComparator["EndsWith"] = 2] = "EndsWith";
StringComparator[StringComparator["Includes"] = 3] = "Includes";
})(StringComparator || (exports.StringComparator = StringComparator = {}));
/**
* Represents the different types of numerical comparators for satisfiability checks for an abstract domain.
*/
var NumericalComparator;
(function (NumericalComparator) {
NumericalComparator[NumericalComparator["Equal"] = 0] = "Equal";
NumericalComparator[NumericalComparator["Less"] = 1] = "Less";
NumericalComparator[NumericalComparator["LessOrEqual"] = 2] = "LessOrEqual";
NumericalComparator[NumericalComparator["Greater"] = 3] = "Greater";
NumericalComparator[NumericalComparator["GreaterOrEqual"] = 4] = "GreaterOrEqual";
})(NumericalComparator || (exports.NumericalComparator = NumericalComparator = {}));
/**
* Represents the different types of set comparators for satisfiability checks for an abstract domain.
*/
var SetComparator;
(function (SetComparator) {
SetComparator[SetComparator["Equal"] = 0] = "Equal";
SetComparator[SetComparator["Subset"] = 1] = "Subset";
SetComparator[SetComparator["SubsetOrEqual"] = 2] = "SubsetOrEqual";
SetComparator[SetComparator["Intersect"] = 3] = "Intersect";
SetComparator[SetComparator["NoIntersect"] = 4] = "NoIntersect";
})(SetComparator || (exports.SetComparator = SetComparator = {}));
//# sourceMappingURL=value-abstract-domain.js.map