json_irep.h File Reference

Util. More...

#include "irep.h"
#include "json.h"

Include dependency graph for json_irep.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	json_irept

Functions
json_objectt	json (const source_locationt &)

Detailed Description

Util.

Definition in file json_irep.h.

Function Documentation

json()

json_objectt json

(

const source_locationt &

location

)

Definition at line 139 of file json_irep.cpp.