nomを使用して先読みが必要なテキストを解析する

Question

tl; dr：私はnomを使用して先読みを必要とする文書パーサーの例やドキュメントを見つけるのに苦労しています。

ロングバージョン

私は6502アセンブリを解析するためにNOMを使用しています。私は、さまざまなアドレッシングモードを解析できるパーサを作成することに苦労しています。 XXXは3文字のニーモニックであるとAMがオペランドである

XXX AM

：任意の所与のオペコードは、次の形式を持っています。オペランドは多くの形式をとることができ、「アドレッシングモード」と呼ばれます。私は、オペランドの列挙型、アドレッシングモードの列挙型、およびこれらの値を含むタプル構造体OpCodeを定義しました。これは最終的に解析時に返される結果です。

アドレッシングモードは完全に省略することができます。この場合、アドレッシングモードはImpliedです。リテラル値はAで、これはAccumulatorアドレッシングモードです。

アドレッシングモードの多くはメモリ位置を参照しています。これらのアドレッシングモードは解析するのに苦労しています。特に、アドレッシングモードが$00の形式で単一バイトを指定する場合、それはZeroPageアドレッシングモードであり、$0000の形式の2バイトを指定するオペランドはAbsoluteアドレッシングモードです。問題を複雑にし、$00,Xの形でこれらのアドレッシングモードのインデックス化変異体、$00,Y、$0000,Xなど

があり、そのすべての開始値を解析するために正しい方法を示します既存のテキストパーサのいずれかの良い例があります同様に（​​）、どのようにそれらが終わるかによって区別されますか？ nomのドキュメントはあまり包括的ではありません。私が見つけた最良の例はINIパーサです。これは達成しようとしているほど複雑なことをしていません。私もsynソースコードを見てきましたが、それはカスタムマクロをたくさん使用しており、かなり複雑な獣ですから、学ぶのは難しいです。

Answer 1

これを行う方法の1つは、alt!()マクロです。

アイデアには、それぞれの選択肢を順番に試すパーサがあります。だから、あなたはすでに個別アドレッシングモードのそれぞれについて、パーサを持っている場合、あなたがそれらのいずれかのためのパーサにそれらを組み合わせることができます。

// The sub-parsers all return Operand too. 
named!(parse_operand<&str, Operand>, 
    alt!(parse_absolute_indexed | 
     parse_absolute | 
     parse_zeropage_indexed | 
     parse_zeropage | 
     parse_implied)); 

いくつかの注意：

• 順序が重要であるかもしれません。私はparse_absolute_indexedの後にparse_absoluteを置いた。前者はオペランドの最初の部分と一致し、早すぎるので返す。
• バリアントは、各サブパーサーにマッチする行末（該当する場合はコメントを含む）を含めることです。その後、早い段階で一致することはできませんでした。
• 改行などのパターンを終了するバイト/文字なしで入力の最後まで解析する場合は、alt!()の代わりにalt_complete!()を使用する必要があります。その理由は、ADD $00と一致させると、ADD $0000と一致する可能性のあるパーサは、より多くの入力が到着した場合でも一致すると仮定しなければならず、alt!()は次のケ​​ースにスキップしません。 alt_complete!()を使用するか、complete!()に内部マッチャをラップすると、不完全なマッチは不一致であると言われます。

パーサが非常に複雑された場合、それは例えば由緒あるyaccによって生成されたパーサに比べて（順番に解析し、それぞれをしようとして）、余分な仕事をしている意味するかもしれませんが、私はそれが、この場合の問題だとは思いません。