MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / ensure

Method ensure

tools/alive_parser.cpp:119–124  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

117 }
118
119 void ensure(token expected) {
120 auto t = **this;
121 if (t != expected)
122 error(string("expected token: ") + token_name[expected] + ", got: " +
123 token_name[t]);
124 }
125
126 void unget(token t) {
127 assert(returned == false);

Callers 10

parse_global_nameFunction · 0.80
parse_predicateFunction · 0.80
parse_commaFunction · 0.80
parse_numberFunction · 0.80
alive_parser.cppFile · 0.80
parse_memory_accessFunction · 0.80
parse_callFunction · 0.80
parse_assumeFunction · 0.80
parse_fnFunction · 0.80
parse_arrowFunction · 0.80

Calls 1

errorFunction · 0.70

Tested by

no test coverage detected