CBMC
cpp_token_buffert Member List

This is the complete list of members for cpp_token_buffert, including all inherited members.

ansi_c_parsercpp_token_buffert
ansi_c_scanner_statecpp_token_buffertprotected
clear()cpp_token_buffertinline
cpp_token_buffert(message_handlert &message_handler)cpp_token_buffertinlineexplicit
current_poscpp_token_buffertprotected
current_token()cpp_token_buffertinline
get_token(cpp_tokent &token)cpp_token_buffert
get_token()cpp_token_buffert
Insert(const cpp_tokent &token)cpp_token_buffert
LookAhead(unsigned offset)cpp_token_buffert
LookAhead(unsigned offset, cpp_tokent &token)cpp_token_buffert
post typedefcpp_token_buffert
read_token()cpp_token_buffertprotected
Replace(const cpp_tokent &token)cpp_token_buffert
Restore(post pos)cpp_token_buffert
Save()cpp_token_buffert
token_vectorcpp_token_buffertprotected
tokenscpp_token_buffertprotected
tokenst typedefcpp_token_buffertprotected