 ;; Actual Reification of WeaverWorld
 ;; ---------------------------------
 
-
-
 (defn-
   weaverworld-typemap
   "Relation between an AspectJ weaverworld and its non-expandable TypeMap."



;; Pointcut definitions

(defn
  aspect-pointcutdefinition

    (equals ?handle 
            (AsmRelationshipProvider/getHandle  (-> ?aspect .getWorld .getModel) ?advice))))

(defn
  advice-sourcelocation
  "Relation between an advice and its location in the source code (an ISourceLocation)."
  [?advice ?location]
  (all
    (advice ?advice)
    (equals ?location (.getSourceLocation ?advice))))


;; Intertype declarations
;; ----------------------


;Only returned one ITD of XCutTest
;(defn
