feat: Add support for CtReceiverParameter in spoon model.

src/main/java/spoon/metamodel/Metamodel.java

@@ -7,20 +7,7 @@
  */
 package spoon.metamodel;
 
-import java.io.File;
-import java.lang.annotation.Annotation;
-import java.util.ArrayList;
-import java.util.Arrays;
-import java.util.Collection;
-import java.util.Collections;
-import java.util.HashMap;
-import java.util.HashSet;
-import java.util.List;
-import java.util.Map;
-import java.util.Set;
-
 import org.jspecify.annotations.Nullable;
-
 import spoon.Launcher;
 import spoon.SpoonException;
 import spoon.reflect.annotations.PropertyGetter;
@@ -33,6 +20,7 @@
 import spoon.reflect.declaration.CtModuleDirective;
 import spoon.reflect.declaration.CtPackageExport;
 import spoon.reflect.declaration.CtProvidedService;
+import spoon.reflect.declaration.CtReceiverParameter;
 import spoon.reflect.declaration.CtRecord;
 import spoon.reflect.declaration.CtRecordComponent;
 import spoon.reflect.declaration.CtType;
@@ -42,11 +30,23 @@
 import spoon.reflect.reference.CtTypeReference;
 import spoon.reflect.visitor.filter.AllTypeMembersFunction;
 import spoon.reflect.visitor.filter.TypeFilter;
-import spoon.support.adaption.TypeAdaptor;
 import spoon.support.DefaultCoreFactory;
 import spoon.support.StandardEnvironment;
+import spoon.support.adaption.TypeAdaptor;
 import spoon.support.compiler.FileSystemFolder;
 
+import java.io.File;
+import java.lang.annotation.Annotation;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.Collection;
+import java.util.Collections;
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+
 /**
  * Represents the Spoon metamodel (incl. at runtime)
  */
@@ -195,6 +195,7 @@ public static Set<CtType<?>> getAllMetamodelInterfaces() {
 		result.add(factory.Type().get(CtModuleDirective.class));
 		result.add(factory.Type().get(CtRecordComponent.class));
 		result.add(factory.Type().get(CtRecord.class));
+		result.add(factory.Type().get(CtReceiverParameter.class));
 		return result;
 	}
 

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

@@ -7,8 +7,10 @@
  */
 package spoon.reflect.code;
 
+import org.jspecify.annotations.Nullable;
 import spoon.reflect.declaration.CtExecutable;
 import spoon.reflect.declaration.CtMethod;
+import spoon.reflect.declaration.CtReceiverParameter;
 import spoon.reflect.reference.CtTypeReference;
 import spoon.support.DerivedProperty;
 import spoon.reflect.annotations.PropertyGetter;
@@ -77,4 +79,11 @@ public interface CtLambda<T> extends CtExpression<T>, CtExecutable<T> {
 	@Override
 	@UnsettableProperty
 	<T1 extends CtExecutable<T>> T1 setThrownTypes(Set<CtTypeReference<? extends Throwable>> thrownTypes);
+
+	@UnsettableProperty
+	CtExecutable<?> setReceiverParameter(CtReceiverParameter receiverParameter);
+
+	@UnsettableProperty
+	@Nullable
+	CtReceiverParameter getReceiverParameter();
 }

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

@@ -7,6 +7,7 @@
  */
 package spoon.reflect.declaration;
 
+import org.jspecify.annotations.Nullable;
 import spoon.reflect.code.CtBodyHolder;
 import spoon.reflect.code.CtExpression;
 import spoon.reflect.code.CtStatement;
@@ -54,4 +55,10 @@ public interface CtAnnotationMethod<T> extends CtMethod<T> {
 	@Override
 	@UnsettableProperty
 	<T1 extends CtExecutable<T>> T1 setParameters(List<CtParameter<?>> parameters);
+	@UnsettableProperty
+	CtExecutable<?> setReceiverParameter(CtReceiverParameter receiverParameter);
+
+	@UnsettableProperty
+	@Nullable
+	CtReceiverParameter getReceiverParameter();
 }

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

@@ -7,6 +7,7 @@
  */
 package spoon.reflect.declaration;
 
+import org.jspecify.annotations.Nullable;
 import spoon.reflect.reference.CtTypeReference;
 import spoon.support.UnsettableProperty;
 
@@ -50,4 +51,12 @@ public interface CtAnonymousExecutable extends CtExecutable<Void>, CtTypeMember
 	@UnsettableProperty
 	<T extends CtExecutable<Void>> T addThrownType(CtTypeReference<? extends Throwable> throwType);
 
+
+	@UnsettableProperty
+	CtExecutable<?> setReceiverParameter(CtReceiverParameter receiverParameter);
+
+	@UnsettableProperty
+	@Nullable
+	CtReceiverParameter getReceiverParameter();
+
 }

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

@@ -7,10 +7,12 @@
  */
 package spoon.reflect.declaration;
 
+import org.jspecify.annotations.Nullable;
 import spoon.reflect.annotations.PropertyGetter;
 import spoon.reflect.annotations.PropertySetter;
 import spoon.reflect.code.CtBlock;
 import spoon.reflect.code.CtBodyHolder;
+import spoon.reflect.path.CtRole;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtTypeReference;
 import spoon.support.DerivedProperty;
