CbCにおけるコードセグメントのプロトタイプの自動生成

研究目的

当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案しており、その手法を用いてプログラミングを行う言語として"CbC"の開発を行っている。

CbCにおいてコードセグメントは処理の単位に相当し、データセグメントはその対象となるデータの単位となる。

データセグメントは C の構造体のように複数のデータ型の値を持つことができ、後から拡張することが可能である。また、構造を示すシグネチャを持ち、それを参照することで異なるバージョンのプログラム間でも正しく動作することが可能になる。

今週やったこと

• コードセグメントのプロトタイプ宣言を自動生成する手法の考案

前提条件

• プロトタイプ宣言の自動生成はコードセグメントに対してのみ行う。
• プロトタイプ宣言を自分で書くことも許す。
• 定義が見つからなかった場合は何もせず、エラー出力はclang/LLVMに任せる。

Plan A : 構文解析中にプロトタイプ宣言の自動生成を行う

1. プロトタイプ宣言のないコードセグメントへの継続を発見次第その定義を検索
2. 定義に基づいてプロトタイプ宣言の自動生成

利点

• プログラマが書いたプロトタイプ宣言との衝突を気にしなくて良い
• 引数に構造体を含む場合にその定義を気にしなくて良い

欠点

• 自動生成を行う度に全体を検索することになる