[tpat_int.h] Language Interface

contents



#include "ptm.h"
#include "gls.h"




symbol objects - init & quit

void tpat_initSymbols()
void tpat_quitSymbols()


Types & Constants


tpat abstract type

tpatSpec abstract type
tpatBlock abstract type
tpatIdx abstract type
tpatVal abstract type
tpatPat abstract type
tpatOptSpc abstract type
tpatCode abstract type


Access to Tokens

c_bool Ttpat_Ide(GLS_Tok x)
c_bool Ttpat_Nat(GLS_Tok x)
c_bool Ttpat_Str(GLS_Tok x)
c_bool Ttpat_Reg(GLS_Tok x)
c_bool Ttpat_Key(GLS_Tok x)
c_bool Ttpat_Spc(GLS_Tok x)
c_bool Ttpat__other_(GLS_Tok x)


Access to Terms

c_bool tpat_tpat(PT_Term x, tpat* x1)
c_bool tpat_Spec(PT_Term x, tpatSpec* x1)
c_bool tpat_Block(PT_Term x, tpatBlock* x1)
c_bool tpat_Idx(PT_Term x, tpatIdx* x1)
c_bool tpat_Val(PT_Term x, tpatVal* x1)
c_bool tpat_Pat(PT_Term x, tpatPat* x1)
c_bool tpat_OptSpc(PT_Term x, tpatOptSpc* x1)
c_bool tpat_Code(PT_Term x, tpatCode* x1)


tpat

c_bool tpat_Start_Spec(tpat x, tpatSpec* x1)
#define tpat_Start_0   tpat_Start_Spec
 


Spec

c_bool tpatSpec_dfn(tpatSpec x, tpatCode* x1)


Block

c_bool tpatBlock_out(tpatBlock x, GLS_Tok* x1, GLS_Tok* x2,
                     GLS_Tok* x3, tpatBlock* x4)
 
c_bool tpatBlock_for(tpatBlock x, GLS_Tok* x1, GLS_Tok* x2,
                     GLS_Tok* x3, GLS_Tok* x4,
                     tpatBlock* x5)
 
c_bool tpatBlock_blk(tpatBlock x, tpatCode* x1)
c_bool tpatBlock_iter(tpatBlock x, GLS_Tok* x1, GLS_Lst(GLS_Tok)* x2,
                      GLS_Tok* x3, GLS_Tok* x4,
                      tpatBlock* x5)
 
c_bool tpatBlock_inc(tpatBlock x, GLS_Tok* x1, GLS_Tok* x2)
c_bool tpatBlock_tpat(tpatBlock x, GLS_Tok* x1, GLS_Lst(GLS_Tok)* x2,
                      tpatBlock* x3)
 
c_bool tpatBlock_var(tpatBlock x, GLS_Tok* x1, GLS_Tok* x2,
                     tpatOptSpc* x3, tpatOptSpc* x4,
                     tpatVal* x5)
 


Idx

c_bool tpatIdx_ide(tpatIdx x, GLS_Tok* x1)
c_bool tpatIdx_nat(tpatIdx x, GLS_Tok* x1)


Val

c_bool tpatVal_str(tpatVal x, GLS_Tok* x1)
c_bool tpatVal_reg(tpatVal x, GLS_Tok* x1)
c_bool tpatVal_ide(tpatVal x, GLS_Tok* x1)
c_bool tpatVal_idx(tpatVal x, tpatOptSpc* x1, GLS_Tok* x2,
                   GLS_Tok* x3, tpatIdx* x4,
                   tpatOptSpc* x5)
 
c_bool tpatVal_spc(tpatVal x, GLS_Tok* x1)
c_bool tpatVal_fun(tpatVal x, GLS_Lst(tpatVal)* x1)


Pat

c_bool tpatPat_dfn(tpatPat x, tpatVal* x1)


OptSpc

c_bool tpatOptSpc_spc(tpatOptSpc x, GLS_Tok* x1)
c_bool tpatOptSpc_nul(tpatOptSpc x)


Code

c_bool tpatCode_if(tpatCode x, tpatOptSpc* x1, tpatVal* x2,
                   tpatOptSpc* x3, tpatBlock* x4,
                   tpatCode* x5)
 
c_bool tpatCode_reg(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_nat(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_par1(tpatCode x, tpatCode* x1)
c_bool tpatCode_ide(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_spc(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_asg(tpatCode x, tpatCode* x1)
c_bool tpatCode_nul(tpatCode x)
c_bool tpatCode_str(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_else(tpatCode x, tpatOptSpc* x1, tpatOptSpc* x2,
                     tpatBlock* x3, tpatCode* x4)
 
c_bool tpatCode_blk(tpatCode x, tpatBlock* x1, tpatCode* x2)
c_bool tpatCode_par3(tpatCode x, tpatCode* x1)
c_bool tpatCode_par2(tpatCode x, tpatCode* x1)
c_bool tpatCode_misc(tpatCode x, GLS_Tok* x1, tpatCode* x2)
c_bool tpatCode_pat(tpatCode x, tpatPat* x1, tpatCode* x2)
c_bool tpatCode_pky(tpatCode x)
c_bool tpatCode_par4(tpatCode x, tpatCode* x1)