xref: /vim-8.2.3635/src/vim9.h (revision daa2f365)
1 /* vi:set ts=8 sts=4 sw=4 noet:
2  *
3  * VIM - Vi IMproved	by Bram Moolenaar
4  *
5  * Do ":help uganda"  in Vim to read copying and usage conditions.
6  * Do ":help credits" in Vim to see a list of people who contributed.
7  * See README.txt for an overview of the Vim source code.
8  */
9 
10 /*
11  * vim9.h: types and globals used for Vim9 script.
12  */
13 
14 typedef enum {
15     ISN_EXEC,	    // execute Ex command line isn_arg.string
16     ISN_EXECCONCAT, // execute Ex command from isn_arg.number items on stack
17     ISN_ECHO,	    // echo isn_arg.echo.echo_count items on top of stack
18     ISN_EXECUTE,    // execute Ex commands isn_arg.number items on top of stack
19     ISN_ECHOMSG,    // echo Ex commands isn_arg.number items on top of stack
20     ISN_ECHOERR,    // echo Ex commands isn_arg.number items on top of stack
21 
22     // get and set variables
23     ISN_LOAD,	    // push local variable isn_arg.number
24     ISN_LOADV,	    // push v: variable isn_arg.number
25     ISN_LOADG,	    // push g: variable isn_arg.string
26     ISN_LOADB,	    // push b: variable isn_arg.string
27     ISN_LOADW,	    // push w: variable isn_arg.string
28     ISN_LOADT,	    // push t: variable isn_arg.string
29     ISN_LOADGDICT,  // push g: dict
30     ISN_LOADBDICT,  // push b: dict
31     ISN_LOADWDICT,  // push w: dict
32     ISN_LOADTDICT,  // push t: dict
33     ISN_LOADS,	    // push s: variable isn_arg.loadstore
34     ISN_LOADOUTER,  // push variable from outer scope isn_arg.number
35     ISN_LOADSCRIPT, // push script-local variable isn_arg.script.
36     ISN_LOADOPT,    // push option isn_arg.string
37     ISN_LOADENV,    // push environment variable isn_arg.string
38     ISN_LOADREG,    // push register isn_arg.number
39 
40     ISN_STORE,	    // pop into local variable isn_arg.number
41     ISN_STOREV,	    // pop into v: variable isn_arg.number
42     ISN_STOREG,	    // pop into global variable isn_arg.string
43     ISN_STOREB,	    // pop into buffer-local variable isn_arg.string
44     ISN_STOREW,	    // pop into window-local variable isn_arg.string
45     ISN_STORET,	    // pop into tab-local variable isn_arg.string
46     ISN_STORES,	    // pop into script variable isn_arg.loadstore
47     ISN_STOREOUTER,  // pop variable into outer scope isn_arg.number
48     ISN_STORESCRIPT, // pop into script variable isn_arg.script
49     ISN_STOREOPT,    // pop into option isn_arg.string
50     ISN_STOREENV,    // pop into environment variable isn_arg.string
51     ISN_STOREREG,    // pop into register isn_arg.number
52     // ISN_STOREOTHER, // pop into other script variable isn_arg.other.
53 
54     ISN_STORENR,    // store number into local variable isn_arg.storenr.stnr_idx
55     ISN_STORELIST,	// store into list, value/index/varable on stack
56     ISN_STOREDICT,	// store into dictionary, value/index/variable on stack
57 
58     ISN_UNLET,		// unlet variable isn_arg.unlet.ul_name
59     ISN_UNLETENV,	// unlet environment variable isn_arg.unlet.ul_name
60 
61     // constants
62     ISN_PUSHNR,		// push number isn_arg.number
63     ISN_PUSHBOOL,	// push bool value isn_arg.number
64     ISN_PUSHSPEC,	// push special value isn_arg.number
65     ISN_PUSHF,		// push float isn_arg.fnumber
66     ISN_PUSHS,		// push string isn_arg.string
67     ISN_PUSHBLOB,	// push blob isn_arg.blob
68     ISN_PUSHFUNC,	// push func isn_arg.string
69     ISN_PUSHCHANNEL,	// push channel isn_arg.channel
70     ISN_PUSHJOB,	// push channel isn_arg.job
71     ISN_NEWLIST,	// push list from stack items, size is isn_arg.number
72     ISN_NEWDICT,	// push dict from stack items, size is isn_arg.number
73 
74     // function call
75     ISN_BCALL,	    // call builtin function isn_arg.bfunc
76     ISN_DCALL,	    // call def function isn_arg.dfunc
77     ISN_UCALL,	    // call user function or funcref/partial isn_arg.ufunc
78     ISN_PCALL,	    // call partial, use isn_arg.pfunc
79     ISN_PCALL_END,  // cleanup after ISN_PCALL with cpf_top set
80     ISN_RETURN,	    // return, result is on top of stack
81     ISN_FUNCREF,    // push a function ref to dfunc isn_arg.funcref
82     ISN_NEWFUNC,    // create a global function from a lambda function
83 
84     // expression operations
85     ISN_JUMP,	    // jump if condition is matched isn_arg.jump
86 
87     // loop
88     ISN_FOR,	    // get next item from a list, uses isn_arg.forloop
89 
90     ISN_TRY,	    // add entry to ec_trystack, uses isn_arg.try
91     ISN_THROW,	    // pop value of stack, store in v:exception
92     ISN_PUSHEXC,    // push v:exception
93     ISN_CATCH,	    // drop v:exception
94     ISN_ENDTRY,	    // take entry off from ec_trystack
95 
96     // moreexpression operations
97     ISN_ADDLIST,
98     ISN_ADDBLOB,
99 
100     // operation with two arguments; isn_arg.op.op_type is exptype_T
101     ISN_OPNR,
102     ISN_OPFLOAT,
103     ISN_OPANY,
104 
105     // comparative operations; isn_arg.op.op_type is exptype_T, op_ic used
106     ISN_COMPAREBOOL,
107     ISN_COMPARESPECIAL,
108     ISN_COMPARENR,
109     ISN_COMPAREFLOAT,
110     ISN_COMPARESTRING,
111     ISN_COMPAREBLOB,
112     ISN_COMPARELIST,
113     ISN_COMPAREDICT,
114     ISN_COMPAREFUNC,
115     ISN_COMPAREANY,
116 
117     // expression operations
118     ISN_CONCAT,
119     ISN_STRINDEX,   // [expr] string index
120     ISN_LISTINDEX,  // [expr] list index
121     ISN_SLICE,	    // drop isn_arg.number items from start of list
122     ISN_GETITEM,    // push list item, isn_arg.number is the index
123     ISN_MEMBER,	    // dict[member]
124     ISN_STRINGMEMBER, // dict.member using isn_arg.string
125     ISN_2BOOL,	    // convert value to bool, invert if isn_arg.number != 0
126     ISN_2STRING,    // convert value to string at isn_arg.number on stack
127     ISN_NEGATENR,   // apply "-" to number
128 
129     ISN_CHECKNR,    // check value can be used as a number
130     ISN_CHECKTYPE,  // check value type is isn_arg.type.tc_type
131     ISN_CHECKLEN,   // check list length is isn_arg.checklen.cl_min_len
132 
133     ISN_SHUFFLE,    // move item on stack up or down
134     ISN_DROP	    // pop stack and discard value
135 } isntype_T;
136 
137 
138 // arguments to ISN_BCALL
139 typedef struct {
140     int	    cbf_idx;	    // index in "global_functions"
141     int	    cbf_argcount;   // number of arguments on top of stack
142 } cbfunc_T;
143 
144 // arguments to ISN_DCALL
145 typedef struct {
146     int	    cdf_idx;	    // index in "def_functions" for ISN_DCALL
147     int	    cdf_argcount;   // number of arguments on top of stack
148 } cdfunc_T;
149 
150 // arguments to ISN_PCALL
151 typedef struct {
152     int	    cpf_top;	    // when TRUE partial is above the arguments
153     int	    cpf_argcount;   // number of arguments on top of stack
154 } cpfunc_T;
155 
156 // arguments to ISN_UCALL and ISN_XCALL
157 typedef struct {
158     char_u  *cuf_name;
159     int	    cuf_argcount;   // number of arguments on top of stack
160 } cufunc_T;
161 
162 typedef enum {
163     JUMP_ALWAYS,
164     JUMP_IF_FALSE,		// pop and jump if false
165     JUMP_AND_KEEP_IF_TRUE,	// jump if top of stack is true, drop if not
166     JUMP_AND_KEEP_IF_FALSE,	// jump if top of stack is false, drop if not
167 } jumpwhen_T;
168 
169 // arguments to ISN_JUMP
170 typedef struct {
171     jumpwhen_T	jump_when;
172     int		jump_where;	    // position to jump to
173 } jump_T;
174 
175 // arguments to ISN_FOR
176 typedef struct {
177     int	    for_idx;	    // loop variable index
178     int	    for_end;	    // position to jump to after done
179 } forloop_T;
180 
181 // arguments to ISN_TRY
182 typedef struct {
183     int	    try_catch;	    // position to jump to on throw
184     int	    try_finally;    // position to jump to for return
185 } try_T;
186 
187 // arguments to ISN_ECHO
188 typedef struct {
189     int	    echo_with_white;    // :echo instead of :echon
190     int	    echo_count;		// number of expressions
191 } echo_T;
192 
193 // arguments to ISN_OPNR, ISN_OPFLOAT, etc.
194 typedef struct {
195     exptype_T	op_type;
196     int		op_ic;	    // TRUE with '#', FALSE with '?', else MAYBE
197 } opexpr_T;
198 
199 // arguments to ISN_CHECKTYPE
200 typedef struct {
201     vartype_T	ct_type;
202     int		ct_off;	    // offset in stack, -1 is bottom
203 } checktype_T;
204 
205 // arguments to ISN_STORENR
206 typedef struct {
207     int		stnr_idx;
208     varnumber_T	stnr_val;
209 } storenr_T;
210 
211 // arguments to ISN_STOREOPT
212 typedef struct {
213     char_u	*so_name;
214     int		so_flags;
215 } storeopt_T;
216 
217 // arguments to ISN_LOADS and ISN_STORES
218 typedef struct {
219     char_u	*ls_name;	// variable name (with s: for ISN_STORES)
220     int		ls_sid;		// script ID
221 } loadstore_T;
222 
223 // arguments to ISN_LOADSCRIPT and ISN_STORESCRIPT
224 typedef struct {
225     int		script_sid;	// script ID
226     int		script_idx;	// index in sn_var_vals
227 } script_T;
228 
229 // arguments to ISN_UNLET
230 typedef struct {
231     char_u	*ul_name;	// variable name with g:, w:, etc.
232     int		ul_forceit;	// forceit flag
233 } unlet_T;
234 
235 // arguments to ISN_FUNCREF
236 typedef struct {
237     int		fr_func;	// function index
238     int		fr_var_idx;	// variable to store partial
239 } funcref_T;
240 
241 // arguments to ISN_NEWFUNC
242 typedef struct {
243     char_u	*nf_lambda;	// name of the lambda already defined
244     char_u	*nf_global;	// name of the global function to be created
245 } newfunc_T;
246 
247 // arguments to ISN_CHECKLEN
248 typedef struct {
249     int		cl_min_len;	// minimum length
250     int		cl_more_OK;	// longer is allowed
251 } checklen_T;
252 
253 // arguments to ISN_SHUFFLE
254 typedef struct {
255     int		shfl_item;	// item to move (relative to top of stack)
256     int		shfl_up;	// places to move upwards
257 } shuffle_T;
258 
259 /*
260  * Instruction
261  */
262 struct isn_S {
263     isntype_T	isn_type;
264     int		isn_lnum;
265     union {
266 	char_u		    *string;
267 	varnumber_T	    number;
268 	blob_T		    *blob;
269 #ifdef FEAT_FLOAT
270 	float_T		    fnumber;
271 #endif
272 	channel_T	    *channel;
273 	job_T		    *job;
274 	partial_T	    *partial;
275 	jump_T		    jump;
276 	forloop_T	    forloop;
277 	try_T		    try;
278 	cbfunc_T	    bfunc;
279 	cdfunc_T	    dfunc;
280 	cpfunc_T	    pfunc;
281 	cufunc_T	    ufunc;
282 	echo_T		    echo;
283 	opexpr_T	    op;
284 	checktype_T	    type;
285 	storenr_T	    storenr;
286 	storeopt_T	    storeopt;
287 	loadstore_T	    loadstore;
288 	script_T	    script;
289 	unlet_T		    unlet;
290 	funcref_T	    funcref;
291 	newfunc_T	    newfunc;
292 	checklen_T	    checklen;
293 	shuffle_T	    shuffle;
294     } isn_arg;
295 };
296 
297 /*
298  * Info about a function defined with :def.  Used in "def_functions".
299  */
300 struct dfunc_S {
301     ufunc_T	*df_ufunc;	    // struct containing most stuff
302     int		df_idx;		    // index in def_functions
303     int		df_deleted;	    // if TRUE function was deleted
304 
305     garray_T	df_def_args_isn;    // default argument instructions
306     isn_T	*df_instr;	    // function body to be executed
307     int		df_instr_count;
308 
309     int		df_varcount;	    // number of local variables
310     int		df_closure_count;   // number of closures created
311 };
312 
313 // Number of entries used by stack frame for a function call.
314 // - function index
315 // - instruction index
316 // - previous frame index
317 #define STACK_FRAME_SIZE 3
318 
319 
320 #ifdef DEFINE_VIM9_GLOBALS
321 // Functions defined with :def are stored in this growarray.
322 // They are never removed, so that they can be found by index.
323 // Deleted functions have the df_deleted flag set.
324 garray_T def_functions = {0, 0, sizeof(dfunc_T), 50, NULL};
325 #else
326 extern garray_T def_functions;
327 #endif
328 
329