 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper, including all inherited members.
| AbstractStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4::P4Tools::P4Testgen::AbstractStepper) | P4::P4Tools::P4Testgen::AbstractStepper | |
| apply_visitor(const IR::Node *, const char *name=0) override (defined in P4::Inspector) | P4::Inspector | virtual |
| Bmv2V1ModelExprStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper) | P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper | |
| Branch typedef (defined in P4::P4Tools::P4Testgen::AbstractStepper) | P4::P4Tools::P4Testgen::AbstractStepper | |
| calculateAdvanceExpression(const ExecutionState &state, const IR::Expression *advanceExpr, const IR::Expression *restrictions) const | P4::P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| calculateSuccessfulParserAdvance(const ExecutionState &state, int advanceSize) const | P4::P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| called_by (defined in P4::Visitor) | P4::Visitor | |
| check_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| checkMemberInvariant(const IR::Node *node) | P4::P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| clear_globals() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| clone() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| Context typedef (defined in P4::Visitor) | P4::Visitor | |
| controlFlowVisitor() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| CORE_EXTERN_METHOD_IMPLS | P4::P4Tools::P4Testgen::ExprStepper | static |
| declareBaseType(ExecutionState &nextState, const IR::StateVariable ¶mPath, const IR::Type_Base *baseType) const | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| declareStructLike(ExecutionState &nextState, const IR::StateVariable &parentExpr, bool forceTaint=false) const | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| demangle(const char *) (defined in P4::Visitor) | P4::Visitor | static |
| dontForwardChildrenBeforePreorder (defined in P4::Visitor) | P4::Visitor | protected |
| end_apply() (defined in P4::Visitor) | P4::Visitor | virtual |
| end_apply(const IR::Node *root) (defined in P4::Visitor) | P4::Visitor | virtual |
| erase_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| evalActionCall(const IR::P4Action *action, const IR::MethodCallExpression *call) | P4::P4Tools::P4Testgen::ExprStepper | protected |
| evalExternMethodCall(const ExternInfo &externInfo) override | P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper | virtual |
| evalInternalExternMethodCall(const ExternInfo &externInfo) | P4::P4Tools::P4Testgen::ExprStepper | protected |
| evaluateExpression(const IR::Expression *expr, std::optional< const IR::Expression * > cond) const | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| ExprStepper(const ExprStepper &)=default (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| ExprStepper(ExprStepper &&)=default (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| ExprStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| findContext(const Context *&c) const (defined in P4::Visitor) | P4::Visitor | inline |
| findContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| findOrigCtxt(const Context *&c) const (defined in P4::Visitor) | P4::Visitor | inline |
| findOrigCtxt() const (defined in P4::Visitor) | P4::Visitor | inline |
| flow_clone() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge(Visitor &) | P4::Visitor | inlinevirtual |
| flow_merge_closure(Visitor &) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge_global_from(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge_global_to(cstring) | P4::Visitor | inlinevirtual |
| generateCopyIn(ExecutionState &nextState, const IR::StateVariable &targetPath, const IR::StateVariable &srcPath, cstring dir, bool forceTaint) const | P4::P4Tools::P4Testgen::ExprStepper | protected |
| getChildContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getChildrenVisited() const (defined in P4::Visitor) | P4::Visitor | inline |
| getClassName() override | P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper | protectedvirtual |
| getContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getContextDepth() const (defined in P4::Visitor) | P4::Visitor | inline |
| getCurrentNode() const | P4::Visitor | inline |
| getOriginal() const (defined in P4::Visitor) | P4::Visitor | inline |
| getParent() const (defined in P4::Visitor) | P4::Visitor | inline |
| getProgramInfo() const (defined in P4::P4Tools::P4Testgen::AbstractStepper) | P4::P4Tools::P4Testgen::AbstractStepper | protectedvirtual |
| handleHitMissActionRun(const IR::Member *member) | P4::P4Tools::P4Testgen::ExprStepper | protected |
| has_flow_joins() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| init_apply(const IR::Node *root) override (defined in P4::Inspector) | P4::Inspector | virtual |
| init_apply(const IR::Node *root, const Context *parent_context) (defined in P4::Visitor) | P4::Visitor | |
| init_join_flows(const IR::Node *) (defined in P4::Visitor) | P4::Visitor | inlineprotectedvirtual |
| INTERNAL_EXTERN_METHOD_IMPLS | P4::P4Tools::P4Testgen::ExprStepper | static |
| internalName (defined in P4::Visitor) | P4::Visitor | mutable |
| isInContext(const IR::Node *n) const (defined in P4::Visitor) | P4::Visitor | inline |
| join_flows(const IR::Node *) | P4::Visitor | inlineprotectedvirtual |
| joinFlows (defined in P4::Visitor) | P4::Visitor | protected |
| logStep(const IR::Node *node) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| loop_revisit(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| name() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| operator=(const ExprStepper &)=delete (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| operator=(ExprStepper &&)=delete (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| parallel_visit(IR::Vector< T > &v, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(IR::Vector< T > &v, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| post_join_flows(const IR::Node *, const IR::Node *) | P4::Visitor | inlineprotectedvirtual |
| postorder(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| preorder(const IR::P4Table *) override (defined in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper) | P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper | |
| preorder(const IR::BoolLiteral *boolLiteral) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Constant *constant) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Member *member) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::ArrayIndex *arr) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::MethodCallExpression *call) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Mux *mux) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::PathExpression *pathExpression) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| P4::P4Tools::P4Testgen::ExprStepper::preorder(const IR::P4ValueSet *valueSet) override | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Operation_Binary *binary) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Operation_Unary *unary) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::SelectExpression *selectExpression) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::BaseListExpression *listExpression) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::StructExpression *structExpression) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Slice *slice) override (defined in P4::P4Tools::P4Testgen::ExprStepper) | P4::P4Tools::P4Testgen::ExprStepper | |
| P4::P4Tools::P4Testgen::AbstractStepper::preorder(const IR::Node *) override | P4::P4Tools::P4Testgen::AbstractStepper | virtual |
| print_context() const (defined in P4::Visitor) | P4::Visitor | |
| programInfo | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| resolveMethodCallArguments(const IR::MethodCallExpression *call) | P4::P4Tools::P4Testgen::ExprStepper | protected |
| Result typedef (defined in P4::P4Tools::P4Testgen::AbstractStepper) | P4::P4Tools::P4Testgen::AbstractStepper | |
| result | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| revisit(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| revisit_visited() (defined in P4::Inspector) | P4::Inspector | |
| setCalledBy(const Visitor *visitor) (defined in P4::Visitor) | P4::Visitor | inline |
| setFields(ExecutionState &nextState, const std::vector< IR::StateVariable > &flatFields, int varBitFieldSize) | P4::P4Tools::P4Testgen::ExprStepper | protectedstatic |
| setHeaderValidity(const IR::StateVariable &headerRef, bool validity, ExecutionState &state) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| setName(const char *name) (defined in P4::Visitor) | P4::Visitor | inline |
| setTargetUninitialized(ExecutionState &nextState, const IR::StateVariable &ref, bool forceTaint) const | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| solver | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| split_link (defined in P4::Visitor) | P4::Visitor | |
| split_link_mem (defined in P4::Visitor) | P4::Visitor | |
| state | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| step(const IR::Node *) | P4::P4Tools::P4Testgen::AbstractStepper | |
| stepGetHeaderValidity(const IR::StateVariable &headerRef) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| stepNoMatch(std::string traceLog, const IR::Expression *condition=nullptr) | P4::P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| stepSetHeaderValidity(const IR::StateVariable &headerRef, bool validity) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| stepStackPushPopFront(const IR::Expression *stackRef, const IR::Vector< IR::Argument > *args, bool isPush=true) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| stepSymbolicValue(const IR::Node *) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| stepToException(Continuation::Exception) | P4::P4Tools::P4Testgen::AbstractStepper | protected |
| stepToListSubexpr(const IR::BaseListExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::BaseListExpression *)> rebuildCmd) | P4::P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToStructSubexpr(const IR::StructExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::StructExpression *)> rebuildCmd) | P4::P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToSubexpr(const IR::Expression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const Continuation::Parameter *)> rebuildCmd) | P4::P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| visit(const IR::Node *&n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *const &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *&n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *const &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node *&, const char *=0, int=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit_children(const IR::Node *, std::function< void()> fn) (defined in P4::Visitor) | P4::Visitor | inlineprotected |
| visit_in_progress(const IR::Node *n) const (defined in P4::Inspector) | P4::Inspector | |
| visitAgain() const override (defined in P4::Inspector) | P4::Inspector | virtual |
| visitDagOnce (defined in P4::Visitor) | P4::Visitor | protected |
| visitOnce() const override (defined in P4::Inspector) | P4::Inspector | virtual |
| Visitor() (defined in P4::Visitor) | P4::Visitor | inline |
| warn(const int kind, const char *format, const T *node, Args &&...args) (defined in P4::Visitor) | P4::Visitor | inline |
| P4::Inspector::warn(const int kind, const char *format, const T &node, Args &&...args) | P4::Visitor | inline |
| warning_enabled(int warning_kind) const | P4::Visitor | inline |
| P4::Inspector::warning_enabled(const Visitor *visitor, int warning_kind) | P4::Visitor | static |
| ~Visitor()=default (defined in P4::Visitor) | P4::Visitor | virtual |
1.12.0