fix(scanner): add missing scan properties based on a new powerful spe…

…cification

src/main/java/spoon/reflect/code/CtCatchVariable.java

@@ -19,6 +19,8 @@
 import spoon.reflect.declaration.CtMultiTypedElement;
 import spoon.reflect.declaration.CtVariable;
 import spoon.reflect.reference.CtCatchVariableReference;
+import spoon.support.DerivedProperty;
+import spoon.support.UnsettableProperty;
 
 /**
  * This code element defines an exception variable in a catch.
@@ -33,8 +35,13 @@ public interface CtCatchVariable<T> extends CtVariable<T>, CtMultiTypedElement,
 	 *
 	 * @see spoon.reflect.declaration.CtNamedElement#getReference()
 	 */
+	@DerivedProperty
 	CtCatchVariableReference<T> getReference();
 
 	@Override
 	CtCatchVariable<T> clone();
+
+	@Override
+	@UnsettableProperty
+	<C extends CtVariable<T>> C setDefaultExpression(CtExpression<T> assignedExpression);
 }

src/main/java/spoon/reflect/code/CtConstructorCall.java

@@ -19,6 +19,7 @@
 import spoon.reflect.reference.CtActualTypeContainer;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
 
 import java.util.List;
 
@@ -38,6 +39,7 @@ public interface CtConstructorCall<T> extends CtTargetedExpression<T, CtExpressi
 	 * @see CtExecutableReference#getActualTypeArguments()
 	 */
 	@Override
+	@DerivedProperty
 	List<CtTypeReference<?>> getActualTypeArguments();
 
 	/**

src/main/java/spoon/reflect/code/CtInvocation.java

@@ -19,6 +19,7 @@
 import spoon.reflect.reference.CtActualTypeContainer;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
 
 import java.util.List;
 
@@ -42,6 +43,7 @@ public interface CtInvocation<T> extends CtAbstractInvocation<T>, CtStatement, C
 	 * @see CtExecutableReference#getActualTypeArguments()
 	 */
 	@Override
+	@DerivedProperty
 	List<CtTypeReference<?>> getActualTypeArguments();
 
 	/**
@@ -66,6 +68,7 @@ public interface CtInvocation<T> extends CtAbstractInvocation<T>, CtStatement, C
 	 * the actual type bound to this particular invocation.
 	 */
 	@Override
+	@DerivedProperty
 	CtTypeReference<T> getType();
 
 	@Override

src/main/java/spoon/reflect/code/CtLambda.java

@@ -17,6 +17,10 @@
 package spoon.reflect.code;
 
 import spoon.reflect.declaration.CtExecutable;
+import spoon.reflect.reference.CtTypeReference;
+import spoon.support.UnsettableProperty;
+
+import java.util.Set;
 
 /**
  * This code element represents the creation of a lambda. A lambda
@@ -63,4 +67,8 @@ public interface CtLambda<T> extends CtExpression<T>, CtExecutable<T> {
 
 	@Override
 	CtLambda<T> clone();
+
+	@Override
+	@UnsettableProperty
+	<T1 extends CtExecutable<T>> T1 setThrownTypes(Set<CtTypeReference<? extends Throwable>> thrownTypes);
 }

src/main/java/spoon/reflect/code/CtLocalVariable.java

@@ -18,6 +18,7 @@
 
 import spoon.reflect.declaration.CtVariable;
 import spoon.reflect.reference.CtLocalVariableReference;
+import spoon.support.DerivedProperty;
 
 /**
  * This code element defines a local variable definition (within an executable
@@ -39,8 +40,16 @@ public interface CtLocalVariable<T> extends CtStatement, CtVariable<T>, CtRHSRec
 	 *
 	 * @see spoon.reflect.declaration.CtNamedElement#getReference()
 	 */
+	@DerivedProperty
 	CtLocalVariableReference<T> getReference();
 
+	/**
+	 * Useful proxy to {@link #getDefaultExpression()}.
+	 */
+	@Override
+	@DerivedProperty
+	CtExpression<T> getAssignment();
+
 	@Override
 	CtLocalVariable<T> clone();
 }

src/main/java/spoon/reflect/code/CtNewClass.java

@@ -20,6 +20,7 @@
 import spoon.reflect.reference.CtActualTypeContainer;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
 
 import java.util.List;
 
