jsil_parse_tree.cpp File Reference

#include "jsil_parse_tree.h"
#include <ostream>
#include <util/symbol.h>
#include "jsil_types.h"

Include dependency graph for jsil_parse_tree.cpp:

Go to the source code of this file.

Functions
static bool	insert_at_label (const codet &code, const irep_idt &label, code_blockt &dest)

Detailed Description

Jsil Language

Definition in file jsil_parse_tree.cpp.

Function Documentation

insert_at_label()

static bool insert_at_label ( const codet &  code, const irep_idt &  label, code_blockt &  dest  )

static

Definition at line 20 of file jsil_parse_tree.cpp.