Learn SEED7 with Real Code Examples
Updated Nov 20, 2025
Code Sample Descriptions
1
Seed7 Counter and Theme Toggle - Basic
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
toggleTheme;
Basic counter with theme toggle using Seed7 procedures.
2
Seed7 Counter and Theme Toggle - With Decrement
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
procedure decrement;
begin
count := count - 1;
updateUI;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
increment;
decrement;
toggleTheme;
Adds a decrement procedure.
3
Seed7 Counter and Theme Toggle - Reset Example
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
procedure reset;
begin
count := 0;
updateUI;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
increment;
reset;
toggleTheme;
Adds a reset procedure to reset the counter to zero.
4
Seed7 Counter and Theme Toggle - Inline Theme Toggle
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
isDark := not isDark;
updateUI;
end procedure;
procedure decrement;
begin
count := count - 1;
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
decrement;
Toggles theme inline during increment or decrement.
5
Seed7 Counter and Theme Toggle - With Conditional Display
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
if count = 5 then
put "Reached 5!"; putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
increment;
increment;
increment;
increment;
toggleTheme;
Displays additional message when counter reaches 5.
6
Seed7 Counter and Theme Toggle - While Loop Simulation
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
while count < 3 do
increment;
end while;
toggleTheme;
Uses a while loop to increment until counter reaches 3.
7
Seed7 Counter and Theme Toggle - Using Constants
const darkTheme: string := "Dark";
const lightTheme: string := "Light";
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then darkTheme else lightTheme); putnl;
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
toggleTheme;
Uses constants for theme strings instead of inline text.
8
Seed7 Counter and Theme Toggle - Function Parameter Style
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI(c: integer);
begin
put "Counter: "; put c; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI(count);
end procedure;
procedure toggleTheme;
begin
isDark := not isDark;
updateUI(count);
end procedure;
# Simulate actions
updateUI(count);
increment;
toggleTheme;
Passes the counter value as a parameter to the updateUI procedure.
9
Seed7 Counter and Theme Toggle - Using Boolean Toggle Function
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure toggle(var b: boolean);
begin
b := not b;
end procedure;
procedure toggleTheme;
begin
toggle(isDark);
updateUI;
end procedure;
procedure increment;
begin
count := count + 1;
updateUI;
end procedure;
# Simulate actions
updateUI;
increment;
toggleTheme;
Adds a helper procedure to toggle the boolean value.
10
Seed7 Counter and Theme Toggle - Combined Increment and Toggle
var count: integer := 0;
var isDark: boolean := false;
procedure updateUI;
begin
put "Counter: "; put count; putnl;
put "Theme: "; put (if isDark then "Dark" else "Light"); putnl;
end procedure;
procedure incrementAndToggle;
begin
count := count + 1;
isDark := not isDark;
updateUI;
end procedure;
# Simulate actions
updateUI;
incrementAndToggle;
incrementAndToggle;
Combines increment and theme toggle in a single procedure.