feature: add CtAnnotation#getAllValues to reason about all annotation values

src/main/java/spoon/reflect/declaration/CtAnnotation.java

@@ -108,6 +108,10 @@ public interface CtAnnotation<A extends Annotation> extends CtExpression<A>, CtS
 	@PropertyGetter(role = VALUE)
 	Map<String, CtExpression> getValues();
 
+	/** Get all values of {@link #getValues()}, plus the default ones defined in the annotation type. */
+	@DerivedProperty
+	Map<String, CtExpression> getAllValues();
+
 	/**
 	 * Sets the annotation's type.
 	 *

src/main/java/spoon/support/reflect/declaration/CtAnnotationImpl.java

@@ -417,6 +417,20 @@ public Map<String, CtExpression> getValues() {
 		return Collections.unmodifiableMap(elementValues);
 	}
 
+	@Override
+	public Map<String, CtExpression> getAllValues() {
+		Map<String, CtExpression> values = new TreeMap();
+		// first, we put the default values
+		CtAnnotationType<?> annotationType = (CtAnnotationType) getAnnotationType().getTypeDeclaration();
+		for (CtAnnotationMethod m : annotationType.getAnnotationMethods()) {
+			values.put(m.getSimpleName(), m.getDefaultExpression());
+		}
+
+		// we override the values with ones of this expression
+		values.putAll(elementValues);
+		return Collections.unmodifiableMap(values);
+	}
+
 	private Object getReflectValue(String fieldname) {
 		try {
 			Class<?> c = getAnnotationType().getActualClass();

src/test/java/spoon/test/annotation/AnnotationTest.java

@@ -162,6 +162,19 @@ public void testModelBuildingAnnotationBoundUsage() throws Exception {
 		Bound actualAnnotation2 = (Bound) annot.getActualAnnotation();
 		assertEquals(10, actualAnnotation2.max());
 
+		// contract: getAllvalues
+		// only direct value, no default ones in getValues()
+		assertEquals(1, a.getValues().size());
+		assertEquals(0, annot.getValues().size());
+
+		// direct values and default ones in getValues()
+		assertEquals(1, a.getAllValues().size());
+		assertEquals(1, annot.getAllValues().size());
+
+		// the good value is selected, not the default value
+		assertEquals("8", a.getAllValues().get("max").toString());
+
+
 	}
 
 	@Test
@@ -198,6 +211,9 @@ public void testAnnotationParameterTypes() throws Exception {
 		assertEquals(1, annotations.size());
 
 		CtAnnotation<?> a = annotations.get(0);
+
+		assertEquals(15, a.getAllValues().size());
+
 		AnnotParamTypes annot = (AnnotParamTypes) a.getActualAnnotation();
 		assertEquals(42, annot.integer());
 		assertEquals(1, annot.integers().length);