shell_keywords.h

Go to the documentation of this file.

 
#ifndef SHELL_KEYWORDS_H
#define SHELL_KEYWORDS_H
 
#include "shell_languages.h"
#include "type_basic.h"
#include <stdbool.h>
#include <string.h>

typedef enum {
 
    // Interface
    KY_INTERFACE,
 
    // General commands
    KY_SAVESESSION,
    KY_LOADSESSION,
    KY_OPEN,
    KY_SAVE,
    KY_DELETE,
    KY_CLEAR,
    KY_SORT,
    KY_INFO,
    KY_EXSEARCH,
    KY_EXINIT,
    KY_EXINITFP,
    KY_EXINITNEG,
    KY_EXCONTINUE,
    KY_EXRETRIEVE,
    KY_EXALL,
    KY_NEXALL,
    KY_FPEXALL,
    KY_BUGSEARCH,
    KY_INSIDE,
    KY_OUTSIDE,
    KY_LIST,
    KY_AUTOMATA,
    KY_MORPHISMS,
    KY_GROUPS,
    KY_REGEXPS,
    KY_RECDEFS,
    KY_TOGGLE,
    KY_TOGGLEMEMB,
    KY_TIMESTATS,
    KY_LATEX,
 
 
    // Automata commands
    KY_MINI,
    KY_THOMPSON,
    KY_GLUSHKOV,
    KY_HOPCROFT,
    KY_BMCK,
    KY_INTERSEC,
    KY_ELIMEPS,
    KY_BRZOZO,
    KY_KLEENE,
    KY_MIRROR,
    KY_CONCAT,
    KY_RESET,
    KY_TRIMNFA,
    KY_UNION,
    KY_RUN,
    KY_RNFA,
    KY_RDFA,
    KY_INVTRANS,
    KY_DYCKTRANS,
    KY_RECDEF,
    KY_PERMUT,
    KY_COUNTER,
    KY_AUTODA,
    KY_CYCLETRIV,
    KY_DETERMINIZE,
    KY_COMPLEMENT,
    KY_NOSIMC,
    KY_FOLDING,
    KY_DIRECTPRODUCT,
 
    // Morphisms commands
    KY_SYNT,
    KY_RCAY,
    KY_LCAY,
    KY_MULT,
    KY_IDEMS,
    KY_ORDER,
    KY_IMAGE,
    KY_GKER,
    KY_MKER,
    KY_AKER,
    KY_ORB,
 
    // Shared commands
    KY_COMMUT,
    KY_LETTERIND,
 
    // Recursive
    KY_RECINIT,
 
    // Tests
    KY_SEPAR,
    KY_MEMB,
    KY_CHIERA,
    KY_NAVHIERA,
    KY_NHIERA,
    KY_FPHIERA,
 
    //Filtering
    KY_RSIZE,
    KY_LSIZE,
    KY_JSIZE,
    KY_HSIZE,
    KY_RNUM,
    KY_LNUM,
    KY_JNUM,
    KY_HNUM,
    KY_RMAXSIZE,
    KY_LMAXSIZE,
    KY_JMAXSIZE,
    KY_HMAXSIZE,
    KY_NOT,
    KY_FILTER,
    KY_NOSMALLCOUNTER,
 
    // End of commands
    KY_COMEND,
 
    // Classes
    KY_HTGEN,
    KY_AT,
    KY_ATT,
    KY_SF,
    KY_UL,
    KY_TLX,
    KY_PPT,
    KY_PT,
    KY_LT,
    KY_LTT,
    KY_ST,
    KY_DD,
    KY_MOD,
    KY_MODP,
    KY_AMT,
    KY_AMTP,
    KY_GR,
    KY_GRP,
    KY_REG,
    KY_EMPTY,
 
    // Operators
 
    KY_POL,
    KY_POL2,
    KY_BPOL,
    KY_BPOL2,
    KY_UBPOL,
    KY_UBPOL2,
    KY_UPOL,
    KY_LPOL,
    KY_RPOL,
    KY_MPOL,
    KY_TLC,
    KY_TLC2,
    KY_FLC,
    KY_FLC2,
    KY_PLC,
    KY_PLC2,
    KY_JORB,
    KY_KNAST,
 
    // Dummy keyword
    KY_NULL
} com_keyword;
 
 
 
 
 

typedef enum {
    CMT_RAW, 
    CMT_IND, 
    CMT_KEY, 
} com_type;

typedef struct string_chain {
    char* string;              
    struct string_chain* next; 
} string_chain;

typedef struct com_parameters {
    uchar count;                 
    struct com_command* param;   
    struct com_parameters* next; 
} com_parameters;

typedef struct com_command {
    com_type thetype;       
    string_chain* main;     
    uint ind;               
    com_parameters* params; 
} com_command;
 
/***************************/
/*+ Array of all keywords +*/
/**************************/

void keywords_add_key(com_keyword key, 
    const char* str
);

void keywords_add_all_keys(void);
 
/******************************/
/*+ Generic display commands +*/
/******************************/

void print_string_chain(const string_chain* stchain, 
    FILE* out                
);

void print_command(com_command* com, 
    FILE* out 
);
 
/**************************************/
/*+ Converting a string to a keyword +*/
/**************************************/

const char* keywordtostring(com_keyword key 
);

com_keyword string_to_keyword(const char* str 
);

bool check_varname(const char* str 
);
 
/*******************************/
/*+ Informations on a command +*/
/*******************************/

bool com_isclass(com_command* com 
);
 
 
 

bool com_israw(const com_command* com 
);

bool com_single(const com_command* com 
);

bool com_single_par(const com_command* com 
);

int com_nbparams(const com_parameters* pars 
);

com_command* com_getparam(const com_parameters* com, 
    int i              
);
 
 
 
 
 

com_keyword key_from_string_chain(const string_chain* strchain 
);

com_keyword key_from_string_chain_single(const string_chain* strchain 
);
 
 
 
 
 
 
/*****************************/
/* Construction of a command */
/*****************************/

string_chain* com_make_string_chain(char*,        
    string_chain* 
);

com_parameters* com_make_parameters(com_command*,   
    com_parameters* 
);

com_command* com_make_command(char*,       
    com_command* 
);

com_command* com_init_command(char*,          
    com_parameters* 
);

com_command* com_init_rawcommand(char* 
);

com_command* com_init_indexing(char*, 
    char*  
);

void com_free_string_chain(string_chain* 
);

void com_free_command(com_command* 
);

void com_free_parameters(com_parameters* 
);
 
#endif