tipc/AbsentFieldChecker_8h_source.html

 #pragma once


 #include "ASTVisitor.h"

 #include "Unifier.h"


 class AbsentFieldChecker : public ASTVisitor {

   Unifier *unifier;


 public:

   AbsentFieldChecker(Unifier *u) : unifier(u) {}


   static void check(ASTProgram *p, Unifier *u);


   void endVisit(ASTAccessExpr *element) override;

 };

ASTVisitor.h

Unifier.h

ASTAccessExpr
Class for a record field access.
Definition: ASTAccessExpr.h:7

ASTProgram
Class for a program which is a name and a list of functions.
Definition: ASTProgram.h:11

ASTVisitor
Base class for AST visitors.
Definition: ASTVisitor.h:23

AbsentFieldChecker
Visits AST and checks that all field accesses are to defined fields.
Definition: AbsentFieldChecker.h:18

AbsentFieldChecker::AbsentFieldChecker
AbsentFieldChecker(Unifier *u)
Definition: AbsentFieldChecker.h:22

AbsentFieldChecker::check
static void check(ASTProgram *p, Unifier *u)
Generate and check absent field constraints and report any errors.
Definition: AbsentFieldChecker.cpp:8

AbsentFieldChecker::endVisit
void endVisit(ASTAccessExpr *element) override
Check that the accessed field is defined somewhere in the program.
Definition: AbsentFieldChecker.cpp:19

Unifier
Class used to solve type constraints and establish typability.
Definition: Unifier.h:19