apigen

KO | EN

gitlite — search

#javascript #llm #go #android #machine-learning #rust #deep-learning #macos #cli #kubernetes #awesome-list #pytorch #ios #open-source

(★ 16)

Generate cross-language API definitions from a definite source of truth

apigen 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# APIGEN - API Definition Language

APIGEN provides tooling to create a single-source-of-truth API definition and generate bindings and implementation stubs from it.

The project goal is that developers don't have to maintain the guts of library wrappers anymore and provide a precise way to declare APIs:

```zig
type apigen_TypeId = enum {
    apigen_typeid_void,
    apigen_typeid_anyopaque,
    apigen_typeid_opaque,

// ...
};

type apigen_Type = struct {
  /// What kind of type is this type.
  id: apigen_TypeId,

/// Points to extra information to interpret this type.
  extra: ?*anyopaque,

/// Non-NULL if the type has was explicitly declared with a name. Otherwise, this type is anonymous
  name: ?[*:0]const char,
};

type apigen_MemoryArenaChunk = opaque{};

type apigen_MemoryArena = struct {
  first_chunk: ?*apigen_MemoryArenaChunk,
  last_chunk: ?*apigen_MemoryArenaChunk,
  chunk_size: usize,
};

fn apigen_memory_arena_init(arena: *apigen_MemoryArena) void;
fn apigen_memory_arena_deinit(arena: *apigen_MemoryArena) void;
```

## Backends

