files.h

Go to the documentation of this file.

 
#ifndef FILES_H
#define FILES_H
 
 // clang-format off
 /*  __  __                         _               ____                        */
 /* |  \/  | __ _ _ __   __ _  __ _(_)_ __   __ _  / ___|  __ ___   _____  ___  */
 /* | |\/| |/ _` | '_ \ / _` |/ _` | | '_ \ / _` | \___ \ / _` \ \ / / _ \/ __| */
 /* | |  | | (_| | | | | (_| | (_| | | | | | (_| |  ___) | (_| |\ V /  __/\__ \ */
 /* |_|  |_|\__,_|_| |_|\__,_|\__, |_|_| |_|\__, | |____/ \__,_| \_/ \___||___/ */
 /*                           |___/         |___/                               */
 // clang-format on
 
#include "main.h"
#include "nfa.h"
#include "parser.h"
#include "regexp.h"
#include "shell_languages.h"
#include "shell_memb.h"
#include "type_basic.h"
#include "shell_memb.h"
#include <json-c/json.h>
 
#define OUTPUT_DIR "./outputs"
 
 
/************************/
/*+ Example Generation +*/
/************************/

int files_save_exall(const char* filename, 
    exall_profile* profile 
);
 
 
int files_read_exall(const char* filename, 
    exall_profile* profile 
);
 
 
 
/***********************/
/* Regular expressions */
/***********************/

#define EXPSIZE    2048

void reg_to_string(regexp*, 
    char* 
);

json_object* files_regexp_to_json(regexp* 
);
 
/************/
/* Automata */
/************/

json_object* files_nfa_to_json(nfa* 
);

json_object* files_dfa_to_json(dfa* 
);
 
 
 
// /**
//  * @brief
//  * Reads a json object encoding an automaton and extracts this automaton.
//  *
//  * @return
//  * The automaton (or NULL is the json object does not encode an automaton).
//  */
// nfa* files_json_to_nfa(json_object* //!< The json object.
// );

void* files_json_to_automaton(json_object*, 
    bool* 
);
 
/***********************/
/* Save/Load in a file */
/***********************/

void files_save_object(
    object*, 
    char*    
);

int files_read_object(char*, 
    char*  
);

void files_save_session(
    char* 
);

void files_load_session(char* 
);
 
#endif