typeUnification.h

/*
 * SPDX-FileCopyrightText: 2013 Barefoot Networks, Inc.
 * Copyright 2013-present Barefoot Networks, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef FRONTENDS_P4_TYPECHECKING_TYPEUNIFICATION_H_
#define FRONTENDS_P4_TYPECHECKING_TYPEUNIFICATION_H_
 
#include "frontends/p4/typeMap.h"
#include "ir/ir.h"
 
namespace P4 {
 
class TypeConstraints;
class BinaryConstraint;

class TypeUnification final {
    TypeConstraints *constraints;
    const TypeMap *typeMap;
 
    static bool containsDots(const IR::Type_StructLike *type);
    static bool containsDots(const IR::Type_BaseList *type);
    bool unifyCall(const BinaryConstraint *constraint);
    bool unifyFunctions(const BinaryConstraint *constraint, bool skipReturnValues = false);
    bool unifyBlocks(const BinaryConstraint *constraint);
 
 public:
    TypeUnification(TypeConstraints *constraints, const P4::TypeMap *typeMap)
        : constraints(constraints), typeMap(typeMap) {}
    bool unify(const BinaryConstraint *constraint);
};
 
}  // namespace P4
 
#endif /* FRONTENDS_P4_TYPECHECKING_TYPEUNIFICATION_H_ */