#include "regexParser.h"
#include "subsetConstruction.h"

struct tsValue;

typedef struct tState {
    State *state;
    void stateSkip(struct tsValue);
    int ccvSize;
    struct ccv{
        unsigned long begin;
        unsigned long end;
        BitVector state;
        struct tState *tState;
    } *ccv;
} TState, *TStatePtr;

typedef struct result {
    unsigned char begin;
    unsigned char end;
    struct result *next;
} Result, *ResultPtr;

typedef struct tsValue {
    Buffer buff;
    ResultPtr result;
    TState *current;
    TState *blockBegin;
    TState *blockEnd;
} TSValue, *TSValuePtr;

void stateSkip(TSValue tsv) {
    tsv.buff.matchBegin = tsv.buff.buffptr;
    tsv.current->stateSkip(tsv);
}

void tSearch(TSValue tsv) {
    next: while (buff.buffptr < buff.buffend) {
        unsigned char c = *buff.buffptr++;
        for (int i = 0; i < tsv.current->ccvSize; i++) {
            if (c<tsv.current->ccv[i].begin) tsv.current->stateSkip(tsv);
            else if (c<=tsv.current->ccv[i].end) {
                TStatePtr current = tsv.current->ccv[i].tState;
                if (current == NULL) {
                    current = generateTState(tsv.stateArray[tsv.current->ccv[i].state.bitContainer]);
                    tsv.current->ccv[i].tState = current;
                }
                tsv.current = tsv.current->ccv[i].tState;
                goto next;
            }
        }
        tsv.current->stateSkip(tsv);
    }
}

TStatePtr generateTState(StatePtr state) {
    TState tState = NEW(TState);
    int ccvSize = 0;
    CharClassWalkerPtr ccw = createCharClassWalker(state->cc);
    while (hasNext(ccw)) {
        CharClassPtr cc = getNext(ccw);
        ccvSize++;
    }    
    if (ccvSize == 0) return tState;
    else tState->ccv = (struct ccv*)malloc(sizeof(struct ccv)*ccvSize);
    CharClassWalkerPtr ccw = createCharClassWalker(state->cc);
    while (hasNext(ccw)) {
        CharClassPtr cc = getNext(ccw);
        unsigned long begin = cc->cond.range.begin;
        unsigned long end = cc->cond.range.end;
        struct ccv *ccv = &tState->ccv[i++];
        ccv->begin = begin;
        ccv->end = end;
        ccv->tState = NULL;
        ccv->state = cc->nextState;
    }
    free(ccw);
    return tState;
}