type_expression.h

/*
Group 36
2017B4A70495P Manan Soni
2017B4A70549P Siddharth Singh
2017B4A70636P Nayan Khanna
2017B4A70740P Aditya Tulsyan
*/

#ifndef TYPE_EXP_H
#define TYPE_EXP_H

#include "primitive_type.h"
#include "rect_array_type.h"
#include "jagged_array_type.h"
#include "hash_map.h"
#define MAX_BUFFER_SIZE 400

// typedef enum {PRIMITIVE_TYPE, RECT_ARRAY, JAGGED_ARRAY} VariableType;
typedef enum {PRIMITIVE_TYPE, RECT_ARRAY, JAGGED_ARRAY} VariableType;

typedef union ____UNION_TO_BE_NAMED____ union_to_be_named;

union ____UNION_TO_BE_NAMED____{
    t_primitive_type primitive_data;
    rect_array_type rect_array_data;
    jagged_array_type jagged_array_data;
};

typedef struct ____TYPE_EXPRESSION____ type_expression;

struct ____TYPE_EXPRESSION____{
    bool is_declared;
    VariableType variable_type; // to keep or not? I thought of keeping it as a Tag/Discriminator for Union
    union_to_be_named union_to_be_named;
};

/* Function Prototypes */

//Return sample type expression for integer type
type_expression *get_integer_type();

//Return sample type expression for real type
type_expression *get_real_type();

//Return sample type expression for bool type
type_expression *get_bool_type();

char *get_str_primitive_type(t_primitive_type primitive_data);

void print_type_expression(type_expression *tp);

// get Printable type for assert_debug
char *str_type(type_expression *txp);

// construct type_expression given the values for reqd fields
// called only through declarative statements of a variable
// how would we pass the fields?
type_expression *construct_type_expression(VariableType variable_type, union_to_be_named union_ds);

// get the desired String Representation of TypeExpression
char* get_string_representation(type_expression* tp);

// set is_declared to true on encountering decl_stmt
void set_declare_flag(type_expression* tp);

union_to_be_named *populate_union(VariableType variable_type, Parse_tree_node *p);

#endif