Rename defaultValueOpt for clearer name

Author: timotheeandres

library/src/scala/annotation/MainAnnotation.scala

@@ -34,7 +34,7 @@ object MainAnnotation:
     /** The docstring of the parameter. Defaults to None. */
     val documentation: Option[String],
     /** The default value that the parameter has. Defaults to None. */
-    val defaultValueOpt: Option[() => T],
+    val defaultValueGetterOpt: Option[() => T],
     /** The ParameterAnnotations associated with the parameter. Defaults to Seq.empty. */
     val annotations: Seq[ParameterAnnotation],
   ) {
@@ -46,10 +46,10 @@ object MainAnnotation:
       new ParameterInfos(name, typeName, documentation, Some(() => defaultValue), annotations)
 
     def withDocumentation(doc: String): ParameterInfos[T] =
-      new ParameterInfos(name, typeName, Some(doc), defaultValueOpt, annotations)
+      new ParameterInfos(name, typeName, Some(doc), defaultValueGetterOpt, annotations)
 
     def withAnnotations(annots: ParameterAnnotation*): ParameterInfos[T] =
-      new ParameterInfos(name, typeName, documentation, defaultValueOpt, annots)
+      new ParameterInfos(name, typeName, documentation, defaultValueGetterOpt, annots)
 
     override def toString: String = s"$name: $typeName"
   }

library/src/scala/main.scala

@@ -244,7 +244,7 @@ final class main(maxLineLength: Int) extends MainAnnotation:
         checkNamesDuplicates(argShortNamess.last)
 
       override def argGetter[T](paramInfos: ParameterInfos[T])(using p: ArgumentParser[T]): () => T =
-        val dvOpt = paramInfos.defaultValueOpt
+        val dvOpt = paramInfos.defaultValueGetterOpt
         registerArg(paramInfos, if dvOpt.nonEmpty then ArgumentKind.OptionalArgument else ArgumentKind.SimpleArgument)
 
         // registerArg placed all infos in the respective buffers