#ifndef SET_TYPES_H_
#define SET_TYPES_H_

#include <glib.h>
#include <ast/ast.h>

// with of primitive types (int/float) in bytes
#define BASE_BYTES 4

/**
 * @brief Primitive types form the basis of all other types.
 * 
 */
typedef enum PrimitiveType_t {
    // 4 byte signed integer in two's complement
    Int =0,
    // 4 byte IEEE-754 single precision
    Float =1
} PrimitiveType;

/**
 * @brief Represents the sign of a composite type.
 * 
 */
typedef enum Sign_t {
    // type has no sign bit
    Unsigned = 0,
    // type has a sign bit
    Signed = 1
} Sign;

/**
 * @brief Represents the scale of composite type which is multiplied
 *        with the base size in order to retrieve the the composites size.
 * @attention Valid value are: { 1/8, 1/4, 1/2, 1, 2, 4, 8 }
 * 
 */
typedef double Scale;

/**
 * @brief A composite type is an extended definition of a primitive type.
 * 
 */
typedef struct CompositeType_t {
    // sign of composite
    Sign sign;
    Scale scale;
    PrimitiveType primitive;
    AST_NODE_PTR nodePtr;
} CompositeType;

/**
 * @brief Specifies the specific type of the generic type struct.
 * 
 */
typedef enum TypeKind_t {
    TypeKindPrimitive,
    TypeKindComposite,
    TypeKindBox,
    TypeKindReference
} TypeKind;

typedef struct Type_t Type;

/**
 * @brief Reference points to a type.
 * @attention Can be nested. A reference can point to another reference: REF -> REF -> REF -> Primitive
 * 
 */
typedef Type* ReferenceType;

typedef struct BoxType_t BoxType;

typedef struct Block_t Block;

typedef struct Expression_t Expression;

typedef struct BoxMember_t {
    const char* name;
    Type* type;
    BoxType* box;
    Expression* initalizer;
    AST_NODE_PTR nodePtr;
} BoxMember;

/**
 * @brief Essentially a g   lorified struct
 * 
 */
typedef struct BoxType_t {
    // hashtable of members.
    // Associates the memebers name (const char*) with its type (BoxMember) 
    GHashTable* member; //BoxMember Pointer
    AST_NODE_PTR nodePtr;
} BoxType;

typedef struct Variable_t Variable;

typedef struct BoxAccess_t {
    // list of recursive box accesses
    // contains a list of BoxMembers (each specifying their own type, name and box type)
    GArray* member;
    // box variable to access
    Variable* variable;
    AST_NODE_PTR nodePtr;
} BoxAccess;

typedef struct Type_t {
    // specifiy the kind of this type
    // used to determine which implementation to choose
    TypeKind kind;
    // actual implementation of the type
    union TypeImplementation_t {
        PrimitiveType primitive;
        CompositeType composite;
        BoxType* box;
        ReferenceType reference;
    } impl;
    AST_NODE_PTR nodePtr;
} Type;

typedef struct Typedefine_t {
    const char* name;
    Type *type;
    AST_NODE_PTR nodePtr;
} Typedefine;



/**
 * @brief Reprents the value of type. Can be used to definitions, initialization and for expressions contants.
 * 
 */
typedef struct TypeValue_t {
    // the type
    Type *type;
    // UTF-8 representation of the type's value
    const char* value;
    AST_NODE_PTR nodePtr;
} TypeValue;

// .------------------------------------------------.
// |                 Functions                      |
// '------------------------------------------------'

/**
 * @brief Specifies a parameters I/O properties
 * 
 */
typedef enum IO_Qualifier_t {
    // Can be read from but not written to.
    // Function local only.
    In,
    // Can be written to but not read from.
    // Passed back to the functions callee.
    Out,
    // Can be read from and written to.
    // Passed back to the functions callee.
    InOut,
} IO_Qualifier;

/**
 * @brief A functions parameter declaration.
 * 
 */
typedef struct ParameterDeclaration_t {
    Type *type;
    IO_Qualifier qualifier;
    AST_NODE_PTR nodePtr;
} ParameterDeclaration;

/**
 * @brief A functions parameter.
 * 
 */
typedef struct ParameterDefinition_t {
    ParameterDeclaration declaration;
    // value to initalize the declaration with
    // NOTE: type of initializer and declaration MUST be equal
    Expression *initializer;
    AST_NODE_PTR nodePtr;
} ParameterDefinition;

typedef enum ParameterKind_t {
    ParameterDeclarationKind,
    ParameterDefinitionKind
} ParameterKind;

/**
 * @brief A parameter can either be a declaration or a definition
 * 
 */
typedef struct Parameter_t {
    const char* name;
    
    ParameterKind kind;
    union ParameterImplementation {
        ParameterDeclaration declaration;
        ParameterDefinition definiton;
    } impl;
    AST_NODE_PTR nodePtr;
} Parameter;    // fix typo

typedef enum FunctionKind_t {
    FunctionDeclarationKind,
    FunctionDefinitionKind
} FunctionKind;

