AbstractExecutionState(const AbstractExecutionState &)=default | P4::P4Tools::AbstractExecutionState | protected |
AbstractExecutionState() | P4::P4Tools::AbstractExecutionState | protected |
AbstractExecutionState(const IR::P4Program *program) | P4::P4Tools::AbstractExecutionState | explicit |
AbstractExecutionState(AbstractExecutionState &&)=default (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | |
assignStructLike(const IR::StateVariable &left, const IR::Expression *right) | P4::P4Tools::AbstractExecutionState | |
clone() const =0 | P4::P4Tools::AbstractExecutionState | pure virtual |
convertToComplexExpression(const IR::StateVariable &parent) const | P4::P4Tools::AbstractExecutionState | protected |
copyIn(const Target &target, const IR::Parameter *internalParam, cstring externalParamName) | P4::P4Tools::AbstractExecutionState | |
copyOut(const IR::Parameter *internalParam, cstring externalParamName) | P4::P4Tools::AbstractExecutionState | |
declareVariable(const Target &target, const IR::Declaration_Variable &declVar) | P4::P4Tools::AbstractExecutionState | |
env | P4::P4Tools::AbstractExecutionState | protected |
exists(const IR::StateVariable &var) const | P4::P4Tools::AbstractExecutionState | |
findDecl(const IR::Path *path) const | P4::P4Tools::AbstractExecutionState | |
findDecl(const IR::PathExpression *pathExpr) const | P4::P4Tools::AbstractExecutionState | |
findTable(const IR::Member *member) const | P4::P4Tools::AbstractExecutionState | |
flattenComplexExpression(const IR::Expression *inputExpression, std::vector< const IR::Expression * > &flatValids) | P4::P4Tools::AbstractExecutionState | protectedstatic |
get(const IR::StateVariable &var) const =0 | P4::P4Tools::AbstractExecutionState | pure virtual |
getFlatFields(const IR::StateVariable &parent, std::vector< IR::StateVariable > *validVector=nullptr) const | P4::P4Tools::AbstractExecutionState | |
getNamespaceContext() const | P4::P4Tools::AbstractExecutionState | |
getP4Action(const IR::MethodCallExpression *actionExpr) const | P4::P4Tools::AbstractExecutionState | |
getSymbolicEnv() const | P4::P4Tools::AbstractExecutionState | |
initializeBlockParams(const Target &target, const IR::Type_Declaration *typeDecl, const std::vector< cstring > *blockParams) | P4::P4Tools::AbstractExecutionState | |
initializeStructLike(const Target &target, const IR::StateVariable &targetVar, bool forceTaint) | P4::P4Tools::AbstractExecutionState | |
namespaces | P4::P4Tools::AbstractExecutionState | protected |
operator=(const AbstractExecutionState &)=default | P4::P4Tools::AbstractExecutionState | protected |
operator=(AbstractExecutionState &&)=delete (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | |
popNamespace() | P4::P4Tools::AbstractExecutionState | |
printSymbolicEnv(std::ostream &out=std::cout) const | P4::P4Tools::AbstractExecutionState | |
pushNamespace(const IR::INamespace *ns) | P4::P4Tools::AbstractExecutionState | |
resolveType(const IR::Type *type) const | P4::P4Tools::AbstractExecutionState | |
set(const IR::StateVariable &var, const IR::Expression *value)=0 | P4::P4Tools::AbstractExecutionState | pure virtual |
setNamespaceContext(const NamespaceContext *namespaces) | P4::P4Tools::AbstractExecutionState | |
setStructLike(const IR::StateVariable &targetVar, const IR::StateVariable &sourceVar) | P4::P4Tools::AbstractExecutionState | |
~AbstractExecutionState()=default (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | virtual |