GNU PROLOG with UTF8 support
All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Macros
write_supp.h
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------*
2  * GNU Prolog *
3  * *
4  * Part : Prolog buit-in predicates *
5  * File : write_supp.h *
6  * Descr.: term writing support - header file *
7  * Author: Daniel Diaz *
8  * *
9  * Copyright (C) 1999-2015 Daniel Diaz *
10  * *
11  * This file is part of GNU Prolog *
12  * *
13  * GNU Prolog is free software: you can redistribute it and/or *
14  * modify it under the terms of either: *
15  * *
16  * - the GNU Lesser General Public License as published by the Free *
17  * Software Foundation; either version 3 of the License, or (at your *
18  * option) any later version. *
19  * *
20  * or *
21  * *
22  * - the GNU General Public License as published by the Free *
23  * Software Foundation; either version 2 of the License, or (at your *
24  * option) any later version. *
25  * *
26  * or both in parallel, as here. *
27  * *
28  * GNU Prolog is distributed in the hope that it will be useful, *
29  * but WITHOUT ANY WARRANTY; without even the implied warranty of *
30  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
31  * General Public License for more details. *
32  * *
33  * You should have received copies of the GNU General Public License and *
34  * the GNU Lesser General Public License along with this program. If *
35  * not, see http://www.gnu.org/licenses/. *
36  *-------------------------------------------------------------------------*/
37 
38 
39 /*---------------------------------*
40  * Constants *
41  *---------------------------------*/
42 
43 #define WRITE_QUOTED 1
44 #define WRITE_IGNORE_OP 2
45 #define WRITE_NUMBER_VARS 4
46 #define WRITE_NAME_VARS 8
47 #define WRITE_SPACE_ARGS 16
48 #define WRITE_PORTRAYED 32
49 
50 
51 
52 
53 /*---------------------------------*
54  * Type Definitions *
55  *---------------------------------*/
56 
57 /*---------------------------------*
58  * Global Variables *
59  *---------------------------------*/
60 
61 #ifdef WRITE_SUPP_FILE
62 
63 int pl_last_writing;
64 
65 #else
66 
67 extern int pl_last_writing;
68 
69 #endif
70 
71 
72 
73 
74 /*---------------------------------*
75  * Function Prototypes *
76  *---------------------------------*/
77 
78 void Pl_Write_Term(StmInf *pstm, int depth, int prec, int mask, WamWord *above_H,
79  WamWord term_word);
80 
81 void Pl_Write(WamWord term_word);
82 
83 void Pl_Write_A_Full_Stop(StmInf *pstm);
84 
85 void Pl_Write_A_Char(StmInf *pstm, int c);
86 
87 char *Pl_Float_To_String(double d);
88 
89 int Get_Print_Stm(void);
static CHAR32_T c
Definition: scan_supp.c:65
void Pl_Write_A_Char(StmInf *pstm, int c)
Definition: write_supp.c:410
char * Pl_Float_To_String(double d)
Definition: write_supp.c:424
void Pl_Write_Term(StmInf *pstm, int depth, int prec, int mask, WamWord *above_H, WamWord term_word)
Definition: write_supp.c:223
int mask
Definition: test_oc.c:7
double d
Definition: asm.c:27
int Get_Print_Stm(void)
void Pl_Write_A_Full_Stop(StmInf *pstm)
Definition: write_supp.c:392
void Pl_Write(WamWord term_word)
Definition: write_supp.c:252
static WamWord * above_H
Definition: pretty_c.c:90
Definition: stream_supp.h:137
long WamWord
Definition: LINUX_SIGSEGV.c:4
int pl_last_writing