![]() |
P4C
The P4 Compiler
|
#include <alias.h>
Public Member Functions | |
| LocationPath (const IR::IDeclaration *root) | |
| const LocationPath * | append (cstring suffix) const |
| void | dbprint (std::ostream &out) const override |
| bool | isPrefix (const LocationPath *other) const |
| True if this path is a prefix of other or the other way around. | |
Public Member Functions inherited from IHasDbPrint | |
| void | print () const |
Public Attributes | |
| std::vector< cstring > | path |
| const IR::IDeclaration * | root |
This class represents the path to a location. Given a struct S { bit a; bit b; } and a variable S x; a path can be x.a, or just x. An array index is represented as a number (encoded as a string) or as "*", denoting an unknown index.
|
inlineoverridevirtual |
Implements IHasDbPrint.