summaryrefslogtreecommitdiffstats
path: root/ajdoc/testdata/simple/foo/ModelCoverage.java
diff options
context:
space:
mode:
Diffstat (limited to 'ajdoc/testdata/simple/foo/ModelCoverage.java')
-rw-r--r--ajdoc/testdata/simple/foo/ModelCoverage.java150
1 files changed, 0 insertions, 150 deletions
diff --git a/ajdoc/testdata/simple/foo/ModelCoverage.java b/ajdoc/testdata/simple/foo/ModelCoverage.java
deleted file mode 100644
index 5c14055c6..000000000
--- a/ajdoc/testdata/simple/foo/ModelCoverage.java
+++ /dev/null
@@ -1,150 +0,0 @@
-
-package foo;
-
-import java.io.*;
-import java.util.List;
-
-interface I { }
-
-class Point {
- int x;
- static int sx;
-
- {
- System.out.println("");
- }
-
- { x = 0; }
- static { sx = 1; }
-
- public Point() { }
-
- public int getX() {
- return x;
- }
-
- public void setX(int x) {
- this.x = x;
- }
-
- public int changeX(int x) {
- this.x = x;
- return x;
- }
-
- void doIt() {
- try {
- File f = new File(".");
- f.getCanonicalPath();
- } catch (IOException ioe) {
- System.err.println("!");
- }
-// setX(10);
- new Point();
- }
-}
-
-class SubPoint extends Point { }
-
-class Line { }
-
-aspect AdvisesRelationshipCoverage {
- pointcut methodExecutionP(): execution(void Point.setX(int));
- before(): methodExecutionP() { }
-
- pointcut constructorExecutionP(): execution(Point.new());
- before(): constructorExecutionP() { }
-
- pointcut callMethodP(): call(* Point.setX(int));
- before(): callMethodP() { }
-
- pointcut callConstructorP(): call(Point.new());
- before(): callConstructorP() { }
-
- pointcut getP(): get(int *.*);
- before(): getP() { }
-
- pointcut setP(): set(int *.*) && !set(int *.xxx);
- before(): setP() { }
-
- pointcut initializationP(): initialization(Point.new(..));
- before(): initializationP() { }
-
- pointcut staticinitializationP(): staticinitialization(Point);
- before(): staticinitializationP() { }
-
- pointcut handlerP(): handler(IOException);
- before(): handlerP() { }
-
-// before(): within(*) && execution(* Point.setX(..)) { }
-// before(): within(*) && execution(Point.new()) { }
-}
-
-aspect AdviceNamingCoverage {
- pointcut named(): call(* *.mumble());
- pointcut namedWithOneArg(int i): call(int Point.changeX(int)) && args(i);
- pointcut namedWithArgs(int i, int j): set(int Point.x) && args(i, j);
-
- after(): named() { }
- after(int i, int j) returning: namedWithArgs(i, j) { }
- after() throwing: named() { }
- after(): named() { }
-
- before(): named() { }
-
- int around(int i): namedWithOneArg(i) { return i;}
- int around(int i) throws SizeException: namedWithOneArg(i) { return proceed(i); }
-
- before(): named() { }
- before(int i): call(* *.mumble()) && named() && namedWithOneArg(i) { }
- before(int i): named() && call(* *.mumble()) && namedWithOneArg(i) { }
-
- before(): call(* *.mumble()) { }
-}
-
-abstract aspect AbstractAspect {
- abstract pointcut abPtct();
-}
-
-aspect InterTypeDecCoverage {
- public int Point.xxx = 0;
- public int Point.check(int i, Line l) { return 1 + i; }
-}
-
-aspect DeclareCoverage {
-
- pointcut illegalNewFigElt(): call(Point.new(..)) && !withincode(* *.doIt(..));
-
- declare error: illegalNewFigElt(): "Illegal constructor call.";
- declare warning: call(* Point.setX(..)): "Illegal call.";
-
- declare parents: Point extends java.io.Serializable;
- declare parents: Point+ implements java.util.Observable;
- declare parents: Point && Line implements java.util.Observable;
- declare soft: SizeException : call(* Point.getX());
- declare precedence: AdviceCoverage, InterTypeDecCoverage, *;
-// public Line.new(String s) { }
-}
-
-class SizeException extends Exception { }
-
-aspect AdviceCoverage {
-
-}
-
-abstract class ModifiersCoverage {
- private int a;
- protected int b;
- public int c;
- int d;
-
- static int staticA;
- final int finalA = 0;
-
- abstract void abstractM();
-}
-
-
-
-
-