P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::ReadsWrites Class Reference

Computes the SetOfLocations read and written by an expression. More...

Inheritance diagram for P4::ReadsWrites:
Inheritance graph
[legend]

Public Member Functions

 ReadsWrites (const ReferenceMap *refMap)
 
const SetOfLocations * get (const IR::Expression *expression)
 
bool mayAlias (const IR::Expression *left, const IR::Expression *right)
 
void postorder (const IR::ArrayIndex *expression) override
 
void postorder (const IR::ConstructorCallExpression *expression) override
 
void postorder (const IR::HeaderStackExpression *expression) override
 
void postorder (const IR::InvalidHeader *expression) override
 
void postorder (const IR::InvalidHeaderUnion *expression) override
 
void postorder (const IR::ListExpression *expression) override
 
void postorder (const IR::Literal *expression) override
 
void postorder (const IR::Member *expression) override
 
void postorder (const IR::MethodCallExpression *expression) override
 
void postorder (const IR::Operation_Binary *expression) override
 
void postorder (const IR::Operation_Ternary *expression) override
 
void postorder (const IR::Operation_Unary *expression) override
 
void postorder (const IR::PathExpression *expression) override
 
void postorder (const IR::Slice *expression) override
 
void postorder (const IR::StructExpression *expression) override
 
void postorder (const IR::TypeNameExpression *expression) override
 

Detailed Description

Computes the SetOfLocations read and written by an expression.