@@ -46,6 +47,7 @@ public interface CtNewClass<T> extends CtConstructorCall<T> {
 	 * @see CtExecutableReference#getActualTypeArguments()
 	 */
 	@Override
+	@DerivedProperty
 	List<CtTypeReference<?>> getActualTypeArguments();
 
 	/**

src/main/java/spoon/reflect/code/CtRHSReceiver.java

@@ -17,6 +17,7 @@
 package spoon.reflect.code;
 
 import spoon.reflect.declaration.CtField;
+import spoon.support.DerivedProperty;
 
 /**
  * Represents the right hand side of an assignment
@@ -27,6 +28,7 @@ public interface CtRHSReceiver<A> {
 	/**
 	 * Returns the right-hand side of the "=" operator.
 	 */
+	@DerivedProperty
 	CtExpression<A> getAssignment();
 
 	/**

src/main/java/spoon/reflect/code/CtTypeAccess.java

@@ -17,6 +17,7 @@
 package spoon.reflect.code;
 
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
 
 /**
  * This code element represents a type reference usable as an expression.
@@ -68,6 +69,7 @@ public interface CtTypeAccess<A> extends CtExpression<Void> {
 	 * @see #getAccessedType() to get the accessed type.
 	 */
 	@Override
+	@DerivedProperty
 	CtTypeReference<Void> getType();
 
 	@Override

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

@@ -21,8 +21,11 @@
 import spoon.reflect.code.CtLiteral;
 import spoon.reflect.code.CtNewArray;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
+import spoon.support.UnsettableProperty;
 
 import java.lang.annotation.Annotation;
+import java.util.List;
 import java.util.Map;
 
 /**
@@ -102,6 +105,7 @@ public interface CtAnnotation<A extends Annotation> extends CtExpression<A>, CtS
 	 *
 	 * @return annotated {@link spoon.reflect.declaration.CtElement}
 	 */
+	@DerivedProperty // the annotation is contained by the element not the other way around
 	CtElement getAnnotatedElement();
 
 	/**
@@ -138,4 +142,8 @@ public interface CtAnnotation<A extends Annotation> extends CtExpression<A>, CtS
 
 	@Override
 	CtAnnotation<A> clone();
+
+	@Override
+	@UnsettableProperty
+	<C extends CtExpression<A>> C setTypeCasts(List<CtTypeReference<?>> types);
 }

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

@@ -16,7 +16,13 @@
  */
 package spoon.reflect.declaration;
 
+import spoon.reflect.code.CtBlock;
 import spoon.reflect.code.CtExpression;
+import spoon.reflect.reference.CtTypeReference;
+import spoon.support.UnsettableProperty;
+
+import java.util.List;
+import java.util.Set;
 
 /**
  * This element defines an annotation method declared in an annotation type.
@@ -34,4 +40,20 @@ public interface CtAnnotationMethod<T> extends CtMethod<T> {
 
 	@Override
 	CtAnnotationMethod<T> clone();
+
+	@Override
+	@UnsettableProperty
+	<B extends T, T1 extends CtExecutable<T>> T1 setBody(CtBlock<B> body);
+
+	@Override
+	@UnsettableProperty
+	<T1 extends CtExecutable<T>> T1 setThrownTypes(Set<CtTypeReference<? extends Throwable>> thrownTypes);
+
+	@Override
+	@UnsettableProperty
+	<T extends CtFormalTypeDeclarer> T setFormalCtTypeParameters(List<CtTypeParameter> formalTypeParameters);
+
+	@Override
+	@UnsettableProperty
+	<T1 extends CtExecutable<T>> T1 setParameters(List<CtParameter<?>> parameters);
 }

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

@@ -16,7 +16,12 @@
  */
 package spoon.reflect.declaration;
 
+import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
+import spoon.support.UnsettableProperty;
+
 import java.lang.annotation.Annotation;
+import java.util.List;
 import java.util.Set;
 
 /**
@@ -27,6 +32,7 @@ public interface CtAnnotationType<T extends Annotation> extends CtType<T> {
 	/**
 	 * Gets the methods of this annotation type which are necessarily {@link CtAnnotationMethod}.
 	 */
+	@DerivedProperty
 	Set<CtAnnotationMethod<?>> getAnnotationMethods();
 
 	/**
@@ -45,4 +51,17 @@ public interface CtAnnotationType<T extends Annotation> extends CtType<T> {
 
 	@Override
 	CtAnnotationType<T> clone();
+
+	@Override
+	@UnsettableProperty
+	<T extends CtFormalTypeDeclarer> T setFormalCtTypeParameters(List<CtTypeParameter> formalTypeParameters);
+
+	@Override
+	@UnsettableProperty
+	<C extends CtType<T>> C setSuperInterfaces(Set<CtTypeReference<?>> interfaces);
+
+	@Override
+	@UnsettableProperty
+	<C extends CtType<T>> C setSuperclass(CtTypeReference<?> superClass);
+
 }

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

@@ -16,6 +16,12 @@
  */
 package spoon.reflect.declaration;
 
+import spoon.reflect.reference.CtTypeReference;
+import spoon.support.UnsettableProperty;
+
+import java.util.List;
+import java.util.Set;
+
 /**
  * This element defines an anonymous executable block declaration in a class.
  *
@@ -24,4 +30,12 @@
 public interface CtAnonymousExecutable extends CtExecutable<Void>, CtTypeMember {
 	@Override
 	CtAnonymousExecutable clone();
+
+	@Override
+	@UnsettableProperty
+	<T extends CtExecutable<Void>> T setThrownTypes(Set<CtTypeReference<? extends Throwable>> thrownTypes);
+
+	@Override
+	@UnsettableProperty
+	<T extends CtExecutable<Void>> T setParameters(List<CtParameter<?>> parameters);
 }

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

@@ -18,6 +18,8 @@
 
 import spoon.reflect.code.CtStatement;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
+
 import java.util.List;
 import java.util.Set;
 
@@ -33,15 +35,11 @@
  * @author Renaud Pawlak
  */
 public interface CtClass<T extends Object> extends CtType<T>, CtStatement {
-
-	/**
-	 * Gets the fields defined by this class.
-	 */
-	List<CtField<?>> getFields();
-
 	/**
 	 * Returns the anonymous blocks of this class.
+	 * Derived from {@link #getTypeMembers()}
 	 */
+	@DerivedProperty
 	List<CtAnonymousExecutable> getAnonymousExecutables();
 
 	/**
@@ -52,7 +50,10 @@ public interface CtClass<T extends Object> extends CtType<T>, CtStatement {
 	/**
 	 * Returns the constructors of this class. This includes the default
 	 * constructor if this class has no constructors explicitly declared.
+	 *
+	 * Derived from {@link #getTypeMembers()}
 	 */
+	@DerivedProperty
 	Set<CtConstructor<T>> getConstructors();
 
 	/**

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

@@ -26,12 +26,6 @@ public interface CtConstructor<T> extends CtExecutable<T>, CtTypeMember, CtForma
 	 */
 	String getSimpleName();
 
-	/**
-	 * Returns the declaring type of this constructor (always the same as the
-	 * constructor's type).
-	 */
-	CtType<T> getDeclaringType();
-
 	@Override
 	CtConstructor<T> clone();
 }

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

@@ -25,6 +25,7 @@
 import spoon.reflect.visitor.Filter;
 import spoon.reflect.visitor.ReferenceFilter;
 import spoon.reflect.visitor.Root;
+import spoon.support.DerivedProperty;
 import spoon.support.visitor.equals.IgnoredByEquals;
 
 import java.lang.annotation.Annotation;
@@ -161,6 +162,7 @@ <E extends CtElement> List<E> getAnnotatedChildren(
 	 * Calculates and returns the set of all the types referenced by this
 	 * element (and sub-elements in the AST).
 	 */
+	@DerivedProperty
 	Set<CtTypeReference<?>> getReferencedTypes();
 
 	/**
@@ -196,6 +198,7 @@ <E extends CtElement> List<E> getAnnotatedChildren(
 	 * @throws ParentNotInitializedException
 	 * 		when the parent of this element is not initialized
 	 */
+	@DerivedProperty
 	CtElement getParent() throws ParentNotInitializedException;
 
 	/**

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

@@ -16,6 +16,9 @@
  */
 package spoon.reflect.declaration;
 
+import spoon.reflect.reference.CtTypeReference;
+import spoon.support.UnsettableProperty;
+
 import java.util.List;
 
 /**
@@ -69,4 +72,12 @@ public interface CtEnum<T extends Enum<?>> extends CtClass<T> {
 
 	@Override
 	CtEnum<T> clone();
+
+	@Override
+	@UnsettableProperty
+	<T extends CtFormalTypeDeclarer> T setFormalCtTypeParameters(List<CtTypeParameter> formalTypeParameters);
+
+	@Override
+	@UnsettableProperty
+	<C extends CtType<T>> C setSuperclass(CtTypeReference<?> superClass);
 }

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

@@ -19,6 +19,7 @@
 import spoon.reflect.code.CtBlock;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtTypeReference;
+import spoon.support.DerivedProperty;
 
 import java.util.List;
 import java.util.Set;
@@ -39,6 +40,7 @@ public interface CtExecutable<R> extends CtNamedElement, CtTypedElement<R> {
 	 *
 	 * @see spoon.reflect.declaration.CtNamedElement#getReference()
 	 */
+	@DerivedProperty
 	CtExecutableReference<R> getReference();
 
 	/**