public Semantico(Form1 form1)
{
this.form1 = form1;
identificadores = new List<string>();
select = Select.singleton();
valoresColunas = new List<ValoresCampos>();
fromTabelas = new List<string>();
anterior = acao.Nada;
acaoZero();
memoria = GerenciadorMemoria.getInstance();
interfaceComum = Base.getInstance();
}
/*
~Semantico()
{
Base.getInstance().naoEhInsert();
}
*/
public void executeAction(int action, Token token)
{
int index;
if ((action != 16 && action !=1) && memoria.getDatabase() == null)
{
throw new SGDBException("utilize o comando SET DATABASE...");
}
switch (action)
{
case 0:
execucaoComandoReal();
acaoZero();
break;
case 1:
memoria.createDatabase(token.getLexeme().ToLower());
form1.Text = memoria.getDatabase();
break;
case 2:
if (memoria.existeTabela(token.getLexeme().ToLower()))
{
throw new SemanticError("Tabela " + token.getLexeme().ToLower() + " já existe", token.getLinha());
}
operacao = acao.CriarTabela;
metadados.setNome(token.getLexeme().ToLower());
break;
case 3:
if (memoria.existeIndice(token.getLexeme().ToLower()))
{
throw new SemanticError("Index " + token.getLexeme().ToLower() + " já existe", token.getLinha());
}
operacao = acao.CriarIndex;
identificadores.Add(token.getLexeme().ToLower());
break;
case 4:
if (!memoria.existeTabela(token.getLexeme().ToLower()))
{
throw new SemanticError("Tabela " + token.getLexeme().ToLower() + " não existe", token.getPosition());
}
// Como é so saber o metadados, e ele tem o nome da tabela, não precisa ficar colocando a mesma no array
// de identificadores
metadados = GerenciadorMemoria.getInstance().recuperarMetadados(token.getLexeme().ToLower());
/* arquivoBinario = new ArquivoBinario(memoria.getPath());*/
if (metadados.getNumeroRegistrosTabela() > 0)
{
throw new SemanticError("Não se cria index em tabelas que já tenham dados", token.getLinha());
}
break;
case 5:
identificadores.Add(token.getLexeme().ToLower());
break;
case 6:
if (sexta)
{
Console.WriteLine(identificadores.Count);
Console.WriteLine(valoresColunas.Count);
for (int i = 0; i < identificadores.Count; i++)
{
metadados.addDados(new DadosTabela(identificadores[i], valoresColunas[i].getTipo(), valoresColunas[i].getTamanho()));
}
identificadores.Clear();
valoresColunas.Clear();
sexta = false;
}
else
{
foreach (string id in identificadores)
{
if (!metadados.getDados().ContainsKey(id))
{
throw new SemanticError("Campo " + token.getLexeme() + " não existe", token.getLinha());
}
metadados.getDados()[id].setPrimary(true);
}
identificadores.Clear();
}
break;
case 7:
if (!metadados.getDados().ContainsKey(token.getLexeme()))
{
throw new SemanticError("Campo " + token.getLexeme() + " não existe", token.getLinha());
}
identificadores.Add(token.getLexeme());
break;
case 8:
if (!memoria.existeTabela(token.getLexeme().ToLower()))
{
throw new SemanticError("Tabela " + token.getLexeme().ToLower() + " não existe", token.getPosition());
}
identificadores.Add(token.getLexeme().ToLower());
break;
case 9:
if (!memoria.recuperarMetadados(identificadores[1]).getDados().ContainsKey(token.getLexeme().ToLower()))
{
throw new SemanticError("Campo " + token.getLexeme().ToLower() + " na tabela " + identificadores[1] + "não existe", token.getPosition());
}
metadados.getDados()[identificadores[0]].setForeing(identificadores[1], token.getLexeme().ToLower());
// so pra salvar a alteração de mais uma chave estrangeira
Metadados aux = memoria.recuperarMetadados(identificadores[1]);
//aux.getDadosColuna()[identificadores[1]].incForeing();
//aux.getDados()[identificadores[1]].addForeing();
aux.getDados()[identificadores[1]].incForeing();
memoria.salvarMetadados(aux);
identificadores.Clear();
break;
case 10:
// decidir tamanho
valoresColunas.Add(new ValoresCampos("INTEGER", 4));
break;
case 11:
if (Convert.ToInt32(token.getLexeme()) > 255 || Convert.ToInt32(token.getLexeme()) < 1)
{
throw new SemanticError("Tamanho do campo " + identificadores.Last() + " inválido", token.getLinha());
}
valoresColunas.Add(new ValoresCampos("VARCHAR", Convert.ToInt32(token.getLexeme())));
break;
case 12:
if (Convert.ToInt32(token.getLexeme()) > 255 || Convert.ToInt32(token.getLexeme()) < 1)
{
throw new SemanticError("Tamanho do campo " + identificadores.Last() + " inválido", token.getLinha());
}
valoresColunas.Add(new ValoresCampos("CHAR", Convert.ToInt32(token.getLexeme())));
break;
case 13:
//Exclusão com verificação de foreing e exclusão das referencias
memoria.dropTable(token.getLexeme().ToLower());
break;
case 14:
//Exclusão de index
if (memoria.existeIndice(token.getLexeme().ToLower()))
{
identificadores.Add(token.getLexeme().ToLower());
operacao = acao.ExcluirIndex;
}
else
{
throw new SemanticError("Index " + token.getLexeme().ToLower() + "não existe", token.getLinha());
}
break;
case 15:
Form1.setResultado(memoria.recuperarMetadados(token.getLexeme().ToLower()));
break;
case 16:
memoria.setDatabase(token.getLexeme().ToLower());
form1.Text = memoria.getDatabase();
break;
case 17:
if (ultimoFiltro != null)
throw new SGDBException("Falha na operação semântica 17. O Filtro deveria estar nulo.");
ultimoFiltro = new Filtro();
if (token.getId() == 16) ultimoFiltro.IsAND = true;
else if (token.getId() == 17) ultimoFiltro.IsOR = true;
break;
case 18:
// Operador Relacional da cláusula Where do SELECT
select.Where = select.Where == null ? new Where() : select.Where;
ultimoFiltro = ultimoFiltro == null ? new Filtro() : ultimoFiltro;
//Joga o campo para o LValue, caso tenha sido incluído como retorno do select. Acontece no primeiro filtro.
//ultimoFiltro.LValue = ultimoFiltro.LValue == null? select.removeUltimoRetorno(): ultimoFiltro.LValue;
switch (token.getId())
{
case 37:
ultimoFiltro.Op = OperadorRel.Igual;
break;
case 38:
ultimoFiltro.Op = OperadorRel.MaiorQue;
select.Etapa = Select.EtapaSemantica.WHERE;
break;
case 39:
ultimoFiltro.Op = OperadorRel.MenorQue;
select.Etapa = Select.EtapaSemantica.WHERE;
break;
case 40:
ultimoFiltro.Op = OperadorRel.MaiorIgualA;
select.Etapa = Select.EtapaSemantica.WHERE;
break;
case 41:
ultimoFiltro.Op = OperadorRel.MenorIgualA;
select.Etapa = Select.EtapaSemantica.WHERE;
break;
case 42:
ultimoFiltro.Op = OperadorRel.Diferente;
select.Etapa = Select.EtapaSemantica.WHERE;
break;
default:
break;
}
break;
case 19:
operacao = acao.InserirDados;
metadados = memoria.recuperarMetadados(identificadores[0]);
if (identificadores.Count > 1)
{
allColunas = false;
contColunas = identificadores.Count - 1;
for (int i = 1; i < identificadores.Count; i++)
{
if (!metadados.getDados().ContainsKey(identificadores[i]))
{
throw new SemanticError("Campo " + identificadores[i] + "não existe na tabela " + identificadores[0], token.getLinha());
}
}
}
break;
case 20:
int indexColuna;
if (allColunas)
{
index = identificadores.Count-1;
indexColuna = index;
if (index>= metadados.getNomesColunas().Count)
{
throw new SemanticError("Mais valores do que campos", token.getLinha());
}
}
else
{
index = identificadores.Count - contColunas;
indexColuna = metadados.getNomesColunas().IndexOf(identificadores[index]);
if ((index-1) >= contColunas)
{
throw new SemanticError("Mais valores do que campos", token.getLinha());
}
}
if (ListaDeSimbolos.getInstance().classeToken(token.getId()).Contains(metadados.getDados()[metadados.getNomesColunas()[indexColuna]].geTipo()) || ListaDeSimbolos.getInstance().classeToken(token.getId()).Equals("null"))
{
// tipo tá correto
// validação de tamanho
if (ListaDeSimbolos.getInstance().classeToken(token.getId()).Equals("null"))
{
identificadores.Add(token.getLexeme());
}
else
{
if (token.getId() == 3)// Integer
{
if (Convert.ToUInt32(token.getLexeme()) <= UInt32.MaxValue)
{
identificadores.Add(token.getLexeme());
}
else
{
throw new SemanticError("DadoTabela " + token.getLexeme() + " de tamanho incompativel", token.getLinha());
}
}
else
{
if ((token.getLexeme().Length - 2) <= metadados.getDados()[metadados.getNomesColunas()[indexColuna]].getTamanho())
{
identificadores.Add(token.getLexeme());
}
else
{
throw new SemanticError("DadoTabela " + token.getLexeme() + " de tamanho incompativel(" + metadados.getDados()[metadados.getNomesColunas()[index]].getTamanho() + ")", token.getLinha());
}
}
}
}
else
{
throw new SemanticError("DadoTabela " + token.getLexeme() + " tem tipo incompativel com o campo " + metadados.getDados()[metadados.getNomesColunas()[index]] + " de tipo " + metadados.getDados()[metadados.getNomesColunas()[index]].geTipo(), token.getLinha());
}
break;
case 21:
// tabela.campo --> Nome da coluna solicitada no SELECT
// Caso ainda não tenha sido definido, define a ação SELECT
select = Select.singleton();
operacao = acao.Select;
// verifica a existencia do campo
if (!memoria.recuperarMetadados(identificadores.Last()).getNomesColunas().Exists(s => s.Equals(token.getLexeme())))
{
throw new SemanticError("Campo " + identificadores.Last() + "." + token.getLexeme() + " não existe", token.getLinha());
}
switch (select.Etapa)
{
case Select.EtapaSemantica.CAMPOS:
// Adiciona o campo de retorno do SELECT
select.addTabela(identificadores.Last());
string ret = identificadores.Last() + "." + token.getLexeme().ToLower();
identificadores.Remove(identificadores.Last());
select.addRetorno(ret);
break;
case Select.EtapaSemantica.TABELA:
throw new SGDBException("Não devia passar por aqui. Ação semantica 21. Select.ETAPA = Tabela");
case Select.EtapaSemantica.JOIN:
ultimoFiltro = ultimoFiltro == null ? new Filtro() : ultimoFiltro; //necessário na primeira linha do where
if (ultimoFiltro.LValue == null)
{
//se ainda não foi atribuído LValue, então deve estar no lado esquerdo da operação.
ultimoFiltro.LValue = identificadores.Last() + "." + token.getLexeme().ToLower();
identificadores.Remove(identificadores.Last());
}
else
{
if (select.Etapa == Select.EtapaSemantica.WHERE)
{
throw new SemanticError("Os primeiros filtros devem ser de JOIN. Cláusula JOIN já finalizada.", token.getLinha());
}
if (ultimoFiltro.IsOR)
{
throw new SemanticError("JOIN deve utilizar AND", token.getLinha());
}
if (ultimoFiltro.LValue.Split('.')[0].Equals(identificadores.Last()))
{
throw new SemanticError("JOIN deve ser feito entre tabelas distintas", token.getLinha());
}
ultimoFiltro.RValue = identificadores.Last() + "." + token.getLexeme();
identificadores.Remove(identificadores.Last());
ultimoFiltro.IsAND = true;
select.Where.addJoin(ultimoFiltro);
ultimoFiltro = null;
}
break;
case Select.EtapaSemantica.WHERE:
ultimoFiltro.LValue = identificadores.Last() + "." + token.getLexeme().ToLower();
identificadores.Remove(identificadores.Last());
break;
case Select.EtapaSemantica.ORDER:
string campo = identificadores.Last() + "." + token.getLexeme().ToLower();
select.addOrderBy(campo);
identificadores.Remove(identificadores.Last());
break;
default:
throw new SGDBException("Não devia passar por aqui. Ação semantica 21. Select.ETAPA = Default");
}
break;
case 22:
//token do apelido da cláusula AS. O SELECT adiciona o apelido no último campo adicionado.
//clausulaAs[identificadores.Last()] = token.getLexeme(); // esta linha é necessária?
if(select.Where != null)
{
//se já passou pelo where, provavelmente está no ORDER BY
throw new SemanticError("Não existe AS pra ORDER BY!", token.getLinha());
}
select.addApelidoUltimo(token.getLexeme());
break;
case 23:
//tabela.* --> selecão de todos os campos de uma tabela
//Caso ainda não tenha sido definido, define a ação SELECT
select = Select.singleton();
operacao = acao.Select;
//busca a tabela armazenada na última ação semântica
string tabela = identificadores.Last();
identificadores.RemoveAt(identificadores.Count - 1);
//inclui a tabela no objeto SELECT
select.addTabela(tabela);
//busca as colunas da tabela para incluir no retorno
foreach (String col in memoria.recuperarMetadados(tabela).getNomesColunas())
{
string coluna = tabela + "." + col;
identificadores.Add(coluna); //estou inserindo no identificadores também porque ainda não sei se isto será usado em outro momento
select.addRetorno(coluna);
}
select.Asterisco = true;
break;
case 24:
// FROM tabelas
// inclui as tabelas numa lista a parte para validar depois com a classe select.
fromTabelas.Add(token.getLexeme());
break;
case 25:
throw new SemanticError("Ação INNER JOIN não suportada neste formato. Insira um filtro no Where.");
case 26:
throw new SemanticError("Ação LEFT JOIN não suportada.");
case 27:
throw new SemanticError("Ação RIGHT JOIN não suportada.");
case 28:
//final do ORDER BY. Verificar se os campos constam no retorno.
//Não necessário, pois é verificado ao inserir cada campo, na ação 21.
break;
case 29:
//Define a ordenação dos campos como descrecente
select.orderDesc();
break;
case 30:
select.Etapa = Select.EtapaSemantica.WHERE;
ultimoFiltro.RValue = token.getLexeme();
//ultimoFiltro.IsOR? select.Where:break;
if (ultimoFiltro.IsOR) select.Where.addFiltroOR(ultimoFiltro);
else select.Where.addFiltroAND(ultimoFiltro);
ultimoFiltro = null;
break;
case 31:
//logo depois do FROM
select.Etapa = Select.EtapaSemantica.TABELA;
break;
case 32:
//logo antes do Where. o where inicia com possível join.
select.Etapa = Select.EtapaSemantica.JOIN;
break;
case 33:
//logo antes do order
select.Etapa = Select.EtapaSemantica.ORDER;
break;
default:
throw new SGDBException("Ação " + action + " não implementada.");
}
//Console.WriteLine("Ação #" + action + ", Token: " + token);
}
public static Select singleton()
{
if (select == null)
{
select = new Select();
}
return select;
}