diff options
| -rw-r--r-- | db/c.lua | 55 | ||||
| -rw-r--r-- | db/posix.lua | 85 | ||||
| -rwxr-xr-x | headers.lua | 130 |
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 |