言語仕様 #

この文書はユーザー向け言語仕様である。厳密な言語仕様は別途開発ページの spec ディレクトリ内で定義するものとする。 NOTE(on-keyday): 現状、言語の開発速度に対して spec の整理は追いついていないので当てにならない可能性はある。それでも基本的な部分に関しては十分カバーしているであろう。

また、構文が存在することとジェネレーターによる生成ができることは同一ではないため、ジェネレーターの生成能力については Implementation Level を参照せよ。 TODO(on-keyday): 現状 Implementation Level は定義しきれていない。Issue を参照

設計思想 #

brgen(lang)は宣言的にバイナリフォーマットおよびそのエンコード・デコードルールを記述するための言語(DSL)である。 python のようなインデントベースの構文を採用している。これは、{}を排除することで見た目的に見やすくすることを意図している。基本は定義だけを宣言的に書けば自動で生成できるよう構文を開発するが、どう頑張っても宣言型では見づらい、わかりづらい部分、また、仮に書けたとして解析が難しかったり(これは作者の力量不足もあるのだが)、あるいは効率的にできない部分もあるため、データ保持形式とエンコード・デコードルールを別にする Custom フォーマットというものも導入する。カスタムフォーマットのエンコード・デコードルールは手続き型で記述される。

用語 #

構造体 - フォーマットからジェネレーターによって生成されたコードでエンコード/デコード用のデータを保持するもの。なお便宜上構造体としているだけで、ジェネレーターはデータを保持するなら任意の方法を使ってよく、さらにはデータを保持しないという選択も可能である。
エンコーダー - 構造体のデータをシリアライズする関数。brgen(lang)では出力オブジェクトと state 変数を入力にとり、任意の戻り値を返すとする。ジェネレーターは任意の方法でこれを実装できる。
デコーダー - 構造体のデータをデシリアライズする関数。brgen(lang)では入力オブジェクトと state 変数を入力にとり、任意の戻り値を返すとする。ジェネレーターは任意の方法でこれを実装できる。

フォーマット #

フォーマットは定義/エンコード/デコードの変換単位である。基本的にジェネレーターは 1 フォーマット 1 単位として変換を行う。以下はなんの定義、エンコード、デコードも行わないフォーマットである。

format A
  ..

ここで、..はなんのコードにも変換されない。python でいうところの pass ステートメントと同義である。これは以下のように変換される (以降の生成先コードは C++である。Buffer Overflow については考えない。ジェネレーターは実際には範囲チェックなどを行う処理を挿入すべきであり、以下のようなコードは脆弱性の原因となりうるので生成するべきではない。あくまで説明用である)

struct A {
    bool encode(byte*);
    bool decode(const byte*);
};

inline bool A::encode(byte* buf) const {
    return true;
}

inline bool A::decode(const byte* buf) {
    return true;
}

なお、前述の Custom フォーマットに対して、宣言的な定義のみで記述されたものを As-Is フォーマットと呼ぶ。

Custom フォーマットは以下のような形式である。

format Custom:
    fn encode():
       ..
    fn decode():
       ..

encode 関数と decode 関数を定義することで Custom フォーマットとなる。なお、どちらかしか定義しないということも可能であり、その場合は定義されなかった方は As-Is フォーマットと同じルールで解釈される。なお、これらの処理(encode/decode 関数)の対称性、一貫性についてはプログラマーの責任とする。これは、処理の一貫性を厳密に検証しようとすると停止性問題になってしまうため、解析によっては検証しきれないからである。 (もちろん一部のものについては静的コード解析を作り込めば検証可能であろうが、現時点では対応していない)

パディングは自動的には挿入されない。これは、この言語がプログラミング言語非依存であることを意図しているからである。他にもネットワークプロトコルなどパディングを不用意に入れてほしくないものを記述の主な対象にするためパディングは 0 でありしたがって C 言語の構造体との互換性をもたせるためには手動でパディングを入れる必要がある。

フィールド #

フィールドは定義/エンコード/デコードの最小単位である。 brgen(lang)では基本的にフィールドは定義/エンコード/デコードの処理に変換される。

例を示す。以下は単純な 32 ビット符号なし整数型のフォーマットである。

format A
  data :u32

この例では data というフィールドを定義している以上は以下のように変換される

struct A {
    uint32_t data;
    bool encode(byte*)const;
    bool decode(const byte*);
};

inline bool A::encode(byte* buf) const {
    *buf = (data >> 24) & 0xff;
    buf++;
    *buf = (data >> 16) & 0xff;
    buf++;
    *buf = (data >> 8) & 0xff;
    buf++;
    *buf = data & 0xff;
    return true;
}

inline bool A::decode(const byte* buf) {
    data = (uint32_t(*buf) << 24);
    buf++;
    data |= (uint32_t(*buf) << 16);
    buf++;
    data |= (uint32_t(*buf) << 8);
    buf++;
    data |= uint32_t(*buf);
    return true;
}

なお、型でエンディアンを明確に指定しなかった場合のデフォルトのエンディアンはビッグエンディアンとする。 (もちろん、コマンドラインフラグなどでデフォルトをリトルエンディアンなどに変更できるようにしても良いがこれはオプションである) もし、エンディアンを明確に指定したい場合ub32やul32というように、uの後にb(ビッグエンディアン)かl(リトルエンディアン)をつけることで指定することができる。また、動的にデフォルトのエンディアンを変更する構文もある (これはたとえば ELF など先頭のデータによってエンディアンが変わりうるときに使用できるだろう)

型 #

brgen(lang)の型は以下のようなものがある。

整数型 #

整数型は以下の 2 種類がある。

sN # 符号あり整数型
uN # 符号なし整数型

