S7(1)
β¨ NAME β¨
Okay bestie, this is the manual page for s7, aka the SEED7 INTERPRETER β the moment you've been waiting for π
. It's the interpreter for the Seed7 programming language, and yes, she's iconic.
π¦ SYNOPSIS π¦
s7 [ options ] sourcefile [ parameters ]
π DESCRIPTION π
So s7 invokes the Seed7 interpreter. Seed7 is an extensible general purpose programming language, and she is a higher level language compared to Ada, C/C++ and Java. Main character energy, honestly π.
Her major features include: user defined statements and operators, abstract data types, templates without special syntax, OO with interfaces and multiple dispatch, statically typed, interpreted or compiled, and portability. The way that list just keeps going β obsessed β¨.
The documentation of Seed7 and many examples can be found in /usr/share/doc/seed7 π.
π OPTIONS π
-?β Write Seed7 interpreter usage. Your βhelp me bestieβ flag π«Ά.-aβ Analyze only and suppress the execution phase. All vibes, no running.-dxβ Set compile time trace level to x. E.g.:-de.-dβ Equivalent to-da.-iβ Show the identifier table after the analyzing phase. Look at all the identifiers, slay.-lβ Add a directory to the include library search path (e.g.:-l ../lib).-pβ Specify a protocol file, for trace output (e.g.:-p prot.txt).-qβ Compile quiet. Line and file information and compilation statistics are suppressed. Shhh π€«.-sβ Deactivate signal handlers.-txβ Set runtime trace level to x. E.g.:-te.-tβ Equivalent to-ta.-vnβ Set verbosity level of analyse phase to n. Where n is between 0 and 3.-vβ Equivalent to-v2.-xβ Execute even if the program contains errors.
-x is literally βrun it anywayβ energy β errors and all π. Chaotic, but that's what it does.
π₯ TRACE LEVEL π₯
The options -d and -t can set the trace level. The following trace levels are defined:
aβ Trace primitive actions.cβ Do action check.dβ Trace dynamic calls.eβ Trace exceptions and handlers.hβ Trace heap size (in combination with'a').sβ Trace signals.
πΈ VERBOSITY LEVEL πΈ
The option -v can set the verbosity level. The following verbosity levels are defined:
0β Compile quiet (equivalent to-q).1β Write just the header with version information (default).2β Write a list of include libraries.3β Write line numbers, while analyzing.
π FILES π
/usr/share/doc/seed7/manual.txtβ Manual for the Seed7 programming language./usr/share/doc/seed7/manual.htmβ HTML version of the Seed7 manual./usr/bin/s7β The Seed7 interpreter./usr/lib/seed7/libβ Directory of the include libraries.
π HOMEPAGE π
π AUTHOR π
Seed7 was written by Thomas Mertes <thomas.mertes@gmx.at>. This manual page was written by Thomas Mertes <thomas.mertes@gmx.at>.
β SEE ALSO β
Cute little sign-off, because we're done bestie: this page is serving Version 5.0, dated January 27, 2013, and the footer tag is S7(1). Periodt πβ¨
π¦ where this page comes from
- alpine 3.24: seed7-doc 05.20240322-r1 Β· GPL-2.0-or-later AND LGPL-2.1-or-later
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms