comparison place.h @ 157:95fbb216e23f

Make place_getname public, so that __FILE__ can use it.
author Joerg Sonnenberger <joerg@bec.de>
date Fri, 27 Feb 2015 00:21:31 +0100
parents 2b0b61fd1a36
children d6e6b3940780
comparison
equal deleted inserted replaced
151:ccfcf1da156b 157:95fbb216e23f
42 unsigned column; 42 unsigned column;
43 }; 43 };
44 44
45 void place_init(void); 45 void place_init(void);
46 void place_cleanup(void); 46 void place_cleanup(void);
47 const char *place_getname(const struct place *);
47 48
48 void place_setnowhere(struct place *p); 49 void place_setnowhere(struct place *p);
49 void place_setbuiltin(struct place *p, unsigned num); 50 void place_setbuiltin(struct place *p, unsigned num);
50 void place_setcommandline(struct place *p, unsigned word, unsigned column); 51 void place_setcommandline(struct place *p, unsigned word, unsigned column);
51 void place_setfilestart(struct place *p, const struct placefile *pf); 52 void place_setfilestart(struct place *p, const struct placefile *pf);