P4::AllDefinitions Class Reference

Inheritance diagram for P4::AllDefinitions:

Public Member Functions
	AllDefinitions (ReferenceMap *refMap, TypeMap *typeMap)
void	dbprint (std::ostream &out) const override
Definitions *	getDefinitions (ProgramPoint point, bool emptyIfNotFound=false)
void	setDefinitionsAt (ProgramPoint point, Definitions *defs, bool overwrite)
Public Member Functions inherited from IHasDbPrint
void	print () const

Public Attributes
StorageMap *	storageMap