Added new coverage test source.

diff --git a/ajde/testdata/examples/coverage/ModelCoverage.java b/ajde/testdata/examples/coverage/ModelCoverage.java
new file mode 100644 (file)
index 0000000..cf14bf0
--- /dev/null
+++ b/ajde/testdata/examples/coverage/ModelCoverage.java
@@ -0,0 +1,69 @@
+
+import java.io.*;;
+
+class Point { 
+
+       int x;
+       static int sx;
+
+       { x = 0; }
+       static { sx = 1; }
+       
+       public Point() { }
+       
+       public int getX() { return x;   }
+       
+       public void setX(int x) { this.x = x; }
+       
+       void doIt() { 
+               try {
+                       File f = new File(".");
+                       f.getCanonicalPath();
+               } catch (IOException ioe) {
+                       System.err.println("!");        
+               }       
+               setX(10);
+       }
+} 
+
+aspect PcdCoverage {
+    before(): get(int *.*) { }
+    before(): set(int *.*) { }
+    before(): initialization(Point.new(..)) { }
+    before(): staticinitialization(Point) { }
+    before(): handler(IOException) { }
+    before(): call(String Point.setX(int)) { }
+//    before(): call(String Point.new()) { }
+//    execution(): call(String Point.setX(int)) { }
+}
+
+aspect InterTypeDecCoverage {
+
+    pointcut illegalNewFigElt():  call(FigureElement+.new(..)) &&
+                                 !withincode(* Main.main(..));
+
+    declare error: illegalNewFigElt():
+           "Illegal figure element constructor call.";
+
+    declare warning: illegalNewFigElt():
+           "Illegal figure element constructor call.";
+
+    declare parents: Point extends java.io.Serializable;
+
+    declare parents: Point implements java.util.Observable;
+
+    //declare soft: Point: call(* *(..));
+
+    public String Point.getName() { return "xxx"; }
+
+    public int Point.xxx = 0; 
+}
+
+aspect AdviceCoverage {
+
+}
+
+
+
+
+

diff --git a/ajde/testdata/examples/coverage/coverage.ajsym b/ajde/testdata/examples/coverage/coverage.ajsym
new file mode 100644 (file)
index 0000000..27561a1
Binary files /dev/null and b/ajde/testdata/examples/coverage/coverage.ajsym differ

diff --git a/ajde/testdata/examples/coverage/coverage.lst b/ajde/testdata/examples/coverage/coverage.lst
new file mode 100644 (file)
index 0000000..fae756a
--- /dev/null
+++ b/ajde/testdata/examples/coverage/coverage.lst
@@ -0,0 +1 @@
+ModelCoverage.java\r