pointer.h

Go to the documentation of this file.

 
#pragma once
 
#include <optional>
 
#include "sdfg/types/type.h"
 
namespace sdfg {
 
namespace types {

class Pointer : public IType {
private:
    std::optional<std::unique_ptr<IType>> pointee_type_; 
 
public:
    Pointer();

    Pointer(const IType& pointee_type);

    Pointer(StorageType storage_type, size_t alignment, const std::string& initializer);

    Pointer(StorageType storage_type, size_t alignment, const std::string& initializer, const IType& pointee_type);

    virtual std::unique_ptr<IType> clone() const override;

    virtual TypeID type_id() const override;

    virtual PrimitiveType primitive_type() const override;

    virtual bool is_symbol() const override;
 
    bool is_pointer_like() const override {
        return true;
    }

    bool has_pointee_type() const;

    const IType& pointee_type() const;

    virtual bool operator==(const IType& other) const override;

    virtual std::string print() const override;

    virtual void
    replace_symbols(const symbolic::Expression old_expression, const symbolic::Expression new_expression) override;
    virtual void replace_symbols(const symbolic::ExpressionMapping& replacements) override;
};
} // namespace types
} // namespace sdfg