List of definers for each base storage (at a specific program point). More...

#include <def_use.h>

Inheritance diagram for P4::Definitions:

Public Member Functions
	Definitions (const Definitions &other)

Definitions *	cloneDefinitions () const

void	dbprint (std::ostream &out) const override

bool	empty () const

const ProgramPoints *	getPoints (const BaseLocation *location) const

const ProgramPoints *	getPoints (const LocationSet *locations) const

bool	hasLocation (const BaseLocation *location) const

bool	isUnreachable () const

Definitions *	joinDefinitions (const Definitions *other) const

bool	operator== (const Definitions &other) const

void	removeLocation (const StorageLocation *loc)

void	setDefinition (const LocationSet loc, const ProgramPoints point)

void	setDefinition (const StorageLocation loc, const ProgramPoints point)

void	setDefintion (const BaseLocation loc, const ProgramPoints point)

Definitions *	setUnreachable ()

size_t	size () const

Definitions *	writes (ProgramPoint point, const LocationSet *locations) const
	Point writes the specified LocationSet.

Public Member Functions inherited from IHasDbPrint
void	print () const

Detailed Description

List of definers for each base storage (at a specific program point).

Member Function Documentation

void P4::Definitions::dbprint ( std::ostream & out ) const

inlineoverridevirtual

Implements IHasDbPrint.