|
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 *) |
|