P4::TypeOccursVisitor Class Reference

Inheritance diagram for P4::TypeOccursVisitor:

Public Member Functions
	TypeOccursVisitor (const IR::ITypeVar *toFind)
bool	preorder (const IR::Type_InfInt *infint) override
bool	preorder (const IR::Type_Var *typeVariable) override

Public Attributes
bool	occurs
const IR::ITypeVar *	toFind

Detailed Description

See if a variable occurs in a Type. If true, return null, else return the original type.