summaryrefslogtreecommitdiff
path: root/src/mml_composemusic_mcp/semantic_ppmck.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/mml_composemusic_mcp/semantic_ppmck.py')
-rw-r--r--src/mml_composemusic_mcp/semantic_ppmck.py283
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()
generated by cgit v1.2.3 (git 2.39.1) at 2026-10-19 16:41:47 +0000