#![allow(dead_code)]
use colored;
use env_logger;
use log;
use macro_machines;
use apis;
pub const LOG_LEVEL : log::LevelFilter = log::LevelFilter::Info;
apis::def_session! {
context ChargenUpcase {
PROCESSES where
let process = self,
let message_in = message_in
[
process Chargen (update_count : u64) -> (Option <()>) {
kind {
apis::process::Kind::Isochronous { tick_ms: 20, ticks_per_update: 1 }
}
sourcepoints [Charstream]
endpoints []
handle_message { process.chargen_handle_message (message_in) }
update { process.chargen_update() }
}
process Upcase (history : String) -> (Option <()>) {
kind { apis::process::Kind::asynchronous_default() }
sourcepoints []
endpoints [Charstream]
handle_message { process.upcase_handle_message (message_in) }
update { process.upcase_update() }
}
]
CHANNELS [
channel Charstream <Charstreammessage> (Simplex) {
producers [Chargen]
consumers [Upcase]
}
]
MESSAGES [
message Charstreammessage {
Achar (char),
Quit
}
]
}
}
impl Chargen {
#[expect(clippy::unused_self)]
fn chargen_handle_message (&self, _message : GlobalMessage)
-> apis::process::ControlFlow
{
log::trace!("chargen handle message...");
unreachable!(
"ERROR: chargen handle message: process should have no endpoints");
}
fn chargen_update (&mut self) -> apis::process::ControlFlow {
use apis::Process;
log::trace!("chargen update...");
let mut result = apis::process::ControlFlow::Continue;
self.update_count += 1;
if self.update_count == 100 {
std::thread::sleep (std::time::Duration::from_millis (100));
}
if self.update_count % 17 == 0 {
result = self.send (ChannelId::Charstream, Charstreammessage::Achar ('z'))
.into();
}
if self.update_count % 19 == 0 {
result = self.send (ChannelId::Charstream, Charstreammessage::Achar ('y'))
.into();
}
if self.update_count % 29 == 0 {
result = self.send (ChannelId::Charstream, Charstreammessage::Achar ('x'))
.into();
}
if self.update_count % 31 == 0 {
result = self.send (ChannelId::Charstream, Charstreammessage::Achar ('w'))
.into();
}
assert!(self.update_count <= 300);
if self.update_count == 300 {
let _ = self.send (ChannelId::Charstream, Charstreammessage::Quit);
result = apis::process::ControlFlow::Break;
}
log::trace!("...chargen update");
result
}
}
impl Upcase {
fn upcase_handle_message (&mut self, message : GlobalMessage)
-> apis::process::ControlFlow
{
log::trace!("upcase handle message...");
let mut result = apis::process::ControlFlow::Continue;
match message {
GlobalMessage::Charstreammessage (charstreammessage) => {
match charstreammessage {
Charstreammessage::Quit => {
result = apis::process::ControlFlow::Break
}
Charstreammessage::Achar (ch) => {
self.history.push (ch.to_uppercase().next().unwrap());
}
}
}
}
log::trace!("...upcase handle message");
result
}
fn upcase_update (&self) -> apis::process::ControlFlow {
log::trace!("upcase update...");
if *self.inner.state().id() == apis::process::inner::StateId::Ended {
println!("upcase history final: {}", self.history);
} else {
println!("upcase history: {}", self.history);
}
log::trace!("...upcase update");
apis::process::ControlFlow::Continue
}
}
fn main() {
use colored::Colorize;
let example_name = std::path::PathBuf::from (std::env::args().next().unwrap())
.file_name().unwrap().to_str().unwrap().to_string();
println!("{}", format!("{example_name} main...").green().bold());
env_logger::Builder::new()
.filter_level (log::LevelFilter::Debug)
.parse_default_env()
.init();
apis::report_sizes::<ChargenUpcase>();
use macro_machines::MachineDotfile;
let mut f = std::fs::File::create ("process-inner.dot").unwrap();
f.write_all (
apis::process::Inner::<ChargenUpcase>::dotfile_show_defaults().as_bytes()
).unwrap();
drop (f);
use apis::session::Context;
let session_def = ChargenUpcase::def().unwrap();
use std::io::Write;
let mut f = std::fs::File::create (format!("{example_name}.dot")).unwrap();
f.write_all (session_def.dotfile_show_defaults().as_bytes()).unwrap();
drop (f);
let mut session : apis::Session <ChargenUpcase> = session_def.into();
let results = session.run();
println!("results: {results:?}");
println!("{}", format!("...{example_name} main").green().bold());
}