structure.h

Go to the documentation of this file.

 
#pragma once
 
#include <cassert>
#include <string>
#include <vector>
 
#include "sdfg/types/type.h"
 
namespace sdfg {
 
namespace types {
 
class Scalar;
 
namespace builder {
class FunctionBuilder;
} // namespace builder

class Structure : public IType {
private:
    std::string name_; 
 
public:
    Structure(const std::string& name);

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

    virtual PrimitiveType primitive_type() const override;

    virtual TypeID type_id() const override;

    virtual bool is_symbol() const override;

    const std::string& name() const;

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

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

    virtual std::string print() const override;

    bool is_pointer_like() 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 {
    }
};

class StructureDefinition {
private:
    std::string name_; 
    bool is_packed_; 
    std::vector<std::unique_ptr<IType>> members_; 
 
public:
    StructureDefinition(const std::string& name, bool is_packed);

    std::unique_ptr<StructureDefinition> clone() const;

    const std::string& name() const;

    bool is_packed() const;

    size_t num_members() const;

    const IType& member_type(symbolic::Integer index) const;

    void add_member(const IType& member_type);

    bool is_vector() const;

    const Scalar& vector_element_type() const;

    const size_t vector_size() const;

    static const Structure&
    create_vector_type(const builder::FunctionBuilder& builder, const Scalar& element_type, size_t vector_size);

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