 |
P4C
The P4 Compiler
|
|
|
P4C
The P4 Compiler
|
|
This is the complete list of members for P4Tools::P4Testgen::ExprStepper, 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 | |
| calculateAdvanceExpression(const ExecutionState &state, const IR::Expression *advanceExpr, const IR::Expression *restrictions) const | P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| calculateSuccessfulParserAdvance(const ExecutionState &state, int advanceSize) const | P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| checkMemberInvariant(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| 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 |
| evalActionCall(const IR::P4Action *action, const IR::MethodCallExpression *call) | P4Tools::P4Testgen::ExprStepper | protected |
| evalExternMethodCall(const IR::MethodCallExpression *call, const IR::Expression *receiver, IR::ID name, const IR::Vector< IR::Argument > *args, ExecutionState &state) | P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| evalInternalExternMethodCall(const IR::MethodCallExpression *call, const IR::Expression *receiver, IR::ID name, const IR::Vector< IR::Argument > *args, const ExecutionState &state) | P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| evaluateExpression(const IR::Expression *expr, std::optional< const IR::Expression * > cond) const | P4Tools::P4Testgen::AbstractStepper | protected |
| ExprStepper(const ExprStepper &)=default (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| ExprStepper(ExprStepper &&)=default (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| ExprStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| ExtractUtils | P4Tools::P4Testgen::ExprStepper | friend |
| generateCopyIn(ExecutionState &nextState, const IR::StateVariable &targetPath, const IR::StateVariable &srcPath, cstring dir, bool forceTaint) const | P4Tools::P4Testgen::ExprStepper | protected |
| getClassName()=0 | P4Tools::P4Testgen::AbstractStepper | protectedpure virtual |
| getProgramInfo() const (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | protectedvirtual |
| handleHitMissActionRun(const IR::Member *member) | P4Tools::P4Testgen::ExprStepper | protected |
| logStep(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protected |
| operator=(const ExprStepper &)=delete (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| operator=(ExprStepper &&)=delete (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::BoolLiteral *boolLiteral) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Constant *constant) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Member *member) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::ArrayIndex *arr) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::MethodCallExpression *call) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Mux *mux) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::PathExpression *pathExpression) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::P4ValueSet *valueSet) override | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Operation_Binary *binary) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Operation_Unary *unary) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::SelectExpression *selectExpression) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::BaseListExpression *listExpression) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::StructExpression *structExpression) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::Slice *slice) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| preorder(const IR::P4Table *table) override (defined in P4Tools::P4Testgen::ExprStepper) | P4Tools::P4Testgen::ExprStepper | |
| P4Tools::P4Testgen::AbstractStepper::preorder(const IR::Node *) override | P4Tools::P4Testgen::AbstractStepper | |
| programInfo | P4Tools::P4Testgen::AbstractStepper | protected |
| resolveMethodCallArguments(const IR::MethodCallExpression *call) | P4Tools::P4Testgen::ExprStepper | protected |
| result | P4Tools::P4Testgen::AbstractStepper | protected |
| Result typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| setFields(ExecutionState &nextState, const std::vector< IR::StateVariable > &flatFields, int varBitFieldSize) | P4Tools::P4Testgen::ExprStepper | protectedstatic |
| 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 |
| state | P4Tools::P4Testgen::AbstractStepper | protected |
| step(const IR::Node *) | P4Tools::P4Testgen::AbstractStepper | |
| stepGetHeaderValidity(const IR::StateVariable &headerRef) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepNoMatch(std::string traceLog, const IR::Expression *condition=nullptr) | P4Tools::P4Testgen::ExprStepper | protectedvirtual |
| 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 |
| TableStepper | P4Tools::P4Testgen::ExprStepper | friend |