- [x] C
- [ ] C++
- [x] Zig
- [ ] Rust
- [ ] C#
- [ ] Lua (via [luaffi](https://github.com/jmckaskill/luaffi) or [luajit](http://luajit.org/ext_ffi.html))
- [ ] Python (via [CFFI](https://cffi.readthedocs.io/en/latest/index.html))
- [ ] Go (might not be possible, just go through C headers)
- [ ] HTML documentation
- [ ] [Windows ImpLib](https://learn.microsoft.com/en-us/cpp/build/reference/implib-name-import-library)

## Missing language features

- [ ] Field alignment
- [ ] Pointer alignment
- [ ] Macro/inline function support
- [ ] Implementation stub generator
- [ ] Packed structs
- [ ] Bitfield generation (Zig: `packed struct`, C: int + macro helpers, Rust: ???)
- [ ] Namespaces
- [ ] Calling convention support
- [ ] Include files / structuring

## apigen Language

The following docs use `T` as a placeholder for arbitrary other types, `N` is used as a placeholder for a natural number. `I` is used for arbitrary integers.

### Overview

```zig

// include declarations from another file as well, path is always relative, uses / for file separation.
include "other/folder/code.api";

/// documentation comment for the following thing:
type MyTypeName = T;

// regular comment doesn't document things!

var   errno: c_int; // declares an external, mutable variable
const errno: c_int; // declares an external, immutable variable

constexpr pi: f32 = 10; // declares a global, api-wide constant value

// external functions can be defined like this:
fn square(I: i32) i32;

// documentation can be applied to everything that declares something:

/// Error type
type E = enum {
    /// no error happened
    ok,

/// an allocation failed
    out_of_memory,
};

/// A position in the 2D plane
type Point = struct {
    /// horizontal distance to the origin
    x: f32,
    /// vertical distance to the origin
    y: f32,
};

/// Creates a new window
fn CreateWindow(
    /// The window title that is displayed in the bar above the content
    title: [*:0]const u8,
    /// Width of the content in pixels
    width: u32,
    /// Width of the content in pixels
    height: u32,
);

```

### tl;dr

- Syntax like zig, but top level declarations differ
- Trailing commas are legal, but not required
- Doc comments have semantic meanings, regular comments don't.

### Type System

The following table contains a short description of all available type constructs:

| Syntax          | Description                                                           | Range                |
| --------------- | --------------------------------------------------------------------- | -------------------- |
| `void`          | Return type of a function that returns nothing.                       |                      |
| `bool`          | A boolean type.                                                       | `false` or `true`    |
| `u8`            | unsigned int, 8 bit                                                   | 0 … 2⁸-1             |
| `u16`           | unsigned int, 16 bit                                                  | 0 … 2¹⁶-1            |
| `u32`           | unsigned int, 32 bit                                                  | 0 … 2³²-1            |
| `u64`           | unsigned int, 64 bit                                                  | 0 … 2⁶⁴-1            |
| `usize`         | unsigned int, pointer width                                           | _platform dependent_ |
| `i8`            | signed int, 8 bit                                                     | -2⁷ … 2⁷-1           |
| `i16`           | signed int, 16 bit                                                    | -2¹⁵ … 2¹⁵-1         |
| `i32`           | signed int, 32 bit                                                    | -2³¹ … 2³¹-1         |
| `i64`           | signed int, 64 bit                                                    | -2⁶³ … 2⁶³-1         |
| `isize`         | signed int, pointer width                                             | _platform dependent_ |
| `f32`           | The `binary32` floating point type defined by IEEE 754                |                      |
| `f64`           | The `binary64` floating point type defined by IEEE 754                |                      |
| `*T`            | non-nullable pointer to a single mutable `T`                          |                      |
| `[*]T`          | non-nullable pointer to many mutable `T`s                             |                      |
| `[*:N]T`        | non-nullable pointer to many mutable `T`s terminated by `N`           |                      |
| `*const T`      | non-nullable pointer to a single constant `T`                         |                      |
| `[*]const T`    | non-nullable pointer to many constant `T`s                            |                      |
| `[*:N]const T`  | non-nullable pointer to many constant `T`s terminated by `N`          |                      |
| `?*T`           | nullable pointer to a single mutable `T`                              |                      |
| `?[*]T`         | nullable pointer to many mutable `T`s                                 |                      |
| `?[*:N]T`       | nullable pointer to many mutable `T`s terminated by `N`               |                      |
| `?*const T`     | nullable pointer to a single constant `T`                             |                      |
| `?[*]const T`   | nullable pointer to many constant `T`s                                |                      |
| `?[*:N]const T` | nullable pointer to many constant `T`s terminated by `N`              |                      |
| `[N]T`          | array of `N` consecutive `T`s.                                        |                      |
| `struct { … }`  | A composite structure of several types. _See below_                   |                      |
| `union { … }`   | An alias structure of several types. _See below_                      |                      |
| `enum { … }`    | An automatically typed list of named values. _See below_              |                      |
| `enum(T) { … }` | A list of named values of type `T`. _See below_                       |                      |
| `opaque { }`    | A specific type defined elsewhere, but can be pointed to. _See below_ |                      |
| `anyopaque`     | A unspecified type defined elsewhere, but can be pointed to.          |                      |
| `c_char`        | The equivalent to the C type `char`                                   | 0 … 127              |
| `c_uchar`       | The equivalent to the C type `unsigned char`                          | 0 … 255              |
| `c_ichar`       | The equivalent to the C type `signed char`                            | -128 … 127           |
| `c_short`       | The equivalent to the C type `short`                                  | _platform dependent_ |
| `c_ushort`      | The equivalent to the C type `unsigned short`                         | _platform dependent_ |
| `c_int`         | The equivalent to the C type `int`                                    | _platform dependent_ |
| `c_uint`        | The equivalent to the C type `unsigned int`                           | _platform dependent_ |
| `c_long`        | The equivalent to the C type `long`                                   | _platform dependent_ |
| `c_ulong`       | The equivalent to the C type `unsigned long`                          | _platform dependent_ |
| `c_longlong`    | The equivalent to the C type `long long`                              | _platform dependent_ |
| `c_ulonglong`   | The equivalent to the C type `unsigned long long`                     | _platform dependent_ |

#### `struct { … }`

```zig
struct {
    field_1: T,
    field_2: T,
    …
}
```

A structure is a composite of several types, each layed out in seqeuence next to each other in memory, with respect to natural alignment.

#### `union { … }`

```zig
union {
    field_1: T,
    field_2: T,
    …
}
```

A union is declared syntacially similar to a struct, but all fields occupy the same memory address and only one field can be active at a time.

#### `enum { … }`

```zig
enum {
    item_1 = I,
    item_2 = I,
    item_3 = I,
    …
}
```

An enumeration is a type that only allows an exclusive set of named items. Each items has an integer value assigned to it.

An enumeration is stored in an integer that can store all item values and is selected automatically by the system.

#### `enum(T) { … }`

```zig
enum(T) {
    item_1 = I,
    item_2 = I,
    item_3 = I,
    …
}
```

Similar to a regular enum, but the backing integer is explicitly given instead of being deduced by the system.

#### `opaque { }`

This is an opaque type (like `anyopaque`) which is only legal to be used in pointers. It has no specified size, and
cannot be instantiated, but might be implemented by external means.

With this, types can be implementation-defined and hidden from the API surface.

## Building

### Dependencies

- [`zig`](https://ziglang.org/download/), at least 0.11.0-dev.3258 or later
- [`flex`](https://github.com/westes/flex), at least version 2.6.4 (shipped with package manager)
- [`bison`](https://www.gnu.org/software/bison/), at least version 3.8.2

### Build Commands

### Build

```sh-session
user@host:~/apigen$ zig build install
user@host:~/apigen$
```

will output `zig-out/bin/apigen`

### Tests

```sh-session
user@host:~/apigen$ zig build test
user@host:~/apigen$
```

will run the test suite and outputs the failed tests, if any.

This may take a while as a lot of variants are tested.

### Generate sources

```sh-session
user@host:~/apigen$ zig build generate
user@host:~/apigen$ tree zig-out
zig-out
├── include
│   ├── lexer.h
│   └── parser.h
└── src
    └── parser
        ├── lexer.yy.c
        └── parser.yy.c
user@host:~/apigen$
```

This will generate the headers and sources for the lexer and parser if the application should be bundled.

After that, `apigen` can also be built with any other C compiler, for example with gcc:

```sh-session
user@host:~/apigen$ gcc -o apigen -std=c11 -I include -I src -I zig-out/include src/*.c src/gen/*.c src/parser/*.c zig-out/src/parser/*.c
user@host:~/apigen$
```

This is especially useful if you want to vendor `apigen` with your project to not introduce a dependency to `zig`, `bison` or `flex`.

There is also a convenience function to bundle all sources:

```sh-session
user@host:~/apigen$ zig build bundle
user@host:~/apigen$ tree zig-out
zig-out/
├── include
│   ├── lexer.yy.h
│   └── parser.yy.h
└── src
    ├── analyzer.c
    ├── apigen.c
    ├── base.c
    ├── diag.c
    ├── gen
    │   ├── c_cpp.c
    │   ├── go.c
    │   ├── rust.c
    │   └── zig.c
    ├── io.c
    ├── memory.c
    ├── parser
    │   ├── lexer.yy.c
    │   ├── parser.c
    │   └── parser.yy.c
    └── type-pool.c
user@host:~/apigen$
```

After that, `apigen` can be built with:

```sh-session
user@host:~/apigen$ gcc -o apigen zig-out/src/*.c zig-out/src/gen/*.c zig-out/src/parser/*.c -I zig-out/include -I zig-out/src
user@host:~/apigen$
```

## FAQ

### Why write in in C when there is Zig already a dependency?

This reason is quite simple: It allows other projects to vendor a distribution
of `apigen` without the Zig build stuff. The whole thing is designed to be compiled with a `gcc src/*.c` invocation after the parser and lexer have been generated.

This makes it really easy to vendor everything.

apigen

apigen 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

apigen

apigen 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README