semtrex.h

Go to the documentation of this file.

#ifndef _CEPTR_SEMTREX_H
#define _CEPTR_SEMTREX_H

#include "tree.h"

enum StateType {StateSymbol,StateAny,StateValue,StateSplit,StateMatch,StateGroupOpen,StateGroupClose,StateDescend,StateWalk,StateNot};
typedef int StateType;

enum {TransitionDown=1,TransitionNone=0x8000};
#define isTransitionPop(t) (t<0)
#define isTransitionNext(t) (t==0)

typedef int TransitionType;

typedef struct SState SState;

typedef struct SgroupOpen {
    SemanticID symbol;  
    int uid;             
} SgroupOpen;

typedef struct SgroupClose {
    SState *openP;      
} SgroupClose;

#define LITERAL_NOT 0x01
#define LITERAL_SET 0x02
typedef struct Svalue {
    int flags;
    T *values;
} Svalue;

typedef struct Sliteral {
    int flags;
    T *symbols;
} Sliteral;


typedef union STypeData
{
    Sliteral symbol;  
    Svalue value;   
    SgroupOpen groupo;   
    SgroupClose groupc;   
} STypeData;

struct SState {
    struct SState *out;         
    TransitionType transition;  
    StateType type;             
    struct SState *out1;        
    TransitionType transition1; 
    StateType type_;             

    int _did;                   
    STypeData data;             
};
SState *G_cur_stx_state;  // global for highlighting the current state when doing an stx FSA dump

SState * _stx_makeFA(T *s,int *statesP);
void _stx_freeFA(SState *s);
int _t_match(T *semtrex,T *t);
int _t_matchr(T *semtrex,T *t,T **r);
T *_stx_get_matched_node(Symbol s,T *match_results,T *match_tree,int *sibs);
void _stx_replace(T *semtrex,T *t,T *replace);
T *_t_get_match(T *result,Symbol group);
T *__t_embody_from_match(SemTable *sem,T *match,T *t);
T *_t_embody_from_match(SemTable *sem,T *match,Symbol group,T *t);
char * _dump_semtrex(SemTable *sem,T *s,char *buf);
T *makeASCIITree(char *c);
T *parseSemtrex(SemTable *sem,char *stx);
T *_stx_results2sem_map(SemTable *sem,T *match_results,T *match_tree);

T *__stxcv(T *stxx,char c);
T *__stxcvm(T *stxx,int not,int count,...);

T *asciiT_toi(T* asciiT,T* match,T *t,Symbol s);
T *asciiT_tol(T* asciiT,T* match,T *t,Symbol s);
T *asciiT_tof(T* asciiT,T* match,T *t,Symbol s);
T *asciiT_tos(T* asciiT,T* match,T *t,Symbol s);
T *asciiT_toc(T* asciiT,T* match,T *t,Symbol s);

T *wrap(T *tokens,T *results, Symbol contents_s, Symbol open_s);

#define _sl(t,s) __sl(t,false,1,s)

#define _sln(t,s) __sl(t,true,1,s)

T *__sl(T *p, bool not,int count, ...);

#define DS(l,t) {char buf[1000];puts("\n" #l ":");_dump_semtrex(G_sem,t,buf);puts(buf);}

#endif

void __stx_dump(SState *s,char *buf);
char * _stx_dump(SState *s,char *buf);
void stx_dump(T *s);
char G_stx_dump_buf[100000];