Versão da Apresentação

Makefile

@@ -1,5 +1,4 @@
 all:
-	bison  -d src/tdsrpl.y -b src/tdsrpl
-	flex -o src/lex.yy.c src/tdsrpl.l  
-	gcc src/main.c src/tdsrpl.tab.c src/lex.yy.c src/Interpreter.c src/datastructures/Node.c src/textManager.c src/langmodules/Object.c src/datastructures/STable.c src/datastructures/HeaderSmv.c src/PreProcess.c src/PostProcess.c  -o tds
-	./tds sample/basic-main/basic.tds sample/merger-fifo/nuxmv.smv
+	bison  -d src/flex-bison/tdsrpl.y -b src/flex-bison/tdsrpl
+	flex -o src/flex-bison/lex.yy.c src/flex-bison/tdsrpl.l
+	gcc src/datastructures/Node.c src/flex-bison/tdsrpl.tab.c src/flex-bison/lex.yy.c src/util/Hash.c src/util/textManager.c src/langmodules/TypeMinMax.c src/langmodules/TypeSet.c src/langmodules/Object.c src/langmodules/TDS.c src/datastructures/STable.c src/datastructures/HeaderSmv.c src/EnvController.c src/PreProcess.c src/PostProcess.c src/Visitor.c  src/langmodules/LangCore.c src/Interpreter.c src/main.c -o tds

execution-scripts/execution-profiles/profiles

@@ -0,0 +1,12 @@
+merger-fifo:
+
+./tds -int sample/merger-fifo/merger-fifo.tds sample/merger-fifo/nuxmv2.smv
+
+
+filter-inte:
+
+./tds -int sample/filter/filter.tds sample/filter/nuxmv.smv
+
+sequenciador:
+
+./tds -int sample/sequenciador/seq.tds sample/sequenciador/seq.smv

execution-scripts/flex-bison/generateparsing.sh

@@ -0,0 +1,2 @@
+bison  -d src/flex-bison/tdsrpl.y -b src/flex-bison/tdsrpl
+flex -o src/flex-bison/lex.yy.c src/flex-bison/tdsrpl.l

headers/Enum.h

@@ -6,14 +6,14 @@
 
 typedef enum SCOPE_TYPE { GLOBAL, FUNC, LOOP, IF_BLOCK, ELSE_BLOCK, SMV_PORTS, SMV_V_MAIN, SIMPLE_HASH} SCOPE_TYPE;
 
-typedef enum ENTRY_TYPE {NUMBER_ENTRY, LOGICAL_ENTRY, LABEL_ENTRY ,T_DIRECTIVE_ENTRY, TDS_ENTRY, NULL_ENTRY, FUNCTION_ENTRY, WRITE_SMV_INFO ,TYPE_SET } ENTRY_TYPE;
+typedef enum ENTRY_TYPE {NUMBER_ENTRY, LOGICAL_ENTRY, LABEL_ENTRY ,T_DIRECTIVE_ENTRY, TDS_ENTRY, NULL_ENTRY, TIME_COMPONENT, FUNCTION_ENTRY, WRITE_SMV_INFO ,TYPE_SET } object_type;
 			 // permitir lista de tipos diferentes? permitir lista de TDS's?
 			 // comentado por enquanto, devemos decidir oque fazer sobre os enums do node
 
 
 typedef enum smvtype {MAIN = 1, AUTOMATA = 2, PORTS = 3, FUNCTION_SMV = 4} smvtype;
 
-
+typedef enum TDS_TYPE {DATA_LIST, MATH_EXPRESSION, FUNCTION_APPLY, TDS_DEPEN} TDS_TYPE;
 
 //separar enums por: OPERAÇÃO UNÁRIA, OPERAÇÃO BINÁRIA, OPERAÇÃO ATRIBUIÇÃO, DADOS, 
 
