Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

added link to paper, and reformatted code a bit

  • Loading branch information...
commit ca4b525edb038a2f7fcb2f089c3f2709c1764c77 1 parent cd74ed3
@tvcutsem authored
Showing with 14 additions and 8 deletions.
  1. +7 −4 examples/membrane.js
  2. +7 −4 notification/membrane.js
View
11 examples/membrane.js
@@ -19,6 +19,9 @@
* Inspired by the original membrane example code by Mark S. Miller:
* http://wiki.ecmascript.org/doku.php?id=harmony:proxies#an_identity-preserving_membrane
*
+ * For a detailed rationale of this membrane design, and the interaction
+ * with ES5 invariants, see http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-03.pdf
+ *
* @author tvcutsem
*/
@@ -345,13 +348,13 @@
var dryToWetRef = {val:null};
var wetToDryRef = {val:null};
- dryToWetRef.val =
- dryToWetMaker(dryToWetCache, wetToDryCache, dryToWetRef, wetToDryRef);
+ dryToWetRef.val = dryToWetMaker(dryToWetCache, wetToDryCache,
+ dryToWetRef, wetToDryRef);
// note the reversed order of wetToDry and dryToWet:
- wetToDryRef.val =
- dryToWetMaker(wetToDryCache, dryToWetCache, wetToDryRef, dryToWetRef);
+ wetToDryRef.val = dryToWetMaker(wetToDryCache, dryToWetCache,
+ wetToDryRef, dryToWetRef);
return {
target: wetToDryRef.val(initWetTarget),
View
11 notification/membrane.js
@@ -19,6 +19,9 @@
* Inspired by the original membrane example code by Mark S. Miller:
* http://wiki.ecmascript.org/doku.php?id=harmony:proxies#an_identity-preserving_membrane
*
+ * For a detailed rationale of this membrane design, and the interaction
+ * with ES5 invariants, see http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-03.pdf
+ *
* @author tvcutsem
*/
@@ -354,13 +357,13 @@
var dryToWetRef = {val:null};
var wetToDryRef = {val:null};
- dryToWetRef.val =
- dryToWetMaker(dryToWetCache, wetToDryCache, dryToWetRef, wetToDryRef);
+ dryToWetRef.val = dryToWetMaker(dryToWetCache, wetToDryCache,
+ dryToWetRef, wetToDryRef);
// note the reversed order of wetToDry and dryToWet:
- wetToDryRef.val =
- dryToWetMaker(wetToDryCache, dryToWetCache, wetToDryRef, dryToWetRef);
+ wetToDryRef.val = dryToWetMaker(wetToDryCache, dryToWetCache,
+ wetToDryRef, dryToWetRef);
return {
target: wetToDryRef.val(initWetTarget),
Please sign in to comment.
Something went wrong with that request. Please try again.