P4C
The P4 Compiler
•All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
P4Tools::P4Testgen::ExecutionState Member List

This is the complete list of members for P4Tools::P4Testgen::ExecutionState, including all inherited members.

AbstractExecutionState(const AbstractExecutionState &)=defaultP4Tools::AbstractExecutionStateprotected
AbstractExecutionState()P4Tools::AbstractExecutionStateprotected
AbstractExecutionState(const IR::P4Program *program)P4Tools::AbstractExecutionStateexplicit
AbstractExecutionState(AbstractExecutionState &&)=default (defined in P4Tools::AbstractExecutionState)P4Tools::AbstractExecutionState
add(const TraceEvent &event)P4Tools::P4Testgen::ExecutionState
addTestObject(cstring category, cstring objectLabel, const TestObject *object)P4Tools::P4Testgen::ExecutionState
appendToEmitBuffer(const IR::Expression *expr)P4Tools::P4Testgen::ExecutionState
appendToInputPacket(const IR::Expression *expr)P4Tools::P4Testgen::ExecutionState
appendToPacketBuffer(const IR::Expression *expr)P4Tools::P4Testgen::ExecutionState
assignStructLike(const IR::StateVariable &left, const IR::Expression *right)P4Tools::AbstractExecutionState
clone() const overrideP4Tools::P4Testgen::ExecutionStatevirtual
convertToComplexExpression(const IR::StateVariable &parent) constP4Tools::AbstractExecutionStateprotected
copyIn(const Target &target, const IR::Parameter *internalParam, cstring externalParamName)P4Tools::AbstractExecutionState
copyOut(const IR::Parameter *internalParam, cstring externalParamName)P4Tools::AbstractExecutionState
create(const IR::P4Program *program)P4Tools::P4Testgen::ExecutionStatestatic
declareVariable(const Target &target, const IR::Declaration_Variable &declVar)P4Tools::AbstractExecutionState
deleteTestObject(cstring category, cstring objectLabel)P4Tools::P4Testgen::ExecutionState
deleteTestObjectCategory(cstring category)P4Tools::P4Testgen::ExecutionState
envP4Tools::AbstractExecutionStateprotected
ExecutionState(ExecutionState &&)=deleteP4Tools::P4Testgen::ExecutionState
exists(const IR::StateVariable &var) constP4Tools::AbstractExecutionState
findDecl(const IR::Path *path) constP4Tools::AbstractExecutionState
findDecl(const IR::PathExpression *pathExpr) constP4Tools::AbstractExecutionState
findTable(const IR::Member *member) constP4Tools::AbstractExecutionState
flattenComplexExpression(const IR::Expression *inputExpression, std::vector< const IR::Expression * > &flatValids)P4Tools::AbstractExecutionStateprotectedstatic
get(const IR::StateVariable &var) const overrideP4Tools::P4Testgen::ExecutionStatevirtual
getBody() constP4Tools::P4Testgen::ExecutionState
getCurrentParserErrorLabel() constP4Tools::P4Testgen::ExecutionState
getEmitBuffer() constP4Tools::P4Testgen::ExecutionState
getFlatFields(const IR::StateVariable &parent, std::vector< IR::StateVariable > *validVector=nullptr) constP4Tools::AbstractExecutionState
getInputPacket() constP4Tools::P4Testgen::ExecutionState
getInputPacketCursor() constP4Tools::P4Testgen::ExecutionState
getInputPacketSize() constP4Tools::P4Testgen::ExecutionState
getInputPacketSizeVar()P4Tools::P4Testgen::ExecutionStatestatic
getMaxPacketLength()P4Tools::P4Testgen::ExecutionStatestatic
getNamespaceContext() constP4Tools::AbstractExecutionState
getNextCmd() constP4Tools::P4Testgen::ExecutionState
getP4Action(const IR::MethodCallExpression *actionExpr) constP4Tools::AbstractExecutionState
getPacketBuffer() constP4Tools::P4Testgen::ExecutionState
getPacketBufferSize() constP4Tools::P4Testgen::ExecutionState
getPathConstraint() constP4Tools::P4Testgen::ExecutionState
getProperty(cstring propertyName) constP4Tools::P4Testgen::ExecutionStateinline
getReachabilityEngineState() constP4Tools::P4Testgen::ExecutionState
getSelectedBranches() constP4Tools::P4Testgen::ExecutionState
getStack() constP4Tools::P4Testgen::ExecutionState
getSymbolicEnv() constP4Tools::AbstractExecutionState
getTestObject(cstring category, cstring objectLabel, bool checked) constP4Tools::P4Testgen::ExecutionState
getTestObject(cstring category, cstring objectLabel) constP4Tools::P4Testgen::ExecutionStateinline
getTestObjectCategory(cstring category) constP4Tools::P4Testgen::ExecutionState
getTrace() constP4Tools::P4Testgen::ExecutionState
getVisited() constP4Tools::P4Testgen::ExecutionState
handleException(Continuation::Exception e)P4Tools::P4Testgen::ExecutionState
hasProperty(cstring propertyName) constP4Tools::P4Testgen::ExecutionState
initializeBlockParams(const Target &target, const IR::Type_Declaration *typeDecl, const std::vector< cstring > *blockParams)P4Tools::AbstractExecutionState
initializeStructLike(const Target &target, const IR::StateVariable &targetVar, bool forceTaint)P4Tools::AbstractExecutionState
isTerminal() constP4Tools::P4Testgen::ExecutionState
markVisited(const IR::Node *node)P4Tools::P4Testgen::ExecutionState
namespacesP4Tools::AbstractExecutionStateprotected
operator=(ExecutionState &&)=delete (defined in P4Tools::P4Testgen::ExecutionState)P4Tools::P4Testgen::ExecutionState
P4Tools::AbstractExecutionState::operator=(const AbstractExecutionState &)=defaultP4Tools::AbstractExecutionStateprotected
operator=(AbstractExecutionState &&)=delete (defined in P4Tools::AbstractExecutionState)P4Tools::AbstractExecutionState
peekPacketBuffer(int amount)P4Tools::P4Testgen::ExecutionState
popBody()P4Tools::P4Testgen::ExecutionState
popContinuation(std::optional< const IR::Node * > argument_opt=std::nullopt)P4Tools::P4Testgen::ExecutionState
popNamespace()P4Tools::AbstractExecutionState
prependToInputPacket(const IR::Expression *expr)P4Tools::P4Testgen::ExecutionState
prependToPacketBuffer(const IR::Expression *expr)P4Tools::P4Testgen::ExecutionState
printSymbolicEnv(std::ostream &out=std::cout) constP4Tools::AbstractExecutionState
pushBranchDecision(uint64_t)P4Tools::P4Testgen::ExecutionState
pushContinuation(const StackFrame &frame)P4Tools::P4Testgen::ExecutionState
pushCurrentContinuation(StackFrame::ExceptionHandlers handlers)P4Tools::P4Testgen::ExecutionState
pushCurrentContinuation(std::optional< const IR::Type * > parameterType_opt=std::nullopt, StackFrame::ExceptionHandlers={})P4Tools::P4Testgen::ExecutionState
pushNamespace(const IR::INamespace *ns)P4Tools::AbstractExecutionState
pushPathConstraint(const IR::Expression *e)P4Tools::P4Testgen::ExecutionState
replaceBody(const Continuation::Body &body)P4Tools::P4Testgen::ExecutionState
replaceTopBody(const Continuation::Command &cmd)P4Tools::P4Testgen::ExecutionState
replaceTopBody(const std::vector< Continuation::Command > *cmds)P4Tools::P4Testgen::ExecutionState
replaceTopBody(std::initializer_list< Continuation::Command > cmds)P4Tools::P4Testgen::ExecutionState
replaceTopBody(const std::vector< const N * > *nodes)P4Tools::P4Testgen::ExecutionStateinline
resetEmitBuffer()P4Tools::P4Testgen::ExecutionState
resetPacketBuffer()P4Tools::P4Testgen::ExecutionState
resolveType(const IR::Type *type) constP4Tools::AbstractExecutionState
set(const IR::StateVariable &var, const IR::Expression *value) overrideP4Tools::P4Testgen::ExecutionStatevirtual
setNamespaceContext(const NamespaceContext *namespaces)P4Tools::AbstractExecutionState
setParserErrorLabel(const IR::StateVariable &parserError)P4Tools::P4Testgen::ExecutionState
setProperty(cstring propertyName, Continuation::PropertyValue property)P4Tools::P4Testgen::ExecutionState
setReachabilityEngineState(ReachabilityEngineState *newEngineState)P4Tools::P4Testgen::ExecutionState
setStructLike(const IR::StateVariable &targetVar, const IR::StateVariable &sourceVar)P4Tools::AbstractExecutionState
slicePacketBuffer(int amount)P4Tools::P4Testgen::ExecutionState
Test::SmallStepTest (defined in P4Tools::P4Testgen::ExecutionState)P4Tools::P4Testgen::ExecutionStatefriend
~AbstractExecutionState()=default (defined in P4Tools::AbstractExecutionState)P4Tools::AbstractExecutionStatevirtual
~ExecutionState() override=default (defined in P4Tools::P4Testgen::ExecutionState)P4Tools::P4Testgen::ExecutionState