diff options
Diffstat (limited to 'ajdoc/testdata')
-rw-r--r-- | ajdoc/testdata/declareForms/.cvsignore | 1 | ||||
-rw-r--r-- | ajdoc/testdata/declareForms/DeclareCoverage.java | 39 |
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 { } + |