CBMC: /home/runner/work/cbmc/cbmc/src/assembler/assembler_parser.cpp Source File

13 int yyassemblererror(

14 assembler_parsert &assembler_parser,

15 void *scanner,

16 const std::string &error)

17{

18 assembler_parser.parse_error(error, yyassemblerget_text(scanner));

19 return 0;

20}

26 bool assembler_parsert::parse()

27{

28 void *scanner;

29 yyassemblerlex_init_extra(this, &scanner);

30 yyassemblerlex(scanner);

31 yyassemblerlex_destroy(scanner);

32 return false;

33}

yyassemblerlex_init_extra

int yyassemblerlex_init_extra(assembler_parsert *, void **)

yyassemblerget_text

char * yyassemblerget_text(void *)

yyassemblererror

int yyassemblererror(assembler_parsert &assembler_parser, void *scanner, const std::string &error)

Definition assembler_parser.cpp:13

yyassemblerlex

int yyassemblerlex(void *)

yyassemblerlex_destroy

int yyassemblerlex_destroy(void *)

assembler_parser.h

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

assembler_parsert

Definition assembler_parser.h:21

assembler_parsert::parse

bool parse() override

Definition assembler_parser.cpp:26