P4C
The P4 Compiler
Loading...
Searching...
No Matches
checkCoreMethods.h
1
/*
2
Copyright 2021 VMware, Inc.
3
4
Licensed under the Apache License, Version 2.0 (the "License");
5
you may not use this file except in compliance with the License.
6
You may obtain a copy of the License at
7
8
http://www.apache.org/licenses/LICENSE-2.0
9
10
Unless required by applicable law or agreed to in writing, software
11
distributed under the License is distributed on an "AS IS" BASIS,
12
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
See the License for the specific language governing permissions and
14
limitations under the License.
15
*/
16
17
#ifndef FRONTENDS_P4_CHECKCOREMETHODS_H_
18
#define FRONTENDS_P4_CHECKCOREMETHODS_H_
19
20
#include "frontends/common/resolveReferences/resolveReferences.h"
21
#include "frontends/p4/methodInstance.h"
22
#include "frontends/p4/typeChecking/typeChecker.h"
23
#include "ir/ir.h"
24
25
namespace
P4
{
26
28
class
DoCheckCoreMethods
:
public
Inspector
,
public
ResolutionContext
{
29
TypeMap
*typeMap;
30
31
void
checkEmitType(
const
IR::Expression *emit,
const
IR::Type *type)
const
;
32
void
checkCorelibMethods(
const
ExternMethod
*em)
const
;
33
34
public
:
35
explicit
DoCheckCoreMethods
(
TypeMap
*typeMap) : typeMap(typeMap) {
36
CHECK_NULL(typeMap);
37
setName(
"DoCheckCoreMethods"
);
38
}
39
40
void
postorder(
const
IR::MethodCallExpression *expr)
override
;
41
};
42
43
class
CheckCoreMethods
:
public
PassManager
{
44
public
:
45
explicit
CheckCoreMethods
(
TypeMap
*typeMap) {
46
passes.push_back(
new
TypeChecking
(
nullptr
, typeMap));
47
passes.push_back(
new
DoCheckCoreMethods
(typeMap));
48
setName(
"CheckCoreMethods"
);
49
}
50
};
51
52
}
// namespace P4
53
54
#endif
/* FRONTENDS_P4_CHECKCOREMETHODS_H_ */
P4::CheckCoreMethods
Definition
checkCoreMethods.h:43
P4::DoCheckCoreMethods
Check types for arguments of core.p4 methods.
Definition
checkCoreMethods.h:28
P4::ExternMethod
Definition
methodInstance.h:168
P4::Inspector
Definition
visitor.h:400
P4::PassManager
Definition
ir/pass_manager.h:40
P4::ResolutionContext
Visitor mixin for looking up names in enclosing scopes from the Visitor::Context.
Definition
resolveReferences.h:35
P4::TypeChecking
Definition
typeChecker.h:55
P4::TypeMap
Definition
typeMap.h:41
P4
TODO: this is not really specific to BMV2, it should reside somewhere else.
Definition
applyOptionsPragmas.cpp:24
frontends
p4
checkCoreMethods.h
Generated by
1.12.0