P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::CheckNamedArgs Class Reference
Inheritance diagram for P4::CheckNamedArgs:
Inheritance graph
[legend]

Public Member Functions

bool checkArguments (const IR::Vector< IR::Argument > *arguments)
 
bool preorder (const IR::Declaration_Instance *call) override
 
bool preorder (const IR::Function *function) override
 
bool preorder (const IR::MethodCallExpression *call) override
 
bool preorder (const IR::P4Control *control) override
 
bool preorder (const IR::P4Parser *parser) override
 
bool preorder (const IR::Parameter *parameter) override
 

Detailed Description

A method call must have either all or none of the arguments named. We also check that no argument appears twice. We also check that no optional parameter has a default value. We also check that controls, parsers, and functions cannot have optional parameters