update javadoc

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/scripts/ScriptCommandAst.java

@@ -11,19 +11,27 @@
 import org.jspecify.annotations.NullMarked;
 import org.jspecify.annotations.Nullable;
 
-/**
- * This class represents is the AST of a proof script command.
- *
- * @param commandName the name of the command, e.g., "macro" for {@code macro auto;}
- * @param namedArgs a map of the given named arguments and values. If a named argument is not given,
- *        the entry should be missing in the map. Null-values are not allowed.
- * @param positionalArgs the list of given positional arguments
- * @param commands a nullable block of proof script arguments (represents "higher-order proof
- *        scripts")
- * @param location the location of this command for error reporting.
- * @author Alexander Weigl
- * @version 1 (14.03.25)
- */
+/// This class represents is the AST of a proof script command.
+///
+/// It is an abstraction to the commands of following structure:
+///
+/// ```
+/// <commandName> key_1=value_1 ... key_m=value_m positionalArgs_1 ... positionalArgs_n {
+///    commands_0; ...; commands_k;
+/// }
+/// ```
+///
+///
+/// @param commandName the name of the command, e.g., "macro" for `macro auto;`
+/// @param namedArgs a map of the given named arguments and values.
+///        If a named argument is not given, the entry should be missing in the map. Null-values are not allowed.
+/// @param positionalArgs the list of given positional arguments
+/// @param commands a nullable block of proof script arguments (represents "higher-order proof
+///        scripts").
+///        If null, the block was omitted syntactically in contrast to an empty list.
+/// @param location the location of this command for error reporting.
+/// @author Alexander Weigl
+/// @version 1 (14.03.25)
 @NullMarked
 public record ScriptCommandAst(
         String commandName,