summaryrefslogtreecommitdiffstats
path: root/ajdoc/testdata/declareForms
diff options
context:
space:
mode:
Diffstat (limited to 'ajdoc/testdata/declareForms')
-rw-r--r--ajdoc/testdata/declareForms/.cvsignore1
-rw-r--r--ajdoc/testdata/declareForms/DeclareCoverage.java39
2 files changed, 40 insertions, 0 deletions
diff --git a/ajdoc/testdata/declareForms/.cvsignore b/ajdoc/testdata/declareForms/.cvsignore
new file mode 100644
index 000000000..8e695ec83
--- /dev/null
+++ b/ajdoc/testdata/declareForms/.cvsignore
@@ -0,0 +1 @@
+doc
diff --git a/ajdoc/testdata/declareForms/DeclareCoverage.java b/ajdoc/testdata/declareForms/DeclareCoverage.java
new file mode 100644
index 000000000..ff89cb0a7
--- /dev/null
+++ b/ajdoc/testdata/declareForms/DeclareCoverage.java
@@ -0,0 +1,39 @@
+
+package foo;
+
+import java.io.*;
+import java.util.List;
+
+public aspect DeclareCoverage {
+
+ void foo() { }
+
+ 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 && Line implements java.util.Observable;
+ declare soft: SizeException : call(* Point.getX());
+ declare precedence: DeclareCoverage, InterTypeDecCoverage, *;
+}
+
+aspect InterTypeDecCoverage {
+
+ void foo() { }
+
+ public int Point.xxx = 0;
+ public int Point.check(int i, int j) { return 1; }
+}
+
+class Point {
+
+}
+
+class Line {
+
+}
+
+class SizeException extends Throwable { }
+