N には任意のビット数(自然数,N>0)が入る。つまり、u1やu24、u120といった 8*2^n(n>=0)ビットでないものでもよい

配列型 #

配列型は以下の通りである

[length]type

これは As-Is フォーマットでは要素数 length の type 型の配列を表す。 length が静的に決定可能ならば(厳密には加えて type が固定長をもつとき)固定長配列として扱われ、そうでない場合は length 長の動的配列として解釈される。 Custom フォーマットでは length が静的に決定可能ならば As-Is フォーマットと同じ、そうでないならば length は無視され、任意長の動的配列として解釈される。

以下に例を示す

format A:
    len_minus_1 :u32
    data :[len_minus_1 + 1]u8
    suffix: [3]u8

これは、要素数 len_minus_1 + 1 の符号なし 8bit 整数型の配列として解釈される。

これは以下のように生成されうる

struct A {
    uint32_t len_minus_1;
    uint8_t* data;
    uint8_t suffix[3];
    bool encode(byte*)const;
    bool decode(const byte*);
};

inline bool A::encode(byte* buf) const {
    *buf = (len_minus_1 >> 24) & 0xff;
    buf++;
    *buf = (len_minus_1 >> 16) & 0xff;
    buf++;
    *buf = (len_minus_1 >> 8) & 0xff;
    buf++;
    *buf = len_minus_1 & 0xff;
    for(auto i=0;i<(len_minus_1+1);i++){
        *buf = data[i];
        buf++;
    }
    for(auto i=0;i<3;i++) {
        *buf = suffix[i];
        buf++;
    }
    return true;
}

inline bool A::decode(const byte* buf) {
    len_minus_1 = (uint32_t(*buf) << 24);
    buf++;
    len_minus_1 |= (uint32_t(*buf) << 16);
    buf++;
    len_minus_1 |= (uint32_t(*buf) << 8);
    buf++;
    len_minus_1 |= uint32_t(*buf);
    data = malloc(sizeof(data[0](len_minus_1 + 1)));
    for(auto i=0;i<(len_minus_1+1);i++) {
        data[i] = *buf;
        buf++;
    }
    for(auto i=0;i<3;i++) {
        suffix[i] = *buf;
        buf++;
    }
    return true;
}

なおこの例では各要素に対して for ループで回しているが、ジェネレーターは意味を変えない範囲で最適化をしてもよい。例えばこの場合は、memcpy などの関数を使うように書き換えてもよい。また、定義ファイルパーサーに固定長配列と判定される場合でも配列が大きすぎてスタックオーバーフローになりかねないなどの場合には、動的配列として実装しても良い。ただし、長さ整合性は保証すべきである。

固定バイト列型(文字列) #

型部分に文字列を指定することで固定バイト列型を表現できる。

format A:
   magic :"magic"

ジェネレーターは、magic フィールドを実際の構造体の変数としてもよいし、“magic"を読み込む/書き込む処理のみ入れて構造体側には反映しないとしてもよい。また、文字列型は以下のように使うことであるバイト列で終端していることを示すことができる

format A:
    data :[..]u8
    :"\0"

この場合、data は null 終端文字列(終端文字は含まない)のように扱われる。エンコーダー側は data をエンコードするとき、その中に終端を示す文字列が存在しないことを検証するべきである。

ステート #

ステート変数を用いることでフォーマット間で状態を受け渡すことが可能になる。

state RunningStatus:
    type :u8

running_status :RunningStatus

format A:
    type :u8
    if type == 0:
        type = running_status.type
    running_status.type = type
    data :Data

format Data:
    match running_status.type:
        1  => data :[..]u8
        .. => ..

制御構文 #

if #

format VarInt:
    prefix :u2
    if prefix == 1:
        data :u6
    elif prefix == 2:
        data :u30
    else:
        data :u14

このように条件分岐を書くことで条件によってフィールドを変更することができる。なお、brgen はこれを自動で処理して union に変換する

match #

format VarInt2:
    prefix :u2
    match prefix:
       0 => data :u6
       1 => data :u14
       2 => data :u30
       3 => data :u62

if 文と同様に match 文もある。

format X:
    len :u8
    match len:
        0: # `=>`の代わりに `:`とすると複数の文を書ける
          data :[..]u8
          :"\0"
        .. => data :[len]u8

なお match 文の条件の最後に..を指定するとどの条件にも当てはまらなかった場合の処理が書くことができる。

match と if には exhaustive(bool) という属性がついている。これは条件を網羅しているかを静的に検査して判定している。なお、このチェックは完全でないため、人間の目には網羅していても brgen(lang)のパーサーは網羅していないと判定する可能性もある。もし、確実に網羅していることを保証したい場合は、if の場合は else を、match の場合は..をそれぞれ書くと exhaustive 属性が true となる。

for #

本言語は Go 言語のごとく全ループ構文をforでまかなっている

for: # 無限ループ
   x :u8

x := random()
for x != 0: # 条件付きループ(while文相当)
    x = random()

for x := random(); x != 0: # 初期化&条件付きループ
    x = random()

for x := random(); x != 0; x = random(): # forループ(基本形)
   ..

for x := random();;x = random(): #　条件抜き(初期化抜きや更新抜き、全抜き(`;;`)も可)
   if x == 0:
      break # breakやcontinueあり

for x in 10: # 範囲ループ (0から9まで)
　　if x == 9:
        break
　  # これは不可(xはimmutable)
    # x = 0

for x in 1..10: # 範囲ループ (1から9まで) (`..=`も使える)
　　if x == 9:
        break

for x in "HELLO": # 範囲ループ(各文字について)
   ..

array :[]u8
for x in array: # 範囲ループ(各要素について)
   x = 0 # arrayの場合はarrayが変更可能であれば変更可能でその場合xに代入された値はarrayに反映される