 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for P4::TypeInference, including all inherited members.
| actionCall(bool inActionList, const IR::MethodCallExpression *actionCall) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| addSubstitutions(const TypeVariableSubstitution *tvs) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| anyOrder (defined in P4::ResolutionContext) | P4::ResolutionContext | protected |
| apply_visitor(const IR::Node *, const char *name=nullptr) override (defined in P4::TypeInference) | P4::TypeInference | virtual |
| assignment(const IR::Node *errorPosition, const IR::Type *destType, const IR::Expression *sourceExpression) | P4::TypeInferenceBase | protected |
| binaryArith(const IR::Operation_Binary *op) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| binaryBool(const IR::Operation_Binary *op) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| called_by (defined in P4::Visitor) | P4::Visitor | |
| canCastBetween(const IR::Type *dest, const IR::Type *src) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| canonicalize(const IR::Type *type) | P4::TypeInferenceBase | protectedvirtual |
| canonicalizeFields(const IR::Type_StructLike *type, Ctor constructor) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| canonicalizeParameters(const IR::ParameterList *params) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protectedvirtual |
| check_clone(const Visitor *a) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| check_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| checkAbstractMethods(const IR::Declaration_Instance *inst, const IR::Type_Extern *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| checkArrays (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| checkExternConstructor(const IR::Node *errorPosition, const IR::Type_Extern *ext, const IR::Vector< IR::Argument > *arguments) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| checkParameters(const IR::ParameterList *paramList, bool forbidModules=false, bool forbidPackage=false) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| checkUnderlyingEnumType(const IR::Type *enumType) | P4::TypeInferenceBase | protected |
| clear_globals() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| clone() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| cloneWithFreshTypeVariables(const IR::IMayBeGenericType *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| compare(const IR::Node *errorPosition, const IR::Type *ltype, const IR::Type *rtype, Comparison *compare) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| constantFold(const IR::Expression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| containerInstantiation(const IR::Node *node, const IR::Vector< IR::Argument > *args, const IR::IContainer *container) | P4::TypeInferenceBase | protected |
| containsActionEnum(const IR::Type *type) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| containsHeader(const IR::Type *canonType) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| Context typedef (defined in P4::Visitor) | P4::Visitor | |
| controlFlowVisitor() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| currentActionList | P4::TypeInferenceBase | protected |
| demangle(const char *) (defined in P4::Visitor) | P4::Visitor | static |
| done() const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| dontForwardChildrenBeforePreorder (defined in P4::Visitor) | P4::Visitor | protected |
| end_apply(const IR::Node *Node) override (defined in P4::TypeInference) | P4::TypeInference | virtual |
| end_apply() (defined in P4::Visitor) | P4::Visitor | virtual |
| erase_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| errorOnNullDecls (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| 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 |
| finish(const IR::Node *Node) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| 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 |
| forbidModules (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protectedstatic |
| forbidPackages (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protectedstatic |
| forceClone (defined in P4::Transform) | P4::Transform | protected |
| getChildContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getChildrenVisited() const (defined in P4::Visitor) | P4::Visitor | inline |
| getContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getContextDepth() const (defined in P4::Visitor) | P4::Visitor | inline |
| getCurrentNode() const | P4::Visitor | inline |
| getDeclaration(const IR::Path *path, bool notNull=false) const (defined in P4::ResolutionContext) | P4::ResolutionContext | virtual |
| getDeclaration(const IR::This *, bool notNull=false) const (defined in P4::ResolutionContext) | P4::ResolutionContext | virtual |
| getDeclarations(const IR::INamespace *ns) const | P4::ResolutionContext | inline |
| getDeclsByName(const IR::INamespace *ns, cstring name) const | P4::ResolutionContext | inline |
| getInitialNode() const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inlineprotected |
| getOriginal() const (defined in P4::Visitor) | P4::Visitor | inline |
| getParent() const (defined in P4::Visitor) | P4::Visitor | inline |
| getType(const IR::Node *element) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| getTypeType(const IR::Node *element) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| has_flow_joins() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| init_apply(const IR::Node *node) override (defined in P4::TypeInference) | P4::TypeInference | 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 |
| internalName (defined in P4::Visitor) | P4::Visitor | mutable |
| isCompileTimeConstant(const IR::Expression *expression) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inlineprotected |
| isInContext(const IR::Node *n) const (defined in P4::Visitor) | P4::Visitor | inline |
| isLeftValue(const IR::Expression *expression) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inlineprotected |
| join_flows(const IR::Node *) | P4::Visitor | inlineprotectedvirtual |
| joinFlows (defined in P4::Visitor) | P4::Visitor | protected |
| learn(const IR::Node *node, Visitor *caller, const Visitor::Context *ctxt) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| lookup(const IR::INamespace *ns, const IR::ID &name, ResolutionType type) const (defined in P4::ResolutionContext) | P4::ResolutionContext | protected |
| lookupMatchKind(const IR::ID &name) const (defined in P4::ResolutionContext) | P4::ResolutionContext | protected |
| loop_revisit(const IR::Node *) (defined in P4::Transform) | P4::Transform | inlinevirtual |
| matchCase(const IR::SelectExpression *select, const IR::Type_BaseList *selectType, const IR::SelectCase *selectCase, const IR::Type *caseType) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| methodArguments(cstring name) const | P4::ResolutionContext | protected |
| name() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| onlyBitsOrBitStructs(const IR::Type *type) const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| 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(IR::Declaration_MatchKind *decl) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Declaration_Variable *decl) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Declaration_Constant *constant) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4Control *cont) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4Parser *cont) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Method *method) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Type *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Table *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Error *decl) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_InfInt *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Method *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Action *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Name *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Base *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Var *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Enum *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Extern *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::StructField *field) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Header *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Stack *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Struct *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_HeaderUnion *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Typedef *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Specialized *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_SpecializedCanonical *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Tuple *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_P4List *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_List *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Set *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_ArchBlock *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Newtype *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_Package *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Type_ActionEnum *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4Table *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4Action *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4ValueSet *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Key *key) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Entry *e) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Dots *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Argument *arg) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::SerEnumMember *member) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Parameter *param) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Constant *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::BoolLiteral *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::StringLiteral *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Operation_Relation *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Concat *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ArrayIndex *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::LAnd *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::LOr *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Add *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Sub *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::AddSat *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::SubSat *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Mul *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Div *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Mod *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Shl *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Shr *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::BXor *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::BAnd *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::BOr *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Mask *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Range *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::LNot *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Neg *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::UPlus *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Cmpl *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Cast *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Mux *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Slice *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::PlusSlice *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::PathExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Member *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::TypeNameExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ListExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::InvalidHeader *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::InvalidHeaderUnion *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Invalid *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::P4ListExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::StructExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::HeaderStackExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::MethodCallStatement *mcs) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::MethodCallExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ConstructorCallExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::SelectExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::DefaultExpression *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::This *expression) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::AttribLocal *local) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ActionList *al) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ReturnStatement *stat) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::IfStatement *stat) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::SwitchStatement *stat) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::AssignmentStatement *stat) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ForInStatement *stat) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::ActionListElement *elem) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::KeyElement *elem) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Property *elem) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::SelectCase *elem) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Annotation *annotation) override (defined in P4::TypeInference) | P4::TypeInference | |
| postorder(IR::Node *n) (defined in P4::TypeInference) | P4::TypeInference | inlinevirtual |
| postorder(const IR::Declaration_MatchKind *decl) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Declaration_Variable *decl) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Declaration_Constant *constant) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4Control *cont) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4Parser *cont) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Method *method) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Type *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Table *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Error *decl) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_InfInt *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Method *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Action *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Name *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Base *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Var *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Enum *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Extern *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::StructField *field) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Header *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Stack *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Struct *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_HeaderUnion *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Typedef *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Specialized *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_SpecializedCanonical *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Tuple *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_P4List *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_List *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Set *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_ArchBlock *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Newtype *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_Package *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Type_ActionEnum *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4Table *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4Action *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4ValueSet *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| P4::TypeInferenceBase::postorder(const IR::Key *key) | P4::TypeInferenceBase | |
| P4::TypeInferenceBase::postorder(const IR::Entry *e) | P4::TypeInferenceBase | |
| postorder(const IR::Dots *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Argument *arg) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::SerEnumMember *member) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Parameter *param) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Constant *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::BoolLiteral *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::StringLiteral *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Operation_Relation *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Concat *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ArrayIndex *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::LAnd *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::LOr *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Add *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Sub *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::AddSat *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::SubSat *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Mul *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Div *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Mod *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Shl *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Shr *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::BXor *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::BAnd *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::BOr *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Mask *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::Range *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inline |
| postorder(const IR::LNot *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Neg *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::UPlus *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Cmpl *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Cast *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Mux *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Slice *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::PlusSlice *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::PathExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Member *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::TypeNameExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ListExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::InvalidHeader *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::InvalidHeaderUnion *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Invalid *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::P4ListExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::StructExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::HeaderStackExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::MethodCallStatement *mcs) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::MethodCallExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ConstructorCallExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::SelectExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::DefaultExpression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::This *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::AttribLocal *local) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ActionList *al) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ReturnStatement *stat) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::IfStatement *stat) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::SwitchStatement *stat) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::AssignmentStatement *stat) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ForInStatement *stat) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::ActionListElement *elem) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::KeyElement *elem) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Property *elem) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::SelectCase *elem) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| postorder(const IR::Annotation *annotation) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| preorder(IR::Expression *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| preorder(IR::Type *type) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| preorder(IR::Function *function) override (defined in P4::TypeInference) | P4::TypeInference | |
| preorder(IR::P4Program *program) override (defined in P4::TypeInference) | P4::TypeInference | |
| preorder(IR::Declaration_Instance *decl) override (defined in P4::TypeInference) | P4::TypeInference | |
| preorder(IR::EntriesList *el) override (defined in P4::TypeInference) | P4::TypeInference | |
| preorder(IR::Type_SerEnum *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| preorder(IR::Node *n) (defined in P4::TypeInference) | P4::TypeInference | inlinevirtual |
| preorder(const IR::Function *function) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| preorder(const IR::P4Program *program) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| preorder(const IR::Declaration_Instance *decl) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| P4::TypeInferenceBase::preorder(const IR::EntriesList *el) | P4::TypeInferenceBase | |
| preorder(const IR::Type_SerEnum *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| preorderDeclarationInstanceImpl(Node *decl) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| preorderFunctionImpl(Node *function) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| PreorderResult typedef (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| print_context() const (defined in P4::Visitor) | P4::Visitor | |
| prune() (defined in P4::Transform) | P4::Transform | inline |
| pruneIfDone(const IR::Node *node) (defined in P4::TypeInference) | P4::TypeInference | inline |
| readOnly (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| readOnlyClone() const (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| ResolutionContext() (defined in P4::ResolutionContext) | P4::ResolutionContext | protected |
| ResolutionContext(bool ao) (defined in P4::ResolutionContext) | P4::ResolutionContext | inlineexplicitprotected |
| resolve(const IR::ID &name, ResolutionType type) const | P4::ResolutionContext | |
| resolvePath(const IR::Path *path, bool isType) const | P4::ResolutionContext | virtual |
| resolveType(const IR::Type *type) const | P4::ResolutionContext | |
| resolveUnique(const IR::ID &name, ResolutionType type, const IR::INamespace *=nullptr) const | P4::ResolutionContext | |
| revisit(const IR::Node *, const IR::Node *) (defined in P4::Transform) | P4::Transform | inlinevirtual |
| revisit_visited() (defined in P4::Transform) | P4::Transform | |
| setCalledBy(const Visitor *visitor) (defined in P4::Visitor) | P4::Visitor | inline |
| setCompileTimeConstant(const IR::Expression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inlineprotected |
| setLeftValue(const IR::Expression *expression) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | inlineprotected |
| setName(const char *name) (defined in P4::Visitor) | P4::Visitor | inline |
| setType(const IR::Node *element, const IR::Type *type) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| setTypeType(const IR::Type *type, bool learn=true) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protectedvirtual |
| shift(const IR::Operation_Binary *op) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| specialize(const IR::IMayBeGenericType *type, const IR::Vector< IR::Type > *arguments, const Visitor::Context *ctxt) | P4::TypeInferenceBase | static |
| split_link (defined in P4::Visitor) | P4::Visitor | |
| split_link_mem (defined in P4::Visitor) | P4::Visitor | |
| start(const IR::Node *node) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | |
| transform_child(const IR::Node *child) (defined in P4::Transform) | P4::Transform | inlineprotected |
| TypeInference(TypeMap *typeMap, bool readOnly=true, bool checkArrays=true, bool errorOnNullDecls=false) (defined in P4::TypeInference) | P4::TypeInference | inlineexplicit |
| TypeInferenceBase(TypeMap *typeMap, bool readOnly=false, bool checkArrays=true, bool errorOnNullDecls=false) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | explicit |
| TypeInferenceBase(TypeMap *typeMap, std::shared_ptr< MinimalNameGenerator > nameGen) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| typeSet(const IR::Operation_Binary *op) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| unify(const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, std::string_view errorFormat={}, std::initializer_list< const IR::Node * > errorArgs={}) | P4::TypeInferenceBase | inlineprotected |
| unifyBase(bool allowCasts, const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, std::string_view errorFormat, std::initializer_list< const IR::Node * > errorArgs) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| unifyCast(const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, std::string_view errorFormat={}, std::initializer_list< const IR::Node * > errorArgs={}) | P4::TypeInferenceBase | inlineprotected |
| unsBinaryArith(const IR::Operation_Binary *op) (defined in P4::TypeInferenceBase) | P4::TypeInferenceBase | protected |
| validateActionInitializer(const IR::Expression *actionCall) | P4::TypeInferenceBase | protected |
| validateFields(const IR::Type *type, std::function< bool(const IR::Type *)> checker) const | P4::TypeInferenceBase | protected |
| 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 *) const (defined in P4::Transform) | P4::Transform | |
| visitAgain() const override (defined in P4::Transform) | P4::Transform | virtual |
| visitDagOnce (defined in P4::Visitor) | P4::Visitor | protected |
| visitOnce() const override (defined in P4::Transform) | P4::Transform | 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::Transform::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::Transform::warning_enabled(const Visitor *visitor, int warning_kind) | P4::Visitor | static |
| ~Visitor()=default (defined in P4::Visitor) | P4::Visitor | virtual |
1.12.0