@pleger/esa-js 0.2.0

package/conformance/01-noBR-base-reentrancy.js

@@ -0,0 +1,15 @@
+// Conformance: base-triggered reentrancy can be constrained with noBR.
+
+function f(n) {
+  if (n > 0) {
+    return f(n - 1);
+  }
+  return 0;
+}
+
+AJS.before(PCs.noBR(PCs.exec("f")), function () {
+  Testing.flag("adv");
+});
+
+f(3);
+Testing.check("adv");

package/conformance/02-level-sensitive-cflow.js

@@ -0,0 +1,19 @@
+// Conformance: control-flow checks should be level-sensitive.
+// z runs in before advice for x and must not be observed as in-cflow of x.
+
+function x() {}
+function z() {}
+
+AJS.before(PCs.exec("x"), function () {
+  AJS.down(function () {
+    Testing.flag("x-advice");
+    z();
+  });
+});
+
+AJS.before(PCs.exec("z").inCFlowOf(PCs.exec("x")), function () {
+  Testing.flag("z-in-x-cflow");
+});
+
+x();
+Testing.check("x-advice");

package/conformance/03-scoping-strategy-d.js

@@ -0,0 +1,20 @@
+// Conformance: d strategy controls deployment on created objects.
+
+function f() {}
+
+AJS.deployOn(
+  [false, true, true],
+  AJS.aspect(AJS.BEFORE, PCs.call(f), function () {
+    Testing.flag("seen");
+  }),
+  AJS.globalObject
+);
+
+var object = {
+  x: function () {
+    f();
+  }
+};
+
+object.x();
+Testing.check("seen");

package/conformance/04-jp-isolation-before-order.js

@@ -0,0 +1,17 @@
+// Conformance: join-point mutation in one advice should not leak to others.
+
+function f() {}
+
+AJS.before(PCs.exec("f"), function (jp) {
+  jp.finalResult = "changed";
+  if (jp.finalResult !== "changed") {
+    Testing.flag("no-change");
+  }
+});
+
+AJS.before(PCs.exec("f"), function () {
+  Testing.flag("adv");
+});
+
+f();
+Testing.check("no-change", "adv");