typedef struct FunctionDefinition_t {
    // hashtable of parameters
    // associates a parameters name (const char*) with its parameter declaration (ParameterDeclaration)
    GArray* parameter; // Parameter
    AST_NODE_PTR nodePtr;
    // body of function
    Block *body;
    // name of function
    const char* name;
} FunctionDefinition;

typedef struct FunctionDeclaration_t {
    // hashtable of parameters
    // associates a parameters name (const char*) with its parameter declaration (ParameterDeclaration)
    GArray* parameter; // Parameter
    AST_NODE_PTR nodePtr;
    const char* name;
} FunctionDeclaration;

typedef struct Function_t {
    FunctionKind kind;
    union FunctionImplementation {
        FunctionDefinition definition;
        FunctionDeclaration declaration;
    } impl;
    AST_NODE_PTR nodePtr;
    const char * name;
} Function;

// .------------------------------------------------.
// |                 Variables                      |
// '------------------------------------------------'

typedef enum StorageQualifier_t {
    Local,
    Static,
    Global
} StorageQualifier;

typedef struct VariableDeclaration_t {
    StorageQualifier qualifier;
    Type *type;
    AST_NODE_PTR nodePtr;
} VariableDeclaration;

/**
 * @brief Definition of a variable
 * 
 * @attention NOTE: The types of the initializer and the declaration must be equal
 * 
 */
typedef struct VariableDefiniton_t {
    VariableDeclaration declaration;
    Expression *initializer;
    AST_NODE_PTR nodePtr;
} VariableDefiniton;

typedef enum VariableKind_t {
    VariableKindDeclaration,
    VariableKindDefinition,
    VariableKindBoxMember
} VariableKind;

typedef struct Variable_t {
    VariableKind kind;
    const char* name;
    union VariableImplementation {
        VariableDeclaration declaration;
        VariableDefiniton definiton;
        BoxAccess member;
    } impl;
    AST_NODE_PTR nodePtr;
} Variable;

typedef struct Dereference_t {
    Expression* index;
    Expression* variable;
    AST_NODE_PTR nodePtr;
}Dereference;

typedef struct StorageExpr_t StorageExpr;

typedef struct StorageDereference_t {
    Expression* index;
    StorageExpr* array;
    AST_NODE_PTR nodePtr;
} StorageDereference;

typedef struct AddressOf_t {
    Expression* variable;
    AST_NODE_PTR node_ptr;
}AddressOf;

// .------------------------------------------------.
// |                 Casts                          |
// '------------------------------------------------'

/**
 * @brief Perform a type cast, converting a value to different type whilest preserving as much of the original
 *        values information. 
 *
 * @attention NOTE: Must check wether the given value's type can be parsed into
 *       the target type without loss.
 *       Lossy mean possibly loosing information such when casting a float into an int (no fraction anymore). 
 *
 */
typedef struct TypeCast_t {
    Type *targetType;
    Expression* operand;
    AST_NODE_PTR nodePtr;
} TypeCast;

/**
 * @brief Perform a reinterpret cast.
 *
 * @attention NOTE: The given value's type must have the size in bytes as the target type.
 *                  Transmuting a short int into a float should yield an error.
 * 
 */
typedef struct Transmute_t {
    Type *targetType;
    Expression* operand;
    AST_NODE_PTR nodePtr;
} Transmute;

// .------------------------------------------------.
// |                 Arithmetic                     |
// '------------------------------------------------'

/**
 * @brief Represents the arithmetic operator.
 * 
 */
typedef enum ArithmeticOperator_t {
    Add,
    Sub,
    Mul,
    Div,
    Negate
} ArithmeticOperator;

// .------------------------------------------------.
// |                 Relational                     |
// '------------------------------------------------'

/**
 * @brief Represents the relational operator.
 * 
 */
typedef enum RelationalOperator_t {
    Equal,
    Greater,
    Less
} RelationalOperator;

// .------------------------------------------------.
// |                 Boolean                        |
// '------------------------------------------------'

typedef enum BooleanOperator_t {
    BooleanAnd,
    BooleanOr,
    BooleanNot,
    BooleanXor,
} BooleanOperator;

// .------------------------------------------------.
// |                 Logical                        |
// '------------------------------------------------'

typedef enum LogicalOperator_t {
    LogicalAnd,
    LogicalOr,
    LogicalNot,
    LogicalXor,
} LogicalOperator;

// .------------------------------------------------.
// |                 Logical                        |
// '------------------------------------------------'

typedef enum BitwiseOperator_t {
    BitwiseAnd,
    BitwiseOr,
    BitwiseNot,
    BitwiseXor,
} BitwiseOperator;

// .------------------------------------------------.
// |                 Operations                     |
// '------------------------------------------------'

typedef enum OperationKind_t {
    Arithmetic,
    Relational,
    Boolean,
    Logical,
    Bitwise
} OperationKind;

typedef struct Operation_t {
    // mode of operation
    OperationKind kind;
    // specific implementation
    union OperationImplementation {
        ArithmeticOperator arithmetic;
        RelationalOperator relational;
        BooleanOperator boolean; 
        LogicalOperator logical;
        BitwiseOperator bitwise;
    } impl;
    GArray* operands; //Expression*
    AST_NODE_PTR nodePtr;
} Operation;

