declaration.h

/*
 * Copyright 2017 VMware, Inc.
 * SPDX-FileCopyrightText: 2017 VMware, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef IR_DECLARATION_H_
#define IR_DECLARATION_H_
 
#include "ir/id.h"
#include "ir/node.h"
 
namespace P4::IR {

class IDeclaration : public virtual INode {
 public:
    virtual ID getName() const = 0;

    virtual cstring externalName(cstring replace = cstring()) const;

    cstring controlPlaneName(cstring replace = cstring()) const;
 
    virtual ~IDeclaration() {}
 
    DECLARE_TYPEINFO_WITH_TYPEID(IDeclaration, NodeKind::IDeclaration, INode);
};
 
}  // namespace P4::IR
 
#endif /* IR_DECLARATION_H_ */