| 
| 
void  | addToFieldList (ConversionContext *ctxt, const IR::Expression *expr, Util::JsonArray *fl) | 
|   | 
| 
Util::IJson *  | convertAssertAssume (ConversionContext *ctxt, const IR::MethodCallExpression *methodCall, const P4::ExternFunction *ef) | 
|   | 
| 
virtual Util::IJson *  | convertExternFunction (ConversionContext *ctxt, const P4::ExternFunction *ef, const IR::MethodCallExpression *mc, const IR::StatOrDecl *s, const bool emitExterns) | 
|   | 
| virtual void  | convertExternInstance (ConversionContext *ctxt, const IR::Declaration *c, const IR::ExternBlock *eb, const bool &emitExterns) | 
|   | 
| 
virtual Util::IJson *  | convertExternObject (ConversionContext *ctxt, const P4::ExternMethod *em, const IR::MethodCallExpression *mc, const IR::StatOrDecl *s, const bool &emitExterns) | 
|   | 
| 
cstring  | createCalculation (ConversionContext *ctxt, cstring algo, const IR::Expression *fields, Util::JsonArray *calculations, bool usePayload, const IR::Node *node) | 
|   | 
| 
int  | createFieldList (ConversionContext *ctxt, const IR::Expression *expr, cstring group, cstring listName, Util::JsonArray *field_lists) | 
|   | 
| 
void  | modelError (const char *format, const IR::Node *place) const | 
|   | 
 | 
| 
static cstring  | convertHashAlgorithm (cstring algorithm) | 
|   | 
| 
static Util::IJson *  | cvtExternFunction (ConversionContext *ctxt, const P4::ExternFunction *ef, const IR::MethodCallExpression *mc, const IR::StatOrDecl *s, const bool emitExterns) | 
|   | 
| 
static void  | cvtExternInstance (ConversionContext *ctxt, const IR::Declaration *c, const IR::ExternBlock *eb, const bool &emitExterns) | 
|   | 
| 
static Util::IJson *  | cvtExternObject (ConversionContext *ctxt, const P4::ExternMethod *em, const IR::MethodCallExpression *mc, const IR::StatOrDecl *s, const bool &emitExterns) | 
|   | 
| 
static ExternConverter *  | get (const IR::ExternBlock *eb) | 
|   | 
| 
static ExternConverter *  | get (const IR::Type_Extern *type) | 
|   | 
| 
static ExternConverter *  | get (const P4::ExternFunction *ef) | 
|   | 
| 
static ExternConverter *  | get (const P4::ExternMethod *em) | 
|   | 
| 
static ExternConverter *  | get (cstring type) | 
|   | 
| 
static void  | registerExternConverter (cstring, ExternConverter *) | 
|   |