st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-10 19:28:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct: small exmple fixes

Browse source
This commit is contained in:
ProgramSnail 2026-05-20 12:49:29 +00:00
parent fac507bebf
commit 2d6516c105
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
model_with_structures/send_example.md
View file

@ -49,19 +49,19 @@ struct Request {
Version* version; Version* version;
Utils* utils; Utils* utils;
Data* data; Data* data;
DateTime operaiton_date; DateTime time;
}; };
// example itself // example itself
int get_version_id(Request /*[?]*/ r) { int get_version_id(Request /*[?]*/ r) {
if (r.utils.has_version) { if (r.utils.has_version) {
return r.version.id; return r.version.id;
} }
return old_version_placeholder().id; return old_version_placeholder().id;
} }
Version updated_version(Request /*[?]*/ r) { Version updated_version(Request /*[?]*/ r) {
if (not r.utils.has_version) { if (not r.utils.has_version) {
return old_version_placeholder(); return old_version_placeholder();
} }
@ -114,12 +114,12 @@ Request := [& User; # user
& Version; # version & Version; # version
& Utils; # utils & Utils; # utils
& (); # data & (); # data
()] # operation_date ()] # time
# or Request := [& [& [(); ()], & [(); (); ()]]; # user # or Request := [& [& [(); ()], & [(); (); ()]]; # user
# & [(); (); ()]; # version # & [(); (); ()]; # version
# & [(); ()]; # utils # & [(); ()]; # utils
# & (); # data # & (); # data
# ()] # operation_date # ()] # time
# example itself # example itself