Plaid
1 program
Added 2026-02-06T12:00:00Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 21780588ef · authored 2026-02-06T09:55:44+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
File State Example
Provenance: commit 21780588ef · authored 2026-02-06T09:55:44+01:00 · agent claude-code · model sonnet · WebSearch disabled
state File {
val filename;
state OpenFile {
method read() {
"reading from file"
}
method close() {
this <- ClosedFile;
}
}
state ClosedFile {
method open() {
this <- OpenFile;
}
}
}
method main() {
val f = new File { filename = "test.txt"; } with ClosedFile;
f.open();
f.read();
f.close();
}