initial working perl-space version
[p5sagit/Devel-Declare.git] / Declare.xs
1 #define PERL_CORE
2 #define PERL_NO_GET_CONTEXT
3 #include "EXTERN.h"
4 #include "perl.h"
5 #include "XSUB.h"
6 #undef printf
7 #include "stolen_chunk_of_toke.c"
8 #include <stdio.h>
9 #include <string.h>
10
11 #ifndef Newx
12 # define Newx(v,n,t) New(0,v,n,t)
13 #endif /* !Newx */
14
15 #if 1
16 #define DD_HAS_TRAITS
17 #endif
18
19 #if 0
20 #define DD_DEBUG
21 #endif
22
23 #define DD_HANDLE_NAME 1
24 #define DD_HANDLE_PROTO 2
25 #define DD_HANDLE_PACKAGE 8
26
27 #ifdef DD_DEBUG
28 #define DD_DEBUG_S printf("Buffer: %s\n", s);
29 #else
30 #define DD_DEBUG_S
31 #endif
32
33 #define LEX_NORMAL    10
34 #define LEX_INTERPNORMAL   9
35
36 /* flag to trigger removal of temporary declaree sub */
37
38 static int in_declare = 0;
39
40 /* thing that decides whether we're dealing with a declarator */
41
42 int dd_is_declarator(pTHX_ char* name) {
43   HV* is_declarator;
44   SV** is_declarator_pack_ref;
45   HV* is_declarator_pack_hash;
46   SV** is_declarator_flag_ref;
47   int dd_flags;
48
49   is_declarator = get_hv("Devel::Declare::declarators", FALSE);
50
51   if (!is_declarator)
52     return -1;
53
54   /* $declarators{$current_package_name} */
55
56   is_declarator_pack_ref = hv_fetch(is_declarator, HvNAME(PL_curstash),
57                              strlen(HvNAME(PL_curstash)), FALSE);
58
59   if (!is_declarator_pack_ref || !SvROK(*is_declarator_pack_ref))
60     return -1; /* not a hashref */
61
62   is_declarator_pack_hash = (HV*) SvRV(*is_declarator_pack_ref);
63
64   /* $declarators{$current_package_name}{$name} */
65
66   is_declarator_flag_ref = hv_fetch(
67     is_declarator_pack_hash, name,
68     strlen(name), FALSE
69   );
70
71   /* requires SvIOK as well as TRUE since flags not being an int is useless */
72
73   if (!is_declarator_flag_ref
74         || !SvIOK(*is_declarator_flag_ref) 
75         || !SvTRUE(*is_declarator_flag_ref))
76     return -1;
77
78   dd_flags = SvIVX(*is_declarator_flag_ref);
79
80   return dd_flags;
81 }
82
83 /* callback thingy */
84
85 void dd_linestr_callback (pTHX_ char* type, char* name, char* s) {
86
87   char* linestr = SvPVX(PL_linestr);
88   int offset = s - linestr;
89
90   dSP;
91
92   ENTER;
93   SAVETMPS;
94
95   PUSHMARK(SP);
96   XPUSHs(sv_2mortal(newSVpv(type, 0)));
97   XPUSHs(sv_2mortal(newSVpv(name, 0)));
98   XPUSHs(sv_2mortal(newSViv(offset)));
99   PUTBACK;
100
101   call_pv("Devel::Declare::linestr_callback", G_VOID|G_DISCARD);
102
103   FREETMPS;
104   LEAVE;
105 }
106
107 char* dd_get_linestr(pTHX) {
108   return SvPVX(PL_linestr);
109 }
110
111 void dd_set_linestr(pTHX_ char* new_value) {
112   int new_len = strlen(new_value);
113   char* old_linestr = SvPVX(PL_linestr);
114
115   SvGROW(PL_linestr, strlen(new_value));
116
117   if (SvPVX(PL_linestr) != old_linestr)
118     Perl_croak(aTHX_ "forced to realloc PL_linestr for line %s, bailing out before we crash harder", SvPVX(PL_linestr));
119
120   memcpy(SvPVX(PL_linestr), new_value, new_len+1);
121
122   SvCUR_set(PL_linestr, new_len);
123
124   PL_bufend = SvPVX(PL_linestr) + new_len;
125 }
126
127 char* dd_get_lex_stuff(pTHX) {
128   return SvPVX(PL_lex_stuff);
129 }
130
131 char* dd_clear_lex_stuff(pTHX) {
132   PL_lex_stuff = Nullsv;
133 }
134
135 char* dd_get_curstash_name(pTHX) {
136   return HvNAME(PL_curstash);
137 }
138
139 char* dd_move_past_token (pTHX_ char* s) {
140
141   /*
142    *   buffer will be at the beginning of the declarator, -unless- the
143    *   declarator is at EOL in which case it'll be the next useful line
144    *   so we don't short-circuit out if we don't find the declarator
145    */
146
147   while (s < PL_bufend && isSPACE(*s)) s++;
148   if (memEQ(s, PL_tokenbuf, strlen(PL_tokenbuf)))
149     s += strlen(PL_tokenbuf);
150   return s;
151 }
152
153 int dd_toke_move_past_token (pTHX_ int offset) {
154   char* base_s = SvPVX(PL_linestr) + offset;
155   char* s = dd_move_past_token(aTHX_ base_s);
156   return s - base_s;
157 }
158
159 int dd_toke_scan_word(pTHX_ int offset, int handle_package) {
160   char tmpbuf[sizeof PL_tokenbuf];
161   char* base_s = SvPVX(PL_linestr) + offset;
162   STRLEN len;
163   char* s = scan_word(base_s, tmpbuf, sizeof tmpbuf, handle_package, &len);
164   return s - base_s;
165 }
166
167 int dd_toke_scan_str(pTHX_ int offset) {
168   char* base_s = SvPVX(PL_linestr) + offset;
169   char* s = scan_str(base_s, FALSE, FALSE);
170   return s - base_s;
171 }
172
173 int dd_toke_skipspace(pTHX_ int offset) {
174   char* base_s = SvPVX(PL_linestr) + offset;
175   char* s = skipspace(base_s);
176   return s - base_s;
177 }
178
179 /* replacement PL_check rv2cv entry */
180
181 STATIC OP *(*dd_old_ck_rv2cv)(pTHX_ OP *op);
182
183 STATIC OP *dd_ck_rv2cv(pTHX_ OP *o) {
184   OP* kid;
185   char* s;
186   char* save_s;
187   char tmpbuf[sizeof PL_tokenbuf];
188   char found_name[sizeof PL_tokenbuf];
189   char* found_proto = NULL, *found_traits = NULL;
190   STRLEN len = 0;
191   int dd_flags;
192   char* cb_args[6];
193   dSP; /* define stack pointer for later call stuff */
194   char* retstr;
195   STRLEN n_a; /* for POPpx */
196
197   o = dd_old_ck_rv2cv(aTHX_ o); /* let the original do its job */
198
199   if (in_declare) {
200     cb_args[0] = NULL;
201 #ifdef DD_DEBUG
202     printf("Deconstructing declare\n");
203     printf("PL_bufptr: %s\n", PL_bufptr);
204     printf("bufend at: %i\n", PL_bufend - PL_bufptr);
205     printf("linestr: %s\n", SvPVX(PL_linestr));
206     printf("linestr len: %i\n", PL_bufend - SvPVX(PL_linestr));
207 #endif
208     call_argv("Devel::Declare::done_declare", G_VOID|G_DISCARD, cb_args);
209     in_declare--;
210 #ifdef DD_DEBUG
211     printf("PL_bufptr: %s\n", PL_bufptr);
212     printf("bufend at: %i\n", PL_bufend - PL_bufptr);
213     printf("linestr: %s\n", SvPVX(PL_linestr));
214     printf("linestr len: %i\n", PL_bufend - SvPVX(PL_linestr));
215     printf("actual len: %i\n", strlen(PL_bufptr));
216 #endif
217     return o;
218   }
219
220   kid = cUNOPo->op_first;
221
222   if (kid->op_type != OP_GV) /* not a GV so ignore */
223     return o;
224
225   if (PL_lex_state != LEX_NORMAL && PL_lex_state != LEX_INTERPNORMAL)
226     return o; /* not lexing? */
227
228   /* I was doing this, but the CONST wrap can't so it didn't gain anything
229   stash = GvSTASH(kGVOP_gv); */
230
231 #ifdef DD_DEBUG
232   printf("Checking GV %s -> %s\n", HvNAME(GvSTASH(kGVOP_gv)), GvNAME(kGVOP_gv));
233 #endif
234
235   dd_flags = dd_is_declarator(aTHX_ GvNAME(kGVOP_gv));
236
237   if (dd_flags == -1)
238     return o;
239
240 #ifdef DD_DEBUG
241   printf("dd_flags are: %i\n", dd_flags);
242 #endif
243
244   s = PL_bufptr; /* copy the current buffer pointer */
245
246   DD_DEBUG_S
247
248 #ifdef DD_DEBUG
249   printf("PL_tokenbuf: %s\n", PL_tokenbuf);
250 #endif
251
252   dd_linestr_callback(aTHX_ "rv2cv", GvNAME(kGVOP_gv), s);
253
254   return o;
255 }
256
257 STATIC OP *(*dd_old_ck_entereval)(pTHX_ OP *op);
258
259 OP* dd_pp_entereval(pTHX) {
260   dSP;
261   dPOPss;
262   STRLEN len;
263   const char* s;
264   if (SvPOK(sv)) {
265 #ifdef DD_DEBUG
266     printf("mangling eval sv\n");
267 #endif
268     if (SvREADONLY(sv))
269       sv = sv_2mortal(newSVsv(sv));
270     s = SvPVX(sv);
271     len = SvCUR(sv);
272     if (!len || s[len-1] != ';') {
273       if (!(SvFLAGS(sv) & SVs_TEMP))
274         sv = sv_2mortal(newSVsv(sv));
275       sv_catpvn(sv, "\n;", 2);
276     }
277     SvGROW(sv, 8192);
278   }
279   PUSHs(sv);
280   return PL_ppaddr[OP_ENTEREVAL](aTHX);
281 }
282
283 STATIC OP *dd_ck_entereval(pTHX_ OP *o) {
284   o = dd_old_ck_entereval(aTHX_ o); /* let the original do its job */
285   if (o->op_ppaddr == PL_ppaddr[OP_ENTEREVAL])
286     o->op_ppaddr = dd_pp_entereval;
287   return o;
288 }
289
290 static I32 dd_filter_realloc(pTHX_ int idx, SV *sv, int maxlen)
291 {
292   const I32 count = FILTER_READ(idx+1, sv, maxlen);
293   SvGROW(sv, 8192); /* please try not to have a line longer than this :) */
294   /* filter_del(dd_filter_realloc); */
295   return count;
296 }
297
298 STATIC OP *(*dd_old_ck_const)(pTHX_ OP*op);
299
300 STATIC OP *dd_ck_const(pTHX_ OP *o) {
301   int dd_flags;
302   char* s;
303   char* name;
304
305   o = dd_old_ck_const(aTHX_ o); /* let the original do its job */
306
307   /* don't try and look this up if it's not a string const */
308   if (!SvPOK(cSVOPo->op_sv))
309     return o;
310
311   name = SvPVX(cSVOPo->op_sv);
312
313   dd_flags = dd_is_declarator(aTHX_ name);
314
315   if (dd_flags == -1)
316     return o;
317
318   s = PL_bufptr;
319
320   dd_linestr_callback(aTHX_ "const", name, s);
321
322   return o;  
323 }
324
325 static int initialized = 0;
326
327 MODULE = Devel::Declare  PACKAGE = Devel::Declare
328
329 PROTOTYPES: DISABLE
330
331 void
332 setup()
333   CODE:
334   if (!initialized++) {
335     dd_old_ck_rv2cv = PL_check[OP_RV2CV];
336     PL_check[OP_RV2CV] = dd_ck_rv2cv;
337     dd_old_ck_entereval = PL_check[OP_ENTEREVAL];
338     PL_check[OP_ENTEREVAL] = dd_ck_entereval;
339     dd_old_ck_const = PL_check[OP_CONST];
340     PL_check[OP_CONST] = dd_ck_const;
341   }
342   filter_add(dd_filter_realloc, NULL);
343
344 char*
345 get_linestr()
346   CODE:
347     RETVAL = dd_get_linestr(aTHX);
348   OUTPUT:
349     RETVAL
350
351 void
352 set_linestr(char* new_value)
353   CODE:
354     dd_set_linestr(aTHX_ new_value);
355
356 char*
357 get_lex_stuff()
358   CODE:
359     RETVAL = dd_get_lex_stuff(aTHX);
360   OUTPUT:
361     RETVAL
362
363 void
364 clear_lex_stuff()
365   CODE:
366     dd_clear_lex_stuff(aTHX);
367
368 char*
369 get_curstash_name()
370   CODE:
371     RETVAL = dd_get_curstash_name(aTHX);
372   OUTPUT:
373     RETVAL
374
375 int
376 toke_scan_word(int offset, int handle_package)
377   CODE:
378     RETVAL = dd_toke_scan_word(aTHX_ offset, handle_package);
379   OUTPUT:
380     RETVAL
381
382 int
383 toke_move_past_token(int offset);
384   CODE:
385     RETVAL = dd_toke_move_past_token(aTHX_ offset);
386   OUTPUT:
387     RETVAL
388
389 int
390 toke_scan_str(int offset);
391   CODE:
392     RETVAL = dd_toke_scan_str(aTHX_ offset);
393   OUTPUT:
394     RETVAL
395
396 int
397 toke_skipspace(int offset)
398   CODE:
399     RETVAL = dd_toke_skipspace(aTHX_ offset);
400   OUTPUT:
401     RETVAL
402
403 int
404 get_in_declare()
405   CODE:
406     RETVAL = in_declare;
407   OUTPUT:
408     RETVAL
409
410 void
411 set_in_declare(int value)
412   CODE:
413     in_declare = value;