MML構文解析処理を追加

1 files changed, 283 insertions, 0 deletions

diff --git a/src/mml_composemusic_mcp/semantic_ppmck.py b/src/mml_composemusic_mcp/semantic_ppmck.py
new file mode 100644
index 0000000..b4393c0
--- /dev/null
+++ b/src/mml_composemusic_mcp/semantic_ppmck.py
@@ -0,0 +1,283 @@
+"""PPMCK semantic analyzer: AST -> NoteSequence IR."""
+
+
+from .ast_nodes import (
+    DutyStmt,
+    EnvelopeDefStmt,
+    ExtCmdStmt,
+    GateTimeStmt,
+    LengthStmt,
+    NoteStmt,
+    OctaveStmt,
+    Program,
+    RepeatEndStmt,
+    RepeatStartStmt,
+    RestStmt,
+    SweepStmt,
+    TempoStmt,
+    TieStmt,
+    Track,
+    VolumeStmt,
+)
+from .ir import (
+    DutyEvent,
+    ErrorCode,
+    ErrorDetail,
+    NoteEvent,
+    NoteSequence,
+    RepeatEvent,
+    RestEvent,
+    TempoEvent,
+    VolumeEvent,
+)
+from .parser_base import clamp, length_value_to_ticks, note_to_midi
+from .semantic_base import SemanticAnalyzer
+
+PULSE_CHANNELS = {"Pulse1", "Pulse2"}
+
+
+class PpmckSemanticAnalyzer(SemanticAnalyzer):
+    def __init__(self, source: str, program: Program) -> None:
+        super().__init__(source, program)
+        self.loop_start: int | None = None
+
+    def analyze(self) -> tuple[NoteSequence, list[ErrorDetail]]:
+        ns, errors = super().analyze()
+        if self.loop_start is not None:
+            max_tick = max(
+                ch.total_ticks for ch in ns.channels.values()
+            )
+            for ch in ns.channels.values():
+                ch.events.append(
+                    RepeatEvent(
+                        start_tick=self.loop_start,
+                        end_tick=max_tick,
+                        repeat_count=0,
+                    )
+                )
+            # Recompute total_ticks after adding loop events
+            for ch in ns.channels.values():
+                ch.total_ticks = max(
+                    (e.tick_position + getattr(e, "duration", 0) for e in ch.events),
+                    default=0,
+                )
+        return ns, errors
+
+    def _reset_state(self, track: Track) -> None:
+        self.octave = 4
+        self.default_length = 4
+        self.velocity = 15
+        self.gate_time = 1.0
+        self.duty = 2
+        self.tick_position = 0
+
+    def _analyze_track(self, track: Track) -> None:
+        if track.channel == "Loop":
+            self.loop_start = 0
+            return
+        super()._analyze_track(track)
+
+    def _analyze_note(self, stmt: NoteStmt) -> None:
+        ticks = self._ticks_for(stmt)
+        midi = note_to_midi(stmt.note_name, self.octave, stmt.accidental)
+        if self.current_channel == "Noise":
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_CHANNEL_MISMATCH,
+                line=stmt.line,
+                column=stmt.column,
+                message="チャンネル 'Noise' で音高指定は使用できません。",
+                severity="warning",
+                hint="Noiseチャンネルでは音高ではなく音長と音量のみ指定してください。",
+                context=self._context_line(stmt),
+            )
+            midi = 0
+        if not 0 <= midi <= 127:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_NOTE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"音高が範囲外です（MIDI音番号 {midi}）。",
+                severity="warning",
+                hint="オクターブを調整してください。有効範囲: o0〜o7。",
+                context=self._context_line(stmt),
+            )
+            midi = clamp(midi, 0, 127)
+        event = NoteEvent(
+            tick_position=self.tick_position,
+            duration=ticks,
+            note_number=midi,
+            velocity=self.velocity,
+            duty=self.duty,
+            gate_time=self.gate_time,
+        )
+        self._add_event(event)
+        self.tick_position += ticks
+
+    def _analyze_rest(self, stmt: RestStmt) -> None:
+        ticks = self._ticks_for(stmt)
+        event = RestEvent(tick_position=self.tick_position, duration=ticks)
+        self._add_event(event)
+        self.tick_position += ticks
+
+    def _analyze_octave(self, stmt: OctaveStmt) -> None:
+        if stmt.direction == "up":
+            if self.octave < 7:
+                self.octave += 1
+            return
+        if stmt.direction == "down":
+            if self.octave > 0:
+                self.octave -= 1
+            return
+        if stmt.value is None:
+            return
+        if not 0 <= stmt.value <= 7:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_VALUE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"'o' の値 {stmt.value} は範囲外です。有効範囲: 0〜7。",
+                severity="error",
+                hint="例: o4 のように指定してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        self.octave = stmt.value
+
+    def _analyze_length(self, stmt: LengthStmt) -> None:
+        if not 1 <= stmt.value <= 192:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_VALUE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"'l' の値 {stmt.value} は範囲外です。有効範囲: 1〜192。",
+                severity="error",
+                hint="例: l8 のように指定してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        self.default_length = stmt.value
+
+    def _analyze_volume(self, stmt: VolumeStmt) -> None:
+        if self.current_channel == "Triangle":
+            # Silently ignored per spec
+            return
+        if not 0 <= stmt.value <= 15:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_VALUE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"'v' の値 {stmt.value} は範囲外です。有効範囲: 0〜15。",
+                severity="error",
+                hint="例: v15 のように指定してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        self.velocity = stmt.value
+        self._add_event(VolumeEvent(tick_position=self.tick_position, value=stmt.value))
+
+    def _analyze_duty(self, stmt: DutyStmt) -> None:
+        if self.current_channel not in PULSE_CHANNELS:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_CHANNEL_MISMATCH,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"チャンネル '{self.current_channel}' で 'q' は使用できません。",
+                severity="warning",
+                hint="Triangleチャンネルはデューティ比を持ちません。q コマンドを削除してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        if not 0 <= stmt.value <= 3:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_VALUE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"'q' の値 {stmt.value} は範囲外です。有効範囲: 0〜3。",
+                severity="error",
+                hint="例: q2 のように指定してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        self.duty = stmt.value
+        self._add_event(DutyEvent(tick_position=self.tick_position, value=stmt.value))
+
+    def _analyze_tempo(self, stmt: TempoStmt) -> None:
+        if stmt.value < 1:
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_VALUE_OUT_OF_RANGE,
+                line=stmt.line,
+                column=stmt.column,
+                message=f"'t' の値 {stmt.value} は範囲外です。有効範囲: 1以上。",
+                severity="error",
+                hint="例: t150 のように指定してください。",
+                context=self._context_line(stmt),
+            )
+            return
+        self.note_sequence.bpm = stmt.value
+        self._add_event(TempoEvent(tick_position=self.tick_position, bpm=stmt.value))
+
+    def _analyze_gate_time(self, stmt: GateTimeStmt) -> None:
+        # ppmck does not support gate time
+        self._analyze_stage2(stmt)
+
+    def _analyze_tie(self, stmt: TieStmt) -> None:
+        if stmt.target is None:
+            return
+        if isinstance(stmt.target, int):
+            ticks = length_value_to_ticks(stmt.target, 0)
+            self._extend_last_note(ticks)
+            self.tick_position += ticks
+            return
+        if isinstance(stmt.target, NoteStmt):
+            target_ticks = self._ticks_for(stmt.target)
+            self._extend_last_note(target_ticks)
+            self.tick_position += target_ticks
+            return
+        if isinstance(stmt.target, RestStmt):
+            target_ticks = self._ticks_for(stmt.target)
+            self._extend_last_note(target_ticks)
+            self.tick_position += target_ticks
+            return
+
+    def _analyze_repeat_start(self, stmt: RepeatStartStmt) -> None:
+        # Stage 2 feature
+        self._analyze_stage2(stmt)
+
+    def _analyze_repeat_end(self, stmt: RepeatEndStmt) -> None:
+        # Stage 2 feature
+        self._analyze_stage2(stmt)
+
+    def _analyze_ext_cmd(self, stmt: ExtCmdStmt) -> None:
+        # ppmck does not use pyxel ext commands
+        self._analyze_stage2(stmt)
+
+    def _analyze_stage2(self, stmt) -> None:  # type: ignore[no-untyped-def]
+        if isinstance(stmt, EnvelopeDefStmt):
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_UNSUPPORTED_FEATURE,
+                line=stmt.line,
+                column=stmt.column,
+                message="エンベロープ定義 '@v' は第2段階で実装されます。",
+                severity="warning",
+                hint="現時点では無視されます。",
+                context=self._context_line(stmt),
+            )
+        elif isinstance(stmt, SweepStmt):
+            self.ctx.add_error(
+                code=ErrorCode.SEMANTIC_UNSUPPORTED_FEATURE,
+                line=stmt.line,
+                column=stmt.column,
+                message="スイープ 's' は第2段階で実装されます。",
+                severity="warning",
+                hint="現時点では無視されます。",
+                context=self._context_line(stmt),
+            )
+        else:
+            super()._analyze_stage2(stmt)
+
+
+def analyze_ppmck(
+    source: str, program: Program
+) -> tuple[NoteSequence, list[ErrorDetail]]:
+    analyzer = PpmckSemanticAnalyzer(source, program)
+    return analyzer.analyze()