summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--db/c.lua55
-rw-r--r--db/posix.lua85
-rwxr-xr-xheaders.lua130
3 files changed, 270 insertions, 0 deletions
diff --git a/db/c.lua b/db/c.lua
new file mode 100644
index 0000000..adc6bd7
--- /dev/null
+++ b/db/c.lua
@@ -0,0 +1,55 @@
+aliases "ISO/IEC 9899:1990" {"ANSI X3.159-1989", "C89", "C90", "ANSI C"}
+aliases "ISO/IEC 9899:1990/Amd 1:1995" {"C95"}
+aliases "ISO/IEC 9899:1999" {"C99"}
+aliases "ISO/IEC 9899:2011" {"C11"}
+aliases "ISO/IEC 9899:2018" {"C17"}
+aliases "ISO/IEC 9899:2024" {"C23", "C"}
+headers "C89" {
+ "assert.h",
+ "ctype.h",
+ "errno.h",
+ "float.h",
+ "limits.h",
+ "locale.h",
+ "math.h",
+ "setjmp.h",
+ "signal.h",
+ "stdarg.h",
+ "stddef.h",
+ "stdio.h",
+ "stdlib.h",
+ "string.h",
+ "time.h",
+}
+headers "C95" {
+ include "C89",
+ "iso646.h",
+ "wchar.h",
+ "wctype.h",
+}
+headers "C99" {
+ include "C95",
+ "complex.h",
+ "fenv.h",
+ "inttypes.h",
+ "stdbool.h",
+ "stdint.h",
+ "tgmath.h",
+}
+headers "C11" {
+ include "C99",
+ "stdalign.h",
+ "stdatomic.h",
+ "stdnoreturn.h",
+ "threads.h",
+ "uchar.h",
+}
+headers "C17" {
+ include "C11",
+}
+headers "C23" {
+ include "C17",
+ -- remove "stdnoreturn.h", -- deprecated
+ "stdbit.h",
+ "stdckdint.h",
+}
diff --git a/db/posix.lua b/db/posix.lua
new file mode 100644
index 0000000..3757a7d
--- /dev/null
+++ b/db/posix.lua
@@ -0,0 +1,85 @@
+aliases "IEEE Std 1003.1-2008" {"POSIX"}
+headers "POSIX" {
+ "aio.h",
+ "arpa/inet.h",
+ "assert.h",
+ "complex.h",
+ "cpio.h",
+ "ctype.h",
+ "dirent.h",
+ "dlfcn.h",
+ "errno.h",
+ "fcntl.h",
+ "fenv.h",
+ "float.h",
+ "fmtmsg.h",
+ "fnmatch.h",
+ "ftw.h",
+ "glob.h",
+ "grp.h",
+ "iconv.h",
+ "inttypes.h",
+ "iso646.h",
+ "langinfo.h",
+ "libgen.h",
+ "limits.h",
+ "locale.h",
+ "math.h",
+ "monetary.h",
+ "mqueue.h",
+ "ndbm.h",
+ "net/if.h",
+ "netdb.h",
+ "netinet/in.h",
+ "netinet/tcp.h",
+ "nl_types.h",
+ "poll.h",
+ "pthread.h",
+ "pwd.h",
+ "regex.h",
+ "sched.h",
+ "search.h",
+ "semaphore.h",
+ "setjmp.h",
+ "signal.h",
+ "spawn.h",
+ "stdarg.h",
+ "stdbool.h",
+ "stddef.h",
+ "stdint.h",
+ "stdio.h",
+ "stdlib.h",
+ "string.h",
+ "strings.h",
+ "stropts.h",
+ "sys/ipc.h",
+ "sys/mman.h",
+ "sys/msg.h",
+ "sys/resource.h",
+ "sys/select.h",
+ "sys/sem.h",
+ "sys/shm.h",
+ "sys/socket.h",
+ "sys/stat.h",
+ "sys/statvfs.h",
+ "sys/time.h",
+ "sys/times.h",
+ "sys/types.h",
+ "sys/uio.h",
+ "sys/un.h",
+ "sys/utsname.h",
+ "sys/wait.h",
+ "syslog.h",
+ "tar.h",
+ "termios.h",
+ "tgmath.h",
+ "time.h",
+ "trace.h",
+ "ulimit.h",
+ "unistd.h",
+ "utime.h",
+ "utmpx.h",
+ "wchar.h",
+ "wctype.h",
+ "wordexp.h",
+}
diff --git a/headers.lua b/headers.lua
new file mode 100755
index 0000000..13d98a9
--- /dev/null
+++ b/headers.lua
@@ -0,0 +1,130 @@
+#!/usr/bin/env lua
+--- For example:
+---
+--- $ ./headers.lua db/c.lua C23
+--- assert.h
+--- ctype.h
+--- ...
+local public = {}
+local private = {}
+private.tags = {}
+private.tags_lookup = {}
+private.headers = {}
+
+
+local tag do
+ local methods = {}
+ function methods:add (header)
+ table.insert(self.headers_, header)
+ end
+ local function headers (self)
+ local result = {}
+ for _, value in pairs(self.headers_) do
+ if type(value) == "function" then
+ value(result)
+ else
+ table.insert(result, value)
+ end
+ end
+ return result
+ end
+ local mt = {
+ __tostring=function (self) return self.name end,
+ __index=function (self, key)
+ if key == "headers" then
+ return headers(self)
+ end
+ return methods[key]
+ end,
+ }
+ function tag (name)
+ return setmetatable({name=name, headers_={}}, mt)
+ end
+end
+
+
+local alias do
+ local mt = {
+ __tostring = function (self) return string.format("%s (%s)", self.name, tostring(self.tag)) end,
+ __index = function (self, key) return self.tag[key] end,
+ }
+ function alias (name, tag)
+ return setmetatable({name=name, tag=tag}, mt)
+ end
+end
+
+
+local function include (source)
+ return function (target)
+ for _, header in pairs(source.headers) do
+ table.insert(target, header)
+ end
+ end
+end
+
+
+local function remove (header)
+ return function (target)
+ for key, value in pairs(target) do
+ if value == header then
+ table.remove(target, key)
+ end
+ end
+ end
+end
+
+
+local function get_or_create_tag (name)
+ local found = private.tags_lookup[name]
+ if not found then
+ found = tag(name)
+ table.insert(private.tags, found)
+ private.tags_lookup[name] = found
+ end
+ return found
+end
+
+
+function public.aliases (name)
+ local tag = get_or_create_tag(name)
+ return function (aliases)
+ for _, name in pairs(aliases) do
+ private.tags_lookup[name] = alias(name, tag)
+ end
+ end
+end
+
+
+function public.headers (name)
+ local tag = get_or_create_tag(name)
+ return function (filenames)
+ for _, header in pairs(filenames) do
+ tag:add(header)
+ end
+ end
+end
+
+
+function public.include (tag)
+ tag = private.tags_lookup[tag] or error("invalid tag: " .. tag, 2)
+ return include(tag)
+end
+
+
+function public.remove (header)
+ return remove(header)
+end
+
+
+local db = loadfile(arg[1], nil, public)
+db()
+if arg[2] then
+ local tag = private.tags_lookup[arg[2]]
+ for _, header in pairs(tag.headers) do
+ print(header)
+ end
+else
+ for _, tag in pairs(private.tags_lookup) do
+ print(tag)
+ end
+end