Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Mocking up wormhole assumptions

  • Loading branch information...
commit 298697bc11a078a99bca8628bbe4022587321461 1 parent 3f1c1a4
@jfabry jfabry authored
Showing with 31 additions and 0 deletions.
  1. +31 −0 EkekoAspectJ/src/damp/ekeko/aspectj/assumptions.clj
View
31 EkekoAspectJ/src/damp/ekeko/aspectj/assumptions.clj
@@ -87,5 +87,36 @@
(pointcut-concretizedby ?concpointcut1 ?concpointcut2)))
+;;Assumption this aspect implements a wormhole
+;; -- the naive version
+;; MOCK IMPLEMENTATION - DOES NOT WORK
+(defn
+ naivewormhole-aspect-entry-exit
+ [?aspect ?entryadvice ?exitadvice]
+ (all
+ (aspect-advice ?aspect ?entryadvice)
+ (aspect-field ?aspect ?instvar)
+ (advice-writesto ?entryadvice ?instvar) ;NOT IMPLEMENTED YET
+ (aspect-advice ?aspect ?exitadvice)
+ (advice-readsfrom ?exitadvice ?instvar)));NOT IMPLEMENTED YET
+
+;;Assumption this aspect implements a wormhole
+;; -- percflow of naive
+;; MOCK IMPLEMENTATION - DOES NOT WORK
+(defn
+ wormhole-aspect-entry-exit
+ [?aspect ?entryadvice ?exitadvice]
+ (all
+ (naivewormhole-aspect-entry-exit ?aspect ?entryadvice ?exitadvice)
+ (percflowaspect ?aspect)));NOT IMPLEMENTED YET
+;;Assumption this aspect implements a wormhole
+;; -- naive + execution path from entry to exit without interruptions of other advice of the same aspect
+;; MOCK IMPLEMENTATION - DOES NOT WORK
+(defn
+ confidentwormhole-aspect-entry-exit
+ [?aspect ?entryadvice ?exitadvice]
+ (all
+ (naivewormhole-aspect-entry-exit ?aspect ?entryadvice ?exitadvice)
+ (consecutiveexec-aspect-advice1-advice2 ?aspect ?entryadvice ?exitadvice)));NOT IMPLEMENTED YET

0 comments on commit 298697b

Please sign in to comment.
Something went wrong with that request. Please try again.