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

Method unget

tools/alive_parser.cpp:126–130  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

124 }
125
126 void unget(token t) {
127 assert(returned == false);
128 returned = true;
129 last = t;
130 }
131
132 bool empty() {
133 return peek() == END;

Callers 7

parse_predicateFunction · 0.80
alive_parser.cppFile · 0.80
parse_icmp_condFunction · 0.80
parse_callFunction · 0.80
parse_copyopFunction · 0.80
parse_instrFunction · 0.80
parse_fnFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected