cprover
Loading...
Searching...
No Matches
ctokenit.cpp File Reference

ctokenit More...

#include "ctokenit.h"
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <algorithm>
+ Include dependency graph for ctokenit.cpp:

Go to the source code of this file.

Functions

ctokenitt match_bracket (ctokenitt t, char open, char close)
 
ctokenitt match_bracket (ctokenitt t, char open, char close, ctokenitt::tokenst &dest)
 

Detailed Description

ctokenit

Definition in file ctokenit.cpp.

Function Documentation

◆ match_bracket() [1/2]

ctokenitt match_bracket ( ctokenitt t,
char open,
char close )

Definition at line 33 of file ctokenit.cpp.

◆ match_bracket() [2/2]

ctokenitt match_bracket ( ctokenitt t,
char open,
char close,
ctokenitt::tokenst & dest )

Definition at line 65 of file ctokenit.cpp.