@@ -140,4 +142,11 @@ public interface CtExecutable<R> extends CtNamedElement, CtTypedElement<R>, CtBo
 
 	@Override
 	CtExecutable<R> clone();
+
+	@PropertySetter(role = CtRole.RECEIVER_PARAMETER)
+	CtExecutable<?> setReceiverParameter(CtReceiverParameter receiverParameter);
+
+	@PropertyGetter(role = CtRole.RECEIVER_PARAMETER)
+	@Nullable
+	CtReceiverParameter getReceiverParameter();
 }

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

@@ -61,5 +61,4 @@ public interface CtMethod<T> extends CtExecutable<T>, CtFormalTypeDeclarer, CtSh
 	 * If you want to rename the new method, use {@link Refactoring#changeMethodName(CtMethod, String)} (and not {@link #setSimpleName(String)}, which does not update the references)
 	 */
 	CtMethod<?> copyMethod();
-
 }

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

@@ -0,0 +1,31 @@
+/*
+ * SPDX-License-Identifier: (MIT OR CECILL-C)
+ *
+ * Copyright (C) 2006-2023 INRIA and contributors
+ *
+ * Spoon is available either under the terms of the MIT License (see LICENSE-MIT.txt) or the Cecill-C License (see LICENSE-CECILL-C.txt). You as the user are entitled to choose the terms under which to adopt Spoon.
+ */
+package spoon.reflect.declaration;
+
+
+import spoon.reflect.reference.CtTypeReference;
+/**
+ * This element represents a class declaration.
+ *
+ * <pre>
+ * // Foo this is a receiver parameter
+ * class Foo {
+ *   void bar(Foo this) {
+ *   }
+ * }
+ * </pre>
+ */
+public interface CtReceiverParameter extends CtTypedElement<Object>, CtShadowable, CtElement {
+
+	@Override
+	CtTypeReference<Object> getType();
+
+	@Override
+	CtReceiverParameter clone();
+
+}

src/main/java/spoon/reflect/factory/CoreFactory.java

@@ -7,8 +7,6 @@
  */
 package spoon.reflect.factory;
 
-import java.lang.annotation.Annotation;
-
 import spoon.reflect.code.CtAnnotationFieldAccess;
 import spoon.reflect.code.CtArrayRead;
 import spoon.reflect.code.CtArrayWrite;
@@ -78,27 +76,28 @@
 import spoon.reflect.declaration.CtEnum;
 import spoon.reflect.declaration.CtEnumValue;
 import spoon.reflect.declaration.CtField;
+import spoon.reflect.declaration.CtImport;
 import spoon.reflect.declaration.CtInterface;
 import spoon.reflect.declaration.CtMethod;
 import spoon.reflect.declaration.CtModule;
+import spoon.reflect.declaration.CtModuleRequirement;
+import spoon.reflect.declaration.CtPackage;
+import spoon.reflect.declaration.CtPackageDeclaration;
 import spoon.reflect.declaration.CtPackageExport;
+import spoon.reflect.declaration.CtParameter;
 import spoon.reflect.declaration.CtProvidedService;
+import spoon.reflect.declaration.CtReceiverParameter;
 import spoon.reflect.declaration.CtRecord;
 import spoon.reflect.declaration.CtRecordComponent;
-import spoon.reflect.declaration.CtPackage;
-import spoon.reflect.declaration.CtPackageDeclaration;
-import spoon.reflect.declaration.CtParameter;
 import spoon.reflect.declaration.CtTypeParameter;
 import spoon.reflect.declaration.CtUsedService;
 import spoon.reflect.reference.CtArrayTypeReference;
 import spoon.reflect.reference.CtCatchVariableReference;
 import spoon.reflect.reference.CtExecutableReference;
 import spoon.reflect.reference.CtFieldReference;
-import spoon.reflect.declaration.CtImport;
 import spoon.reflect.reference.CtIntersectionTypeReference;
 import spoon.reflect.reference.CtLocalVariableReference;
 import spoon.reflect.reference.CtModuleReference;
-import spoon.reflect.declaration.CtModuleRequirement;
 import spoon.reflect.reference.CtPackageReference;
 import spoon.reflect.reference.CtParameterReference;
 import spoon.reflect.reference.CtTypeMemberWildcardImportReference;
@@ -107,6 +106,8 @@
 import spoon.reflect.reference.CtUnboundVariableReference;
 import spoon.reflect.reference.CtWildcardReference;
 
+import java.lang.annotation.Annotation;
+
 /**
  * This interface defines the core creation methods for the meta-model (to be
  * implemented so that Spoon can manipulate other meta-model implementations).
@@ -653,4 +654,10 @@ BodyHolderSourcePosition createBodyHolderSourcePosition(
 	 * {@return a record pattern}
 	 */
 	CtRecordPattern createRecordPattern();
+
+	/**
+	 * Creates a receiver parameter.
+	 * @return the created receiver parameter.
+	 */
+	CtReceiverParameter createReceiverParameter();
 }

src/main/java/spoon/reflect/factory/ExecutableFactory.java

@@ -242,5 +242,4 @@ public <T> CtExecutableReference<T> createReference(String signature) {
 		executableRef.setParameters(params);
 		return executableRef;
 	}
-
 }