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

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();
 
  /**