//===- CPAInterfaces.td - Interfaces to augment CPA --------*- tablegen -*-===//
//
// This file is licensed under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#ifndef NPCOMP_TYPING_ANALYSIS_CPA_CPA_INTERFACES
#define NPCOMP_TYPING_ANALYSIS_CPA_CPA_INTERFACES

include "mlir/IR/OpBase.td"

// TODO: Check upstream: there doesn't seem to be a way to define interfaces
// outside of the ::mlir root namespace.
def NPCOMP_TypingCPATypeMapInterface : TypeInterface<
    "NPCOMPTypingTypeMapInterface"> {
  let methods = [
    InterfaceMethod<"Maps an MLIR Type to a CPA::TypeNode.",
      /*retTy=*/ "::mlir::NPCOMP::Typing::CPA::TypeNode *",
      /*methodName=*/ "mapToCPAType",
      /*args=*/ (ins
          "::mlir::NPCOMP::Typing::CPA::Context &":$context)>,
  ];
}

def NPCOMP_CPATypeInferenceOpInterface : OpInterface<
    "NPCOMPTypingCPATypeInferenceOpInterface"> {
  let methods = [
    InterfaceMethod<"Adds CPA constraints for the op.",
      /*retTy=*/ "void",
      /*methodName=*/ "addCPAConstraints",
      /*args=*/ (ins
          "::mlir::NPCOMP::Typing::CPA::Context &":$context)>,
  ];
}

#endif // NPCOMP_TYPING_ANALYSIS_CPA_CPA_INTERFACES