[hpat_ant.h] Language Interface

contents



#include "ptm.h"
#include "gls_abs.h"




symbol objects - init & quit

void hpat_initSymbols()
void hpat_quitSymbols()


Types & Constants


hpat abstract type

hpatHPatDoc abstract type
hpatContent abstract type


Access to Tokens

c_bool Thpat_PatBgn(GLS_Tok x)
c_bool Thpat_PatEnd(GLS_Tok x)
c_bool Thpat_PatRef(GLS_Tok x)
c_bool Thpat__other_(GLS_Tok x)


Access to Terms

c_bool hpat_hpat(PT_Abs_Term x, hpat* x1)
c_bool hpat_HPatDoc(PT_Abs_Term x, hpatHPatDoc* x1)
c_bool hpat_Content(PT_Abs_Term x, hpatContent* x1)


hpat

c_bool hpat_Start_HPatDoc(hpat x, hpatHPatDoc* x1)
#define hpat_Start_0   hpat_Start_HPatDoc
 


HPatDoc

c_bool hpatHPatDoc_dfn(hpatHPatDoc x, GLS_Lst(hpatContent)* x1)


Content

c_bool hpatContent_pat(hpatContent x, GLS_Tok* x1, GLS_Lst(hpatContent)* x2,
                       GLS_Tok* x3)
 
c_bool hpatContent_else(hpatContent x, GLS_Tok* x1)
c_bool hpatContent_ref(hpatContent x, GLS_Tok* x1)