 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for P4Tools::P4Testgen::AbstractStepper, including all inherited members.
| AbstractStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| apply_visitor(const IR::Node *, const char *name=0) override (defined in Inspector) | Inspector | virtual |
| Branch typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| called_by (defined in Visitor) | Visitor | |
| check_global(cstring) (defined in Visitor) | Visitor | inlinevirtual |
| checkMemberInvariant(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| clear_globals() (defined in Visitor) | Visitor | inlinevirtual |
| clone() const (defined in Visitor) | Visitor | inlinevirtual |
| Context typedef (defined in Visitor) | Visitor | |
| controlFlowVisitor() (defined in Visitor) | Visitor | inlinevirtual |
| 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 |
| demangle(const char *) (defined in Visitor) | Visitor | static |
| dontForwardChildrenBeforePreorder (defined in Visitor) | Visitor | protected |
| end_apply() (defined in Visitor) | Visitor | virtual |
| end_apply(const IR::Node *root) (defined in Visitor) | Visitor | virtual |
| erase_global(cstring) (defined in Visitor) | Visitor | inlinevirtual |
| evaluateExpression(const IR::Expression *expr, std::optional< const IR::Expression * > cond) const | P4Tools::P4Testgen::AbstractStepper | protected |
| findContext(const Context *&c) const (defined in Visitor) | Visitor | inline |
| findContext() const (defined in Visitor) | Visitor | inline |
| findOrigCtxt(const Context *&c) const (defined in Visitor) | Visitor | inline |
| findOrigCtxt() const (defined in Visitor) | Visitor | inline |
| flow_clone() (defined in Visitor) | Visitor | inlinevirtual |
| flow_merge(Visitor &) | Visitor | inlinevirtual |
| flow_merge_closure(Visitor &) (defined in Visitor) | Visitor | inlinevirtual |
| flow_merge_global_from(cstring) (defined in Visitor) | Visitor | inlinevirtual |
| flow_merge_global_to(cstring) | Visitor | inlinevirtual |
| getChildContext() const (defined in Visitor) | Visitor | inline |
| getChildrenVisited() const (defined in Visitor) | Visitor | inline |
| getClassName()=0 | P4Tools::P4Testgen::AbstractStepper | protectedpure virtual |
| getContext() const (defined in Visitor) | Visitor | inline |
| getContextDepth() const (defined in Visitor) | Visitor | inline |
| getCurrentNode() const | Visitor | inline |
| getOriginal() const (defined in Visitor) | Visitor | inline |
| getParent() const (defined in Visitor) | Visitor | inline |
| getProgramInfo() const (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | protectedvirtual |
| has_flow_joins() const (defined in Visitor) | Visitor | inlinevirtual |
| init_apply(const IR::Node *root) override (defined in Inspector) | Inspector | virtual |
| init_apply(const IR::Node *root, const Context *parent_context) (defined in Visitor) | Visitor | |
| init_join_flows(const IR::Node *) (defined in Visitor) | Visitor | inlineprotectedvirtual |
| internalName (defined in Visitor) | Visitor | mutable |
| isInContext(const IR::Node *n) const (defined in Visitor) | Visitor | inline |
| join_flows(const IR::Node *) | Visitor | inlineprotectedvirtual |
| joinFlows (defined in Visitor) | Visitor | protected |
| logStep(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protected |
| loop_revisit(const IR::Node *) (defined in Inspector) | Inspector | inlinevirtual |
| name() const (defined in Visitor) | Visitor | inlinevirtual |
| parallel_visit(IR::Vector< T > &v, const char *name=0) (defined in Visitor) | Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name=0) (defined in Visitor) | Visitor | inline |
| parallel_visit(IR::Vector< T > &v, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| post_join_flows(const IR::Node *, const IR::Node *) | Visitor | inlineprotectedvirtual |
| postorder(const IR::Node *) (defined in Inspector) | Inspector | inlinevirtual |
| preorder(const IR::Node *) override | P4Tools::P4Testgen::AbstractStepper | virtual |
| print_context() const (defined in Visitor) | Visitor | |
| programInfo | P4Tools::P4Testgen::AbstractStepper | protected |
| Result typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| result | P4Tools::P4Testgen::AbstractStepper | protected |
| revisit(const IR::Node *) (defined in Inspector) | Inspector | inlinevirtual |
| revisit_visited() (defined in Inspector) | Inspector | |
| setCalledBy(const Visitor *visitor) (defined in Visitor) | Visitor | inline |
| setHeaderValidity(const IR::StateVariable &headerRef, bool validity, ExecutionState &state) | P4Tools::P4Testgen::AbstractStepper | protected |
| setName(const char *name) (defined in Visitor) | Visitor | inline |
| setTargetUninitialized(ExecutionState &nextState, const IR::StateVariable &ref, bool forceTaint) const | P4Tools::P4Testgen::AbstractStepper | protected |
| solver | P4Tools::P4Testgen::AbstractStepper | protected |
| split_link (defined in Visitor) | Visitor | |
| split_link_mem (defined in Visitor) | Visitor | |
| 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 |
| visit(const IR::Node *&n, const char *name=0) (defined in Visitor) | Visitor | inline |
| visit(const IR::Node *const &n, const char *name=0) (defined in Visitor) | Visitor | inline |
| visit(const IR::Node *&n, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| visit(const IR::Node *const &n, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| visit(IR::Node *&, const char *=0, int=0) (defined in Visitor) | Visitor | inline |
| visit(IR::Node &n, const char *name=0) (defined in Visitor) | Visitor | inline |
| visit(const IR::Node &n, const char *name=0) (defined in Visitor) | Visitor | inline |
| visit(IR::Node &n, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| visit(const IR::Node &n, const char *name, int cidx) (defined in Visitor) | Visitor | inline |
| visit_children(const IR::Node *, std::function< void()> fn) (defined in Visitor) | Visitor | inlineprotected |
| visit_in_progress(const IR::Node *n) const (defined in Inspector) | Inspector | |
| visitAgain() const override (defined in Inspector) | Inspector | virtual |
| visitDagOnce (defined in Visitor) | Visitor | protected |
| visitOnce() const override (defined in Inspector) | Inspector | virtual |
| Visitor() (defined in Visitor) | Visitor | inline |
| warn(const int kind, const char *format, const T *node, Args &&...args) (defined in Visitor) | Visitor | inline |
| Inspector::warn(const int kind, const char *format, const T &node, Args &&...args) | Visitor | inline |
| warning_enabled(int warning_kind) const | Visitor | inline |
| Inspector::warning_enabled(const Visitor *visitor, int warning_kind) | Visitor | static |
| ~Visitor()=default (defined in Visitor) | Visitor | virtual |
1.11.0