Skip to content
Browse files

Forward declarations of mockup-ed relations (to avoid errors when the

file is loaded).
  • Loading branch information...
1 parent 298697b commit 5908b372d70c0f24dee7f86bfe6e585ec1093d48 @cderoove committed
Showing with 6 additions and 1 deletion.
  1. +6 −1 EkekoAspectJ/src/damp/ekeko/aspectj/assumptions.clj
7 EkekoAspectJ/src/damp/ekeko/aspectj/assumptions.clj
@@ -86,6 +86,11 @@
(pointcut-concretizedby ?abpointcut ?concpointcut1)
(pointcut-concretizedby ?concpointcut1 ?concpointcut2)))
+(clojure.core/declare advice-writesto)
+(clojure.core/declare advice-readsfrom)
+(clojure.core/declare percflowaspect)
+(clojure.core/declare consecutiveexec-aspect-advice1-advice2)
;;Assumption this aspect implements a wormhole
;; -- the naive version
@@ -93,7 +98,7 @@
[?aspect ?entryadvice ?exitadvice]
- (all
+ (fresh [?instvar]
(aspect-advice ?aspect ?entryadvice)
(aspect-field ?aspect ?instvar)
(advice-writesto ?entryadvice ?instvar) ;NOT IMPLEMENTED YET

0 comments on commit 5908b37

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