Go to the source code of this file.
|
void | event_simple (logger_t *logs, const node_t *builtin) |
|
void | event_missing_call (logger_t *logs, scan_t *scan_main, scan_t *scan_lhs, const node_t *builtin) |
|
void | event_invalid_import (logger_t *logs, scan_t *scan, scan_t *scan_rhs) |
|
void | event_invalid_function (logger_t *logs, scan_t *scan) |
|
int | recurse (int x, fmt_backtrace_t config, arena_t *arena) |
|
int | main (int argc, const char **argv) |
|
◆ NOTIFY_OPTION_COUNT
#define NOTIFY_OPTION_COUNT (sizeof(kNotifyOptions) / sizeof(cfg_choice_t)) |
◆ event_invalid_function()
◆ event_invalid_import()
◆ event_missing_call()
◆ event_simple()
◆ main()
int main |
( |
int |
argc, |
|
|
const char ** |
argv |
|
) |
| |
◆ recurse()
◆ kSampleSourceLeft
const char* const kSampleSourceLeft |
Initial value:=
"module multi.lhs;\n"
"\n"
"import multi.rhs,\n"
" main;\n"
"\n"
"procedure lhs;\n"
"begin\n"
" x := x + 1;\n"
" if x < LIMIT then\n"
" call rhs\n"
"end;\n"
".\n"
Definition at line 105 of file main.c.
◆ kSampleSourceMain
const char* const kSampleSourceMain |
Initial value:=
"module main;\n"
"\n"
"import multi.lhs,\n"
" multi.rhs;\n"
"\n"
"const LIMIT = 25;\n"
"var x;\n"
"\n"
"procedure entry;\n"
"begin\n"
" x := 0;\n"
" call lhs;\n"
" ! x\n"
"end;\n"
"\n"
"call entry\n"
".\n"
Definition at line 133 of file main.c.
◆ kSampleSourceRight
const char* const kSampleSourceRight |
Initial value:=
"module multi.rhs;\n"
"\n"
"import multi.lhs,\n"
" main;\n"
"\n"
"procedure rhs;\n"
"begin\n"
" x := x + 1;\n"
" if x < LIMIT then\n"
" call lhs\n"
"end;\n"
".\n"
Definition at line 119 of file main.c.