 |
P4C
The P4 Compiler
|
|
|
P4C
The P4 Compiler
|
|
This is the complete list of members for P4Tools::P4Testgen::CmdStepper, including all inherited members.
| AbstractStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| Branch typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| checkMemberInvariant(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| CmdStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| declareBaseType(ExecutionState &nextState, const IR::StateVariable ¶mPath, const IR::Type_Base *baseType) const | P4Tools::P4Testgen::AbstractStepper | protected |
| declareStructLike(ExecutionState &nextState, const IR::StateVariable &parentExpr, bool forceTaint=false) const | P4Tools::P4Testgen::AbstractStepper | protected |
| evaluateExpression(const IR::Expression *expr, std::optional< const IR::Expression * > cond) const | P4Tools::P4Testgen::AbstractStepper | protected |
| getClassName()=0 | P4Tools::P4Testgen::AbstractStepper | protectedpure virtual |
| getExceptionHandlers(const IR::P4Parser *parser, Continuation::Body normalContinuation, const ExecutionState &state) const =0 | P4Tools::P4Testgen::CmdStepper | protectedpure virtual |
| getProgramInfo() const (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | protectedvirtual |
| initializeTargetEnvironment(ExecutionState &state) const =0 | P4Tools::P4Testgen::CmdStepper | protectedpure virtual |
| logStep(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protected |
| preorder(const IR::AssignmentStatement *assign) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::P4Parser *p4parser) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::P4Control *p4control) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::EmptyStatement *empty) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::IfStatement *ifStatement) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::MethodCallStatement *methodCallStatement) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::P4Program *program) override | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::ParserState *parserState) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::BlockStatement *block) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::ExitStatement *e) override (defined in P4Tools::P4Testgen::CmdStepper) | P4Tools::P4Testgen::CmdStepper | |
| preorder(const IR::SwitchStatement *switchStatement) override | P4Tools::P4Testgen::CmdStepper | |
| P4Tools::P4Testgen::AbstractStepper::preorder(const IR::Node *) override | P4Tools::P4Testgen::AbstractStepper | |
| programInfo | P4Tools::P4Testgen::AbstractStepper | protected |
| Result typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| result | P4Tools::P4Testgen::AbstractStepper | protected |
| setHeaderValidity(const IR::StateVariable &headerRef, bool validity, ExecutionState &state) | P4Tools::P4Testgen::AbstractStepper | protected |
| setTargetUninitialized(ExecutionState &nextState, const IR::StateVariable &ref, bool forceTaint) const | P4Tools::P4Testgen::AbstractStepper | protected |
| solver | P4Tools::P4Testgen::AbstractStepper | protected |
| startParser(const IR::P4Parser *parser, ExecutionState &state) | P4Tools::P4Testgen::CmdStepper | protected |
| startParserImpl(const IR::P4Parser *parser, ExecutionState &state) const =0 | P4Tools::P4Testgen::CmdStepper | protectedpure virtual |
| state | P4Tools::P4Testgen::AbstractStepper | protected |
| step(const IR::Node *) | P4Tools::P4Testgen::AbstractStepper | |
| stepGetHeaderValidity(const IR::StateVariable &headerRef) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepSetHeaderValidity(const IR::StateVariable &headerRef, bool validity) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepStackPushPopFront(const IR::Expression *stackRef, const IR::Vector< IR::Argument > *args, bool isPush=true) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepSymbolicValue(const IR::Node *) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepToException(Continuation::Exception) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepToListSubexpr(const IR::BaseListExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::BaseListExpression *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToStructSubexpr(const IR::StructExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::StructExpression *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToSubexpr(const IR::Expression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const Continuation::Parameter *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |