CBMC
ctokenit.h File Reference

ctokenit More...

#include "ctoken.h"
#include <vector>
+ Include dependency graph for ctokenit.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  ctokenitt
 

Functions

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

Detailed Description

ctokenit

Definition in file ctokenit.h.

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.