// .------------------------------------------------.
// |                 Expression                     |
// '------------------------------------------------'

typedef enum ExpressionKind_t {
    ExpressionKindOperation,
    ExpressionKindTypeCast,
    ExpressionKindTransmute,
    ExpressionKindConstant,
    ExpressionKindVariable,
    ExpressionKindParameter,
    ExpressionKindDereference,
    ExpressionKindAddressOf,
} ExpressionKind;

typedef struct Expression_t {
    ExpressionKind kind;
    // type of resulting data
    Type* result;
    union ExpressionImplementation_t {
        Operation operation;
        TypeCast typecast;
        Transmute transmute;
        TypeValue constant;
        Variable* variable;
        Parameter* parameter;
        Dereference dereference;
        AddressOf addressOf;
    } impl;
    AST_NODE_PTR nodePtr;
} Expression;

// .------------------------------------------------.
// |                 Function call                  |
// '------------------------------------------------'

typedef struct FunctionCall_t {
    // function to call
    Function* function;
    // list of expression arguments
    GArray* expressions;
    AST_NODE_PTR nodePtr;
} FunctionCall;

typedef struct FunctionBoxCall_t {
    // function to call
    Function* function;
    // list of expression arguments
    GArray* expressions;
    // box which has the function defined for it
    // NOTE: must be of TypeKind: Box
    Variable selfArgument;
    AST_NODE_PTR nodePtr;
} FunctionBoxCall;

typedef struct Block_t {
    // array of statements
    GArray* statemnts; // array of type(Statement)
    AST_NODE_PTR nodePtr;
} Block;

// .------------------------------------------------.
// |                 While                          |
// '------------------------------------------------'

typedef struct While_t {
    Expression *conditon;
    Block block;
    AST_NODE_PTR nodePtr;
} While;

// .------------------------------------------------.
// |                 If/Else                        |
// '------------------------------------------------'

typedef struct If_t {
    Expression *conditon;
    Block block;
    AST_NODE_PTR nodePtr;
} If;

typedef struct ElseIf_t {
    Expression *conditon;
    Block block;
    AST_NODE_PTR nodePtr;
} ElseIf;

typedef struct Else_t {
    Block block;
    AST_NODE_PTR nodePtr;
} Else;

typedef struct Branch_t {
    If ifBranch;
    // list of else-ifs (can be empty/NULL)
    GArray* elseIfBranches;
    Else elseBranch;
    AST_NODE_PTR nodePtr;
} Branch;

// .------------------------------------------------.
// |                 Statements                     |
// '------------------------------------------------'

typedef enum StorageExprKind_t {
    StorageExprKindVariable,
    StorageExprKindParameter,
    StorageExprKindBoxAccess,
    StorageExprKindDereference,
} StorageExprKind;

typedef struct StorageExpr_t {
    StorageExprKind kind;
    Type* target_type;
    union StorageExprImpl {
        Variable* variable;
        Parameter* parameter;
        BoxAccess boxAccess;
        StorageDereference dereference;
    } impl;
} StorageExpr;

typedef struct Assignment_t {
    StorageExpr* destination;
    Expression* value;
    AST_NODE_PTR nodePtr;
} Assignment;

typedef enum StatementKind_t {
    StatementKindFunctionCall,
    StatementKindFunctionBoxCall,
    StatementKindWhile,
    StatementKindBranch,
    StatementKindAssignment,
    StatementKindDeclaration,
    StatementKindDefinition
} StatementKind;

typedef struct Statement_t {
    StatementKind kind;
    union StatementImplementation {
        FunctionCall call;
        FunctionBoxCall boxCall;
        While whileLoop;
        Branch branch;
        Assignment assignment;
        Variable *variable;
    } impl;
    AST_NODE_PTR nodePtr;
} Statement;

// .------------------------------------------------.
// |                   Module                       |
// '------------------------------------------------'

typedef struct Module_t {
    GHashTable* boxes; //BoxType
    GHashTable* types; //
    GHashTable* functions;
    GHashTable* variables;
    // to be resolved after the module has been parsed completely
    GArray* imports;
    GArray* includes;
} Module;


// .------------------------------------------------.
// |                 Cleanup Code                   |
// '------------------------------------------------'

void delete_box_access(BoxAccess* access);

void delete_variable(Variable* variable);

void delete_type(Type* type);

void delete_box(BoxType* box);

void delete_declaration(VariableDeclaration* decl);

void delete_definition(VariableDefiniton* definition);

void delete_expression(Expression* expr);

void delete_operation(Operation* operation);

void delete_type_value(TypeValue* value);

void delete_transmute(Transmute* trans);

void delete_typecast(TypeCast* cast);

void delete_box_member(BoxMember* member);

void delete_box_type(BoxType *box_type);

void delete_composite([[maybe_unused]] CompositeType* composite);

void delete_module(Module* module);

#endif // SET_TYPES_H_