#include "inv.h"

void inv_prepare(char *input_file) {
    FILE *f;
    f = fopen(input_file, "r");
    if (f == NULL) {
        Eprintf("Can't open input file: %s\n", input_file);
        exit(-2);
    }

    struct property *fixed_prop;
    fixed_prop = malloc(sizeof(struct property));
    fixed_prop->type = P_UNKNOWN;
    fixed_prop->lineno = LINENUM_IDENTIFICATOR;
    fixed_prop->next = NULL;
    char buffer[READBUFFER_SIZE];
    while (fgets(buffer, READBUFFER_SIZE, f) != NULL) {
        if (buffer[0] == '\0' || buffer[1] == '\0')
            continue;
        if (buffer[0] != '#') {
            char *wstr = buffer + 7;
            char *end = strchr(wstr, '=');
            *end = '\0';
            struct symbol *sym = sym_find(wstr);
            if (sym->type != S_BOOLEAN && sym->type != S_TRISTATE)
                continue;
            if (sym->prop == NULL) {
                sym->prop = fixed_prop;
                continue;
            }
            struct property *prop;
            prop = sym->prop;
            while (prop->next != NULL)
                prop = prop->next;
            prop->next = fixed_prop;
        }
    }

    fclose(f);
}

bool inv_fixed(struct symbol *sym) {
    if (sym->prop == NULL)
        return false;
    struct property *prop;
    prop = sym->prop;
    while (prop->next != NULL)
        prop = prop->next;
    if (prop->type == P_UNKNOWN && prop->lineno == LINENUM_IDENTIFICATOR)
        return true;
    else
        return false;
}