Fixed Bug #56779: [ajdoc] add ajdoc support for inter-type declarations and other declare forms

Also fixed ajdoc tests to run correctly when executed via RunTheseBeforeYouCommit tests (previously they were not being run and silently failing).

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 { } 
+