@@ -32,29 +32,34 @@ typedef enum EVAL_TYPE {
 
 	NUMBER, L_BOOL, STRING, D_NULL, IDVAR, TIME_DIRECTIVE, 
 
-	DATA_V, PARAMS_CALL, DEFINE_INTERVAL,
+	DATA_V, PARAMS_CALL, PARAMS, DEFINE_INTERVAL,
+
+	AC_V, ASSIGN_TDIRECTIVE ,OTHER_ASSIGN, V_PROP, ADD_V, ADD_V_PROP, V_PROP_TDS,
 
-	AC_V, OTHER_ASSIGN, V_PROP, ADD_V, ADD_V_PROP, V_PROP_TDS,
+	EXPR, MINUS_EXPR, PLUS_EXPR, MULTI_EXPR, DIV_EXPR, LE_EXPR, GE_EXPR, LT_EXPR, GT_EXPR, EQUAL_EXPR, NEQUAL_EXPR,
+    NOT_EXPR, AND_EXPR, OR_EXPR, IMP_EXPR, BIMP_EXPR, PRI_EXPR,
 
-	EXPR, CMD_IF, TDS_DEF_COMPLETE, TD_DEF_DEPEN,
+	CMD_IF, TDS_DEF_COMPLETE, TDS_DEF_DEPEN, CMD_TDS_ANON,
 
-    TIME_LIST, TIME_COMP, DOMAIN_FUNCTION,
+    LIST_ITERATOR, TIME_COMP, V_PROP_TDS_VALUE, DOMAIN_FUNCTION,
 
     MATCH_IF,
 
-    ASSIGN_IDVAR, ASSIGN_AC_V, ASSIGN_TDIRECTIVE,
+    ASSIGN_IDVAR, ASSIGN_AC_V,
 
-	DEF_EXTRAS_LINKED, DEF_EXTRAS_DELAYED,
+	DEF_EXTRAS_LINKED, DEF_EXTRAS_DELAYED, DEF_EXTRAS_FILTER,
 
     HEADERS_E_PROG, PROG, FUNC_DEFS, CMD,
 
-	FUNC_DEF, PROC_DEF, OPT_RETURN, PARAMS, PARAM,
+	FUNC_DEF, PROC_DEF, OPT_RETURN, PARAM,
 
 	CMD_OTHER,
 
-	CMD_TDS_ANON, TDS_ANON_OP_PASS, TDS_ANON_OP_DPASS,
+	TDS_ANON_OP_PASS, TDS_ANON_OP_DPASS, TDS_ANON_OP_FPASS,
+
+	OTHER_LOOP, FUNC_CALL, PROC_CALL,
 
-	OTHER_LOOP, FUNC_CALL, PROC_CALL
+	SHOW_PRINT
 
 
 } EVAL_TYPE;

headers/EnvController.h

