Issue #34: Added inference for return, parameter and attribute types.

src/safeds_stubgen/api_analyzer/_api.py

@@ -210,6 +210,7 @@ class Attribute:
     is_static: bool
     type: AbstractType | None
     docstring: AttributeDocstring
+    is_type_inferred: bool
 
     def to_dict(self) -> dict[str, Any]:
         return {
@@ -219,6 +220,7 @@ def to_dict(self) -> dict[str, Any]:
             "is_public": self.is_public,
             "is_static": self.is_static,
             "type": self.type.to_dict() if self.type is not None else None,
+            "is_type_inferred": self.is_type_inferred,
         }
 
 
@@ -256,7 +258,8 @@ class Parameter:
     default_value: str | bool | int | float | None
     assigned_by: ParameterAssignment
     docstring: ParameterDocstring
-    type: AbstractType
+    type: AbstractType | None
+    is_type_inferred: bool
 
     @property
     def is_required(self) -> bool:
@@ -277,7 +280,8 @@ def to_dict(self) -> dict[str, Any]:
             "is_optional": self.is_optional,
             "default_value": self.default_value,
             "assigned_by": self.assigned_by.name,
-            "type": self.type.to_dict(),
+            "type": self.type.to_dict() if self.type is not None else None,
+            "is_type_inferred": self.is_type_inferred,
         }
 
 
@@ -304,6 +308,7 @@ class Result:
     id: str
     name: str
     type: AbstractType | None
+    is_type_inferred: bool
     docstring: ResultDocstring
 
     def to_dict(self) -> dict[str, Any]:
@@ -312,6 +317,7 @@ def to_dict(self) -> dict[str, Any]:
             "name": self.name,
             "docstring": self.docstring.to_dict(),
             "type": self.type.to_dict() if self.type is not None else None,
+            "is_type_inferred": self.is_type_inferred,
         }