プチコンmkIIのSDのファイル保存フォーマット

今日、半日で判った事をまとめる。

ファイルフォーマットは以下のようになっている

先頭の4バイトはプチコンのファイルであることを示すシグネチャ PX01
次の4バイトは37バイトから後ろのファイルのサイズ（リトルエンディアン）
13バイト目からの8バイトはファイル名
37バイト目から8バイトはプチコン(ファイルフォーマット)のバージョン プチコンはPETC0100、プチコンmkIIはPETC0300
次の4バイトはリソースの種類 プログラムはRPRG、スプライトのキャラクタはRCHR

ファイルフォーマットがPETC0100のプログラムファイルの場合、たぶん中間コード形式のまま保存している。

ファイルフォーマットがPETC0300のプログラムファイルの場合、プログラムの文字列の形式で保存されている。
57バイト目からの4バイトはプログラムのバイト数（リトルエンディアン）
61バイト目からプログラムが格納されている。
改行コードは0x0d

もしかしたらサイズは4バイトではなく2バイトかもしれない。

ファイルはたぶん4バイト単位で保存される。足りない場合にはパディングがはいる。

private/ds/app にたぶんひとによって名前が違うディレクトリがあってその下にファイルを保存する時に指定した名前のディレクトリがある。
その下に拡張子がPTCのファイルが保存される。
プログラムの場合RPRG000.PTCになる。

2012/03/20
PETCをＰＩＴＣと間違えていたのを修正

タグ：プチコン

プチコンmkII購入

コンビニでニンテンドープリペイドカードを購入。


ニンテンドーDSiショップのアイコンをタップする。


しばらく待つ。


[ショッピングへ]をタップする。


DSi Ware画面になる。
[DSiポイントの追加]をタップする。


[購入済みのニンテンドープリペイド番号をDSiポイントとして登録]をタップする。


ニンテンドープリペイドカードの裏面に記述されている番号を入力する。
[OK]をタップする。


[登録する]をタップする。


[OK]をタップする。

DSi Ware画面に戻る。
DSi Wareをタップする。


[プレミアム]をタップする。


左右の三角をクリックしてプチコンmkIIまで移動する。
[プチコンmkII]をタップする。


購入には800ポイント必要なことが表示される。
[購入]をタップする。


[はい]をタップする。


しばらく待つ。


[OK]をタップする。


[すすむ]をタップする。


[ひらく]をタップする。

タグ：プチコン