CBMC
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.