# Parser Functions

## Parser Functions

前述のように`parseSourceFile`は初期状態をセットアップし、それを`parseSourceFileWorker`関数に渡します。

### `parseSourceFileWorker`

最初に`SourceFile`ASTノードを作成します。次に、`parseStatements`関数から始まるソースコードを解析します。それが返ってくると、`nodeCount`、`identifierCount`などの追加情報を含む`SourceFile`ノードを完成させます。

### `parseStatements`

最も重要な`parseFoo`スタイルの関数の1つです(次に説明する概念です)。これは、Scannerから返された現在の`token`によって切り替えられます。例えば現在のトークンが `SemicolonToken`であれば`parseEmptyStatement`を呼び出して空文のASTノードを作成します。

## Nodeの作成

パーサには、`Foo`ノードを生成する`parserFoo`関数がたくさんあります。これらは一般的に`Foo`Nodeが期待される時点で(他のParser関数から)呼び出されます。このプロセスの典型的なサンプルは、`;;;;;;`のような空文をパースするために使われる`parseEmptyStatement()`関数です。以下にその関数の全体があります:

```typescript
function parseEmptyStatement(): Statement {
    let node = <Statement>createNode(SyntaxKind.EmptyStatement);
    parseExpected(SyntaxKind.SemicolonToken);
    return finishNode(node);
}
```

これは、3つの重要な関数`createNode`、`parseExpected`と`finishNode`を示しています。

### `createNode`

Parserの`createNode`関数`function createNode(kind: SyntaxKind, pos?: number): Node`はノードの作成、渡されたときの`SyntaxKind`のセットアップ、渡された場合の初期位置の設定(または、現在のスキャナの位置を使います)を行います。

### `parseExpected`

Parserの`parseExpected`関数`function parseExpected(kind: SyntaxKind, diagnosticMessage?: DiagnosticMessage): boolean`は、Parserの状態に含まれる現在のトークンが目的の`SyntaxKind`と一致することをチェックします。そうでなければ、送られた`diagnosticMessage`を報告するか、`foo expected`の形式の一般的なものを作成します。これは内部的に`parseErrorAtPosition`関数(スキャン位置を使用します)を使用して良いエラー報告を行います。

## `finishNode`

Parserの`finishNode`関数`function finishNode<T extends Node>(node: T, end?: number): T`はNodeの`end`位置や、`parserContextFlags`のように便利なモノを設定します。これは、このNodeを解析する前にエラーがあったとしても、同じようにパースされます(その場合、インクリメンタルパーシングでこのASTノードを再利用できません)。


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://typescript-jp.gitbook.io/deep-dive/overview/parser/parser-functions.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.