P4::DoHandleNoMatch Class Reference

Inheritance diagram for P4::DoHandleNoMatch:

Public Member Functions
	DoHandleNoMatch (NameGenerator *ng)
const IR::Node *	postorder (IR::P4Parser *parser) override
const IR::Node *	postorder (IR::P4Program *program) override
const IR::Node *	postorder (IR::SelectExpression *expression) override

Public Attributes
const IR::ParserState *	noMatch = nullptr

Detailed Description

Convert state s { transition select (e) { ... } } into state s { transition select (e) { ... default: noMatch; }} state noMatch { verify(false, error.NoMatch); transition reject; }