GNU PROLOG with UTF8 support
wam_protos.h
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------*
2  * GNU Prolog *
3  * *
4  * Part : WAM to mini-assembler translator *
5  * File : wam_protos.h *
6  * Descr.: code generation - 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 /*---------------------------------*
41  * Constants *
42  *---------------------------------*/
43 
44 /*---------------------------------*
45  * Type Definitions *
46  *---------------------------------*/
47 
48 /*---------------------------------*
49  * Global Variables *
50  *---------------------------------*/
51 
52 
53 /*---------------------------------*
54  * Function Prototypes *
55  *---------------------------------*/
56 
57 void Source_Line(int line_no, char *cmt);
58 
59 
60 
61 void F_file_name(ArgVal arg[]);
62 
63 void F_predicate(ArgVal arg[]);
64 
65 void F_directive(ArgVal arg[]);
66 
67 void F_ensure_linked(ArgVal arg[]);
68 
69 
70 
71 
72 void F_get_variable(ArgVal arg[]);
73 
74 void F_get_value(ArgVal arg[]);
75 
76 void F_get_atom(ArgVal arg[]);
77 
78 void F_get_integer(ArgVal arg[]);
79 
80 void F_get_float(ArgVal arg[]);
81 
82 void F_get_nil(ArgVal arg[]);
83 
84 void F_get_list(ArgVal arg[]);
85 
86 void F_get_structure(ArgVal arg[]);
87 
88 void F_put_variable(ArgVal arg[]);
89 
90 void F_put_void(ArgVal arg[]);
91 
92 void F_put_value(ArgVal arg[]);
93 
95 
96 void F_put_atom(ArgVal arg[]);
97 
98 void F_put_integer(ArgVal arg[]);
99 
100 void F_put_float(ArgVal arg[]);
101 
102 void F_put_nil(ArgVal arg[]);
103 
104 void F_put_list(ArgVal arg[]);
105 
106 void F_put_structure(ArgVal arg[]);
107 
108 void F_put_meta_term(ArgVal arg[]);
109 
111 
113 
114 void F_unify_variable(ArgVal arg[]);
115 
116 void F_unify_void(ArgVal arg[]);
117 
118 void F_unify_value(ArgVal arg[]);
119 
121 
122 void F_unify_atom(ArgVal arg[]);
123 
124 void F_unify_integer(ArgVal arg[]);
125 
126 void F_unify_nil(ArgVal arg[]);
127 
128 void F_unify_list(ArgVal arg[]);
129 
131 
132 void F_allocate(ArgVal arg[]);
133 
134 void F_deallocate(ArgVal arg[]);
135 
136 void F_call(ArgVal arg[]);
137 
138 void F_execute(ArgVal arg[]);
139 
140 void F_proceed(ArgVal arg[]);
141 
142 void F_fail(ArgVal arg[]);
143 
144 void F_label(ArgVal arg[]);
145 
146 void F_switch_on_term(ArgVal arg[]);
147 
148 void F_switch_on_atom(ArgVal arg[]);
149 
151 
153 
154 void F_try_me_else(ArgVal arg[]);
155 
156 void F_retry_me_else(ArgVal arg[]);
157 
159 
160 void F_try(ArgVal arg[]);
161 
162 void F_retry(ArgVal arg[]);
163 
164 void F_trust(ArgVal arg[]);
165 
166 void F_pragma_arity(ArgVal arg[]);
167 
169 
170 void F_cut(ArgVal arg[]);
171 
172 void F_soft_cut(ArgVal arg[]);
173 
174 void F_function(ArgVal arg[]);
175 
176 void F_call_c(ArgVal arg[]);
177 
178 void F_foreign_call_c(ArgVal arg[]);
void F_unify_variable(ArgVal arg[])
Definition: wam2ma.c:1018
void F_put_list(ArgVal arg[])
Definition: wam2ma.c:938
void F_math_load_value(ArgVal arg[])
Definition: wam2ma.c:990
void F_function(ArgVal arg[])
void F_unify_value(ArgVal arg[])
Definition: wam2ma.c:1047
void F_put_float(ArgVal arg[])
Definition: wam2ma.c:908
void F_unify_integer(ArgVal arg[])
Definition: wam2ma.c:1096
void F_get_atom(ArgVal arg[])
Definition: wam2ma.c:698
void F_execute(ArgVal arg[])
Definition: wam2ma.c:1206
void F_unify_list(ArgVal arg[])
Definition: wam2ma.c:1129
void F_foreign_call_c(ArgVal arg[])
Definition: wam2ma.c:1849
void F_math_fast_load_value(ArgVal arg[])
Definition: wam2ma.c:1004
void F_try(ArgVal arg[])
Definition: wam2ma.c:1523
void F_put_variable(ArgVal arg[])
Definition: wam2ma.c:802
void F_put_meta_term(ArgVal arg[])
Definition: wam2ma.c:972
void F_switch_on_structure(ArgVal arg[])
Definition: wam2ma.c:1446
void F_get_structure(ArgVal arg[])
Definition: wam2ma.c:781
void F_get_nil(ArgVal arg[])
Definition: wam2ma.c:751
void F_put_nil(ArgVal arg[])
Definition: wam2ma.c:923
void F_retry_me_else(ArgVal arg[])
Definition: wam2ma.c:1496
void F_try_me_else(ArgVal arg[])
Definition: wam2ma.c:1482
void F_get_float(ArgVal arg[])
Definition: wam2ma.c:736
void F_soft_cut(ArgVal arg[])
Definition: wam2ma.c:1633
void F_call(ArgVal arg[])
Definition: wam2ma.c:1189
double ArgVal
Definition: wam_parser.h:66
void F_fail(ArgVal arg[])
Definition: wam2ma.c:1236
void F_put_structure(ArgVal arg[])
Definition: wam2ma.c:953
void F_trust(ArgVal arg[])
Definition: wam2ma.c:1565
void F_put_value(ArgVal arg[])
Definition: wam2ma.c:841
void F_unify_local_value(ArgVal arg[])
Definition: wam2ma.c:1062
void F_pragma_arity(ArgVal arg[])
Definition: wam2ma.c:1581
void F_get_current_choice(ArgVal arg[])
Definition: wam2ma.c:1603
ArgInf arg[MAX_ARGS]
Definition: ma_parser.c:114
void F_retry(ArgVal arg[])
Definition: wam2ma.c:1544
void Source_Line(int line_no, char *cmt)
Definition: sparc64_any.c:150
void F_put_atom(ArgVal arg[])
Definition: wam2ma.c:870
void F_unify_void(ArgVal arg[])
Definition: wam2ma.c:1033
void F_get_integer(ArgVal arg[])
Definition: wam2ma.c:717
void F_unify_structure(ArgVal arg[])
Definition: wam2ma.c:1143
void F_proceed(ArgVal arg[])
Definition: wam2ma.c:1223
void F_cut(ArgVal arg[])
Definition: wam2ma.c:1619
void F_call_c(ArgVal arg[])
Definition: wam2ma.c:1654
void F_predicate(ArgVal arg[])
Definition: wam2ma.c:475
void F_put_integer(ArgVal arg[])
Definition: wam2ma.c:889
void F_deallocate(ArgVal arg[])
Definition: wam2ma.c:1176
void F_put_unsafe_value(ArgVal arg[])
Definition: wam2ma.c:855
void F_label(ArgVal arg[])
Definition: wam2ma.c:1249
void F_put_void(ArgVal arg[])
Definition: wam2ma.c:826
void F_get_variable(ArgVal arg[])
Definition: wam2ma.c:669
void F_allocate(ArgVal arg[])
Definition: wam2ma.c:1162
void F_trust_me_else_fail(ArgVal arg[])
Definition: wam2ma.c:1510
void F_switch_on_integer(ArgVal arg[])
Definition: wam2ma.c:1392
void F_file_name(ArgVal arg[])
Definition: wam2ma.c:461
void F_ensure_linked(ArgVal arg[])
Definition: wam2ma.c:647
void F_get_list(ArgVal arg[])
Definition: wam2ma.c:766
void F_directive(ArgVal arg[])
Definition: wam2ma.c:596
void F_unify_nil(ArgVal arg[])
Definition: wam2ma.c:1115
void F_switch_on_atom(ArgVal arg[])
Definition: wam2ma.c:1359
void F_get_value(ArgVal arg[])
Definition: wam2ma.c:683
void F_unify_atom(ArgVal arg[])
Definition: wam2ma.c:1077
void F_switch_on_term(ArgVal arg[])
Definition: wam2ma.c:1263