@@ -0,0 +1,190 @@
+// Created by mateus on 22/03/2021.
+//
+
+#ifndef TDSREPLANGUAGE_ENVCONTROLLER_H
+#define TDSREPLANGUAGE_ENVCONTROLLER_H
+
+#include "Enum.h"
+#include "STable.h"
+#include "textManager.h"
+#include "HeaderSmv.h"
+#include "TDS.h"
+#include "TypeSet.h"
+#include "TypeMinMax.h"
+
+#define TYPE_SET_DIR_SIZE 9999
+#define DEFAULT_HEADERS_AUX_SIZE 100
+
+
+
+typedef struct envcontroller
+{
+    // info
+    HeaderSmv* MAIN;
+    HeaderSmv** AUTOMATA_RELATED;
+    HeaderSmv** PORTS_RELATED; // ports module e as tds (vão ter referência para esse header na sua declaração, assim como tabela auxiliar)
+    HeaderSmv** FUNCTIONS; // as funções usadas por main e tds (vão ter referência para seu header na sua declaração, assim como tabela auxiliar)
+
+    int H_FUNCTION_CURRENT_SIZE;
+    int H_AUTOMATA_CURRENT_SIZE;
+    int H_PORTS_CURRENT_SIZE;
+    int PORTS_INFO_CURRENT_SIZE;
+
+    STable* mainInfo; // tabela de simbolos auxiliar para main
+    STable** portsInfo; // para cada tds (talvez não va precisar, a lógica vai estar TODA nas funções ou nele mesmo (de maneira constante)
+    STable** functionsInfo; // para cada função
+
+    char** typeSetWords; // dict para "otmização"
+
+    //contexto tds
+    TDS** declaredPorts;
+    TDS* currentTDScontext;
+
+
+
+    // validação
+    STable* originalPorts;
+    int expectedPorts;
+    int validPorts;
+    // ai ele verifica se foram usadas (não tem declarações de funções)
+    int declaredPortsNumber;
+    // avisa caso não tenha nenhuma TDS linkada uma com a outra
+    int IO_RELATION;
+    // avisa caso uma porta tenha tido declaração repetida
+    int multiPortDeclartion;
+
+    // validações para o filter e recuperar o header correto
+    int modelHasFilter;
+    int* automatasToChange;
+    int filterContext;
+    int F_AUTOMATAS_CHANGE_POINTER;
+    int modelHasFinalAutomata;
+    int filterUsed;
+    int relationRef;
+
+    // interactive
+    int interactiveMode;
+
+}EnvController;
+
+
+EnvController *createController(int enableInteractive);
+
+/**
+ * Libera o controlador e todas as estruturas armazenadas por ele
+ * @SideEffects: Chama o liberar dos headers e  tabelas de simbolos
+ * */
+void letGoHeaderControl(EnvController* Hcontrol);
+
+/**
+ * Printa todas os headers armazenados pelo controlador
+ * */
+void printAllHeaders(EnvController* Hcontrol);
+
+/**
+* Considerando a refatoração do controller e header, encapsulamos o header apropriado pela estrutura, e esse deve
+* ser recuperado usando o enum de smvtype e o indice.
+*
+* Caso o indice não seja informado o último header salvo (tanto do agrupamento main, automato, ou ports) é retornado
+* Esse comportamento é usado pelo pré processamento, considerando que cada agrupamento é consultado para verificar o
+        * progresso de algumas alterações (ex: trocar FROZENVAR de portsModule), e otimizações da leitura
+*
+* @param controller o controlador de headers
+* @param cat o tipo smv de parte de intesse (main, automato/modulo generico, ports)
+* @param indexOfHeader a ordem de headers de cada parte de interesse (ex: 0 = portsModule, 1: função1 associada a tds)
+*
+* @returns o header apropriado com a parte de interesse do arquivo SMV
+* */
+HeaderSmv* accessHeader(EnvController* controller, smvtype cat, int indexOfHeader);
+
+/**
+ * Considerando a refatoração do controller e header, encapsulamos as tabelas de simbolo auxiliares (SMV_INFO)
+ * ser recuperado usando o enum de smvtype.
+ *
+ * @param controller o controlador de headers
+ * @param cat o tipo smv de parte de intesse (main, automato/modulo generico, funções)
+ * @param SMV_INFO_ID o identificador daquela tabela auxiliar (usado atualmente só para as funções)
+ * @returns a tabela de simbolos SMV_INFO apropriada
+ * */
+STable* accessSmvInfo(EnvController* controller, smvtype cat, int SMV_INFO_ID);
+
+/**
+ * Adiciona um novo header ao controller encapsulando suas operações e categorizando apropriadamente
+ * @param o controller
+ * @param o novo header retornado por createHeader
+ */
+void addNewHeader(EnvController* controller, HeaderSmv* newHeader);
+
+/**
+ * Adiciona uma nova tabela de simbolos auxiliar ao controller encapsulando suas operações e categorizando apropriadamente
+ * @param o controller
+ * @param a nova tabela de simbolos auxiliar retornada por retornado por createTable
+ */
+void addNewAuxInfo(EnvController* controller, STable* newTableInfo);
+
+/**
+ * Valida a declaração de uma TDS, vendo se os nomes bateram com os que vieram do modelo de input.
+ * @param declarationName o nome da declaração da TDS
+ * @param controller o controlador
+ */
+void validateTdsDeclaration(char* declarationName, EnvController* controller);
+
+/**
+ * Propaga um parâmetro para o mpodulo de uma TDS recuperando os headers apropriados dessa.
+ * @param controller o controlador de ambiente
+ * @param param o identificador do parametro
+ * @param currentTDS a tds recuperada da interpretação
+ */
+void addParamToTdsDeclaration(EnvController* controller, char* param, TDS* currentTDS);
+
+/**
+ * Tendo um controller com o contexto e associação Header e AuxTable,
+ * adiciona um parâmetro (se necessário) para o header do módulo da TDS.
+ * Também propaga as dependências relacionadas a esse parâmetro para o portsModule
+ * @param controller o controlador de ambiente
+ * @param param o bind daquele parâmetro
+ * @param currentTDS a TDS corrente
+ * @SideEffects: Aloca uma string nova, caso esse parâmetro já não tenha sido memoizado
+ */
+void addParamToTds(EnvController* controller, char* param, TDS* currentTDS);
+
+/**
+ * Adiciona um novo parâmetro a portModule, e resolve as depêndencias nos demais módulos main e automato.
+ * @param o controller
+ * @param o novo parâmetro
+ * @SideEffects: Para cada módulo (main, automato ...) é atualizada a linha com depdência a ports e essa operação chama
+ * o módulo textManager e seus método addParams, criando uma string nova e liberando a antiga
+ */
+void addParamToPortsModule(EnvController *controller, char *param);
+
+/**
+ * Recupera uma palavra do dicionário de type-set do ambiente.
+ * @param word uma palavra já utilizada anteriomente em um type-set
+ * @param controller o controlador de ambiente
+ * @return um ponteiro para a palavra, ou NULL caso essa não exista
+ */
+char* getTypeSetWordFromDict(char* wordRef, EnvController* controller);
+
+/**
+ * Adiciona uma palavra ao dicionário de type-set do ambiente
+ * @param word a palavra nova
+ * @param controller o controlador
+ * @SideEffects: Aloca uma string nova de tamanho da word +1 (deve ser liberada no final do programa)
+ */
+void addTypeSetWordToDict(char* word, EnvController* controller);
+
+/**
+ * Atualizaa os parâmetros de todos os automatos que possam ter condição de filtro. E propaga os parâmetros
+ * @param controller o controlador
+ * @param paramName o parâmetro
+ */
+void addParamToAutomatasFilter(EnvController* controller, char* paramName);
+
+/**
+ * Realiza diversas validações de contexto.
+ * @param controller o controller que contem todas as informações de necessárias
+ */
+void validateAfterInterPost(EnvController* controller);
+
+
+#endif //TDSREPLANGUAGE_ENVCONTROLLER_H

headers/Hash.h

@@ -0,0 +1,12 @@
+//
+// Created by mateus on 13/03/2021.
+//
+
+#ifndef TDSREPLANGUAGE_HASH_H
+#define TDSREPLANGUAGE_HASH_H
+
+#define MAX_SIMPLE 903
+
+int hash(char* str, int SIZE_ED);
+
+#endif //TDSREPLANGUAGE_HASH_H