 |
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::TypeInference) | P4::TypeInference | protected |
| addSubstitutions(const TypeVariableSubstitution *tvs) (defined in P4::TypeInference) | P4::TypeInference | protected |
| apply_visitor(const IR::Node *, const char *name=0) override (defined in P4::TypeInference) | P4::TypeInference | |
| assignment(const IR::Node *errorPosition, const IR::Type *destType, const IR::Expression *sourceExpression) | P4::TypeInference | protected |
| binaryArith(const IR::Operation_Binary *op) (defined in P4::TypeInference) | P4::TypeInference | protected |
| binaryBool(const IR::Operation_Binary *op) (defined in P4::TypeInference) | P4::TypeInference | protected |
| canCastBetween(const IR::Type *dest, const IR::Type *src) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| canonicalize(const IR::Type *type) | P4::TypeInference | protectedvirtual |
| canonicalizeFields(const IR::Type_StructLike *type, std::function< const IR::Type *(const IR::IndexedVector< IR::StructField > *)> constructor) (defined in P4::TypeInference) | P4::TypeInference | protected |
| canonicalizeParameters(const IR::ParameterList *params) (defined in P4::TypeInference) | P4::TypeInference | protectedvirtual |
| checkAbstractMethods(const IR::Declaration_Instance *inst, const IR::Type_Extern *type) (defined in P4::TypeInference) | P4::TypeInference | protected |
| checkArrays (defined in P4::TypeInference) | P4::TypeInference | protected |
| checkExternConstructor(const IR::Node *errorPosition, const IR::Type_Extern *ext, const IR::Vector< IR::Argument > *arguments) (defined in P4::TypeInference) | P4::TypeInference | protected |
| checkParameters(const IR::ParameterList *paramList, bool forbidModules=false, bool forbidPackage=false) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| checkUnderlyingEnumType(const IR::Type *enumType) | P4::TypeInference | protected |
| clone() const override (defined in P4::TypeInference) | P4::TypeInference | |
| cloneWithFreshTypeVariables(const IR::IMayBeGenericType *type) (defined in P4::TypeInference) | P4::TypeInference | protected |
| compare(const IR::Node *errorPosition, const IR::Type *ltype, const IR::Type *rtype, Comparison *compare) (defined in P4::TypeInference) | P4::TypeInference | |
| constantFold(const IR::Expression *expression) (defined in P4::TypeInference) | P4::TypeInference | protected |
| containerInstantiation(const IR::Node *node, const IR::Vector< IR::Argument > *args, const IR::IContainer *container) | P4::TypeInference | protected |
| containsActionEnum(const IR::Type *type) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| containsHeader(const IR::Type *canonType) (defined in P4::TypeInference) | P4::TypeInference | protected |
| currentActionList | P4::TypeInference | protected |
| done() const (defined in P4::TypeInference) | P4::TypeInference | protected |
| end_apply(const IR::Node *Node) override (defined in P4::TypeInference) | P4::TypeInference | |
| forbidModules (defined in P4::TypeInference) | P4::TypeInference | protectedstatic |
| forbidPackages (defined in P4::TypeInference) | P4::TypeInference | protectedstatic |
| getType(const IR::Node *element) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| getTypeType(const IR::Node *element) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| init_apply(const IR::Node *node) override (defined in P4::TypeInference) | P4::TypeInference | |
| isCompileTimeConstant(const IR::Expression *expression) const (defined in P4::TypeInference) | P4::TypeInference | inlineprotected |
| isLeftValue(const IR::Expression *expression) const (defined in P4::TypeInference) | P4::TypeInference | inlineprotected |
| learn(const IR::Node *node, Visitor *caller) (defined in P4::TypeInference) | P4::TypeInference | |
| matchCase(const IR::SelectExpression *select, const IR::Type_BaseList *selectType, const IR::SelectCase *selectCase, const IR::Type *caseType) (defined in P4::TypeInference) | P4::TypeInference | protected |
| onlyBitsOrBitStructs(const IR::Type *type) const (defined in P4::TypeInference) | P4::TypeInference | protected |
| 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 | P4::TypeInference | |
| postorder(IR::Entry *e) override | 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 | inline |
| postorder(IR::LOr *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Add *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Sub *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::AddSat *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::SubSat *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Mul *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Div *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Mod *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Shl *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Shr *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::BXor *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::BAnd *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::BOr *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Mask *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| postorder(IR::Range *expression) override (defined in P4::TypeInference) | P4::TypeInference | inline |
| 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::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::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::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 | |
| 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 | P4::TypeInference | |
| preorder(IR::Type_SerEnum *type) override (defined in P4::TypeInference) | P4::TypeInference | |
| pruneIfDone(const IR::Node *node) (defined in P4::TypeInference) | P4::TypeInference | inline |
| readOnly (defined in P4::TypeInference) | P4::TypeInference | protected |
| setCompileTimeConstant(const IR::Expression *expression) (defined in P4::TypeInference) | P4::TypeInference | inlineprotected |
| setLeftValue(const IR::Expression *expression) (defined in P4::TypeInference) | P4::TypeInference | inlineprotected |
| setType(const IR::Node *element, const IR::Type *type) (defined in P4::TypeInference) | P4::TypeInference | protected |
| setTypeType(const IR::Type *type, bool learn=true) (defined in P4::TypeInference) | P4::TypeInference | protectedvirtual |
| shift(const IR::Operation_Binary *op) (defined in P4::TypeInference) | P4::TypeInference | protected |
| specialize(const IR::IMayBeGenericType *type, const IR::Vector< IR::Type > *arguments) | P4::TypeInference | static |
| TypeInference(ReferenceMap *refMap, TypeMap *typeMap, bool readOnly=false, bool checkArrays=true) (defined in P4::TypeInference) | P4::TypeInference | |
| typeSet(const IR::Operation_Binary *op) (defined in P4::TypeInference) | P4::TypeInference | protected |
| unify(const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, cstring errorFormat=nullptr, std::initializer_list< const IR::Node * > errorArgs={}) | P4::TypeInference | inlineprotected |
| unifyBase(bool allowCasts, const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, cstring errorFormat, std::initializer_list< const IR::Node * > errorArgs) (defined in P4::TypeInference) | P4::TypeInference | protected |
| unifyCast(const IR::Node *errorPosition, const IR::Type *destType, const IR::Type *srcType, cstring errorFormat=nullptr, std::initializer_list< const IR::Node * > errorArgs={}) | P4::TypeInference | inlineprotected |
| unsBinaryArith(const IR::Operation_Binary *op) (defined in P4::TypeInference) | P4::TypeInference | protected |
| validateActionInitializer(const IR::Expression *actionCall) | P4::TypeInference | protected |
| validateFields(const IR::Type *type, std::function< bool(const IR::Type *)> checker) const | P4::TypeInference | protected |