diff place.h @ 8:97243badae69

split place stuff to its own file
author David A. Holland
date Sun, 19 Dec 2010 19:15:55 -0500
parents
children 800f3a560a3b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/place.h	Sun Dec 19 19:15:55 2010 -0500
@@ -0,0 +1,18 @@
+struct place {
+	struct seenfile *file;
+	unsigned line;
+	unsigned column;
+};
+
+struct place *place_gettemporary(void);
+void place_puttemporary(struct place *p);
+struct place *place_create(void);
+struct place *place_clone(const struct place *p);
+void place_destroy(struct place *);
+void place_setnowhere(struct place *p);
+void place_setbuiltin(struct place *p, unsigned num);
+void place_setcommandline(struct place *p, unsigned column);
+
+/* in files.c */
+const char *seenfile_getname(const struct seenfile *file);
+const struct place *seenfile_getincludeplace(const struct seenfile *file);