A constraint handler to collect constraints. More...
#include <ConstraintCollector.h>
Inheritance diagram for ConstraintCollector:
Collaboration diagram for ConstraintCollector:
Public Member Functions | |
| void | handle (std::shared_ptr< TipType > t1, std::shared_ptr< TipType > t2) override |
| std::vector< TypeConstraint > & | getCollectedConstraints () |
 Public Member Functions inherited from ConstraintHandler | |
| virtual | ~ConstraintHandler ()=default |
Detailed Description
A constraint handler to collect constraints.
While you can always unify and assert type safety as constraints are generated, you can also collect up all of the constraints and then unify that collection later. This ConstraintHandler implementation can be used for simply collecting the constraints. There are at least two reasons one might prefer collecting and then unifying. First, is to verify that constraints are being generated properly in unit tests. Second, is for learning purposes. That is, this implementation might help one better understand the typechecking algorithm.
Member Function Documentation
◆ getCollectedConstraints()
| std::vector< TypeConstraint > & ConstraintCollector::getCollectedConstraints | ( | ) |
◆ handle()
|
overridevirtual |
Implements ConstraintHandler.
The documentation for this class was generated from the following files:
- /home/runner/work/tipc/tipc/src/semantic/types/constraints/ConstraintCollector.h
- /home/runner/work/tipc/tipc/src/semantic/types/constraints/ConstraintCollector.cpp
