P4::TypeChecking Class Reference

Inheritance diagram for P4::TypeChecking:

Public Member Functions
	TypeChecking (ReferenceMap *refMap, TypeMap *typeMap, bool updateExpressions=false)

Detailed Description

Performs together reference resolution and type checking by calling TypeInference. If updateExpressions is true, after type checking it will update all Expression objects, writing the result type into the Expression::type field.