moonscratch 0.1.0-alpha.0

package/src/test/projects/pkg.generated.mbti

@@ -0,0 +1,13 @@
+// Generated using `moon info`, DON'T EDIT IT
+package "nakasyou/moonscratch/test/projects"
+
+// Values
+
+// Errors
+
+// Types and methods
+
+// Type aliases
+
+// Traits
+

package/src/test/projects/test_support.mbt

@@ -0,0 +1,35 @@
+///|
+fn _test_dependency_probe() -> Unit {
+  let minimal_project =
+    #|{
+    #|  "targets": [
+    #|    {
+    #|      "isStage": true,
+    #|      "name": "Stage",
+    #|      "variables": {},
+    #|      "lists": {},
+    #|      "blocks": {}
+    #|    }
+    #|  ]
+    #|}
+  ignore(try? @json.parse("null"))
+  ignore(try? vm_new_precompiled_from_json(minimal_project))
+}
+
+///|
+fn vm_new_precompiled_from_json(
+  project_json : String,
+  assets_json? : String,
+  options_json? : String,
+) -> @moonscratch.Vm raise @moonscratch.VmError {
+  let precompiled = match assets_json {
+    Some(assets_json) =>
+      @moonscratch.vm_compile_from_json(project_json, assets_json~)
+    None => @moonscratch.vm_compile_from_json(project_json)
+  }
+  match options_json {
+    Some(options_json) =>
+      @moonscratch.vm_new_from_compiled(precompiled, options_json~)
+    None => @moonscratch.vm_new_from_compiled(precompiled)
+  }
+}

package/src/types_effects.mbt

@@ -0,0 +1,20 @@
+///|
+pub enum HostEffect {
+  PlaySound(String, String)
+  PlayNote(String, Int, Double, Int, Double)
+  PlayDrum(String, Int, Double, Double)
+  TextToSpeech(String, String, String, String, String)
+  TranslateRequest(String, String)
+  StopAllSounds
+  Say(String, String)
+  Think(String, String)
+  Ask(String)
+  Broadcast(String)
+  Log(String, String)
+} derive(Show, Eq, ToJson)
+
+///|
+pub enum ControlFrameKind {
+  Repeat
+  Forever
+} derive(Show, Eq, ToJson)

package/src/types_error.mbt

@@ -0,0 +1,4 @@
+///|
+pub suberror VmError {
+  InvalidProject(String)
+}

package/src/types_options.mbt

@@ -0,0 +1,31 @@
+///|
+pub(all) struct ProjectBundle {
+  project_json : String
+  assets : Map[String, Json]
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) struct VmOptions {
+  mut turbo : Bool
+  mut compatibility_30tps : Bool
+  mut max_clones : Int
+  mut deterministic : Bool
+  mut seed : Int
+  mut pen_width : Int
+  mut pen_height : Int
+  mut step_timeout_ticks : Int
+} derive(Show, Eq, ToJson)
+
+///|
+pub fn default_vm_options() -> VmOptions {
+  {
+    turbo: false,
+    compatibility_30tps: false,
+    max_clones: 300,
+    deterministic: false,
+    seed: 0x1234_5678,
+    pen_width: 480,
+    pen_height: 360,
+    step_timeout_ticks: 2048,
+  }
+}

package/src/types_runtime_structs.mbt

@@ -0,0 +1,254 @@
+///|
+pub(all) struct ControlFrame {
+  kind : ControlFrameKind
+  mut remaining : Int
+  substack : Int?
+  after : Int?
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) enum OpcodeTag {
+  Unknown
+  MotionChangeXBy
+  MotionChangeYBy
+  MotionSetY
+  PenPenDown
+  PenPenUp
+  ControlRepeat
+  ControlRepeatUntil
+  ControlIf
+  DataSetVariableTo
+  DataChangeVariableBy
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) struct ScratchBlock {
+  id : String
+  opcode : String
+  opcode_tag : OpcodeTag
+  next : String?
+  parent : String?
+  inputs : Map[String, Json]
+  const_number_inputs : Map[String, Double]
+  input_block_ids : Map[String, String]
+  fields : Map[String, Json]
+  mutation : Map[String, Json]
+  top_level : Bool
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) struct BlockFieldRef {
+  name : String
+  id : String?
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) struct BlockFastMeta {
+  next_pc : Int?
+  substack_pc : Int?
+  substack2_pc : Int?
+  variable : BlockFieldRef?
+  list : BlockFieldRef?
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) enum NumericReporterOp {
+  PushConst(Double)
+  LoadVariable(String, String)
+  LoadVariableByRef(Int, String, Int?)
+  Add
+  Subtract
+  Multiply
+  Divide
+  Mod
+  Round
+  MathOp(String)
+  LoadXPosition
+  LoadYPosition
+  LoadDirection
+  LoadSize
+  LoadVolume
+  LoadTempo
+  LoadTimer
+  LoadMouseX
+  LoadMouseY
+  LoadControlCounter
+} derive(Show, Eq)
+
+///|
+pub(all) struct NumericReporterProgram {
+  ops : Array[NumericReporterOp]
+} derive(Show, Eq)
+
+///|
+pub(all) struct CompareNumericGuard {
+  owner_kind : Int
+  variable_id : String
+  slot : Int?
+} derive(Show, Eq)
+
+///|
+pub(all) enum BoolReporterOp {
+  CompareLt(Int, Int, Bool, CompareNumericGuard?, CompareNumericGuard?)
+  CompareGt(Int, Int, Bool, CompareNumericGuard?, CompareNumericGuard?)
+  CompareEq(Int, Int, Bool, CompareNumericGuard?, CompareNumericGuard?)
+  And
+  Or
+  Not
+} derive(Show, Eq)
+
+///|
+pub(all) struct BoolReporterProgram {
+  numeric_programs : Array[NumericReporterProgram]
+  ops : Array[BoolReporterOp]
+} derive(Show, Eq)
+
+///|
+pub(all) struct ProcedureSpec {
+  start_block : String
+  param_names : Array[String]
+  param_ids : Array[String]
+  param_defaults : Array[Json]
+  warp_mode : Bool
+} derive(Show, Eq)
+
+///|
+pub(all) enum PredicateHatKind {
+  WhenGreaterThan
+  WhenTouchingObject
+}
+
+///|
+pub(all) struct KeyPressedHatStart {
+  key_option : String
+  start_block : String
+}
+
+///|
+pub(all) struct BroadcastHatStart {
+  message : String
+  start_block : String
+}
+
+///|
+pub(all) struct BackdropHatStart {
+  backdrop_name : String
+  start_block : String
+}
+
+///|
+pub(all) struct PredicateHatStart {
+  kind : PredicateHatKind
+  hat_id : String
+  menu : String
+  start_block : String
+}
+
+///|
+pub(all) struct CostumeImage {
+  name : String
+  asset_id : String
+  bitmap_resolution : Int
+  rotation_center_x : Double
+  rotation_center_y : Double
+  width : Int
+  height : Int
+  pixels : Array[Byte]
+}
+
+///|
+pub(all) struct TargetState {
+  id : String
+  name : String
+  is_stage : Bool
+  is_original : Bool
+  mut deleted : Bool
+  mut x : Double
+  mut y : Double
+  mut direction : Double
+  mut size : Double
+  mut volume : Double
+  mut music_instrument : Int
+  mut tts_voice : String
+  mut visible : Bool
+  mut current_costume : Int
+  costume_names : Array[String]
+  costumes : Array[CostumeImage]
+  mut pen_down : Bool
+  mut pen_color : Double
+  mut pen_saturation : Double
+  mut pen_brightness : Double
+  mut pen_transparency : Double
+  mut pen_size : Double
+  mut pen_legacy_shade : Double
+  mut looks_effect_color : Double
+  mut looks_effect_fisheye : Double
+  mut looks_effect_whirl : Double
+  mut looks_effect_pixelate : Double
+  mut looks_effect_mosaic : Double
+  mut looks_effect_brightness : Double
+  mut looks_effect_ghost : Double
+  variables : Map[String, Json]
+  variable_names : Map[String, String]
+  variable_slot_by_id : Map[String, Int]
+  variable_slot_by_name : Map[String, Int]
+  variable_id_by_slot : Array[String]
+  mut variable_values : Array[Json]
+  mut variable_numeric_flags : Array[Bool]
+  lists : Map[String, Array[Json]]
+  list_names : Map[String, String]
+  list_slot_by_id : Map[String, Int]
+  list_slot_by_name : Map[String, Int]
+  list_id_by_slot : Array[String]
+  mut list_values : Array[Array[Json]]
+  blocks : Map[String, ScratchBlock]
+  const_number_block_values : Map[String, Double]
+  procedures : Map[String, ProcedureSpec]
+  block_pc_by_id : Map[String, Int]
+  blocks_by_pc : Array[ScratchBlock]
+  block_fast_meta_by_pc : Array[BlockFastMeta]
+  mut numeric_program_cache : Map[String, NumericReporterProgram]
+  mut numeric_program_compile_failed : Map[String, Bool]
+  mut bool_program_cache : Map[String, BoolReporterProgram]
+  mut bool_program_compile_failed : Map[String, Bool]
+  top_level_hats : Array[String]
+  green_flag_starts : Array[String]
+  stage_clicked_starts : Array[String]
+  sprite_clicked_starts : Array[String]
+  clone_start_starts : Array[String]
+  key_pressed_hats : Array[KeyPressedHatStart]
+  broadcast_hats : Array[BroadcastHatStart]
+  backdrop_hats : Array[BackdropHatStart]
+  predicate_hats : Array[PredicateHatStart]
+}
+
+///|
+pub(all) struct RenderFrame {
+  width : Int
+  height : Int
+  pixels : Array[Byte]
+}
+
+///|
+pub(all) struct Thread {
+  id : Int
+  target_index : Int
+  mut pc : Int?
+  mut wait_until_ms : Int?
+  mut wait_for_input : String?
+  mut done : Bool
+  mut warp_mode : Bool
+  mut warp_started_ms : Int
+  mut stack : Array[ControlFrame]
+  mut loop_counters : Map[String, Int]
+  parent_waiter : Int?
+}
+
+///|
+pub(all) struct ProcedureFrame {
+  return_pc : Int?
+  control_depth : Int
+  params : Map[String, Json]
+  proccode : String
+  mut warp_mode : Bool
+}

package/src/types_vm.mbt

@@ -0,0 +1,109 @@
+///|
+pub(all) struct PrecompiledProject {
+  targets : Array[TargetState]
+  stage_index : Int
+  assets : Map[String, Json]
+  mut initial_opaque_backdrops : Map[String, Array[Byte]]
+}
+
+///|
+pub(all) struct PenVectorStroke {
+  x0 : Double
+  y0 : Double
+  x1 : Double
+  y1 : Double
+  diameter : Double
+  offset : Double
+  r : Int
+  g : Int
+  b : Int
+  a : Int
+}
+
+///|
+pub(all) struct Vm {
+  targets : Array[TargetState]
+  stage_index : Int
+  assets : Map[String, Json]
+  options : VmOptions
+  pen_width : Int
+  pen_height : Int
+  mut pen_pixels : Array[Byte]
+  mut pen_vectors : Array[PenVectorStroke]
+  mut render_revision : Int
+  mut render_cache_valid : Bool
+  mut render_cache_revision : Int
+  mut render_cache_pixels : Array[Byte]
+  mut pen_bounds_valid : Bool
+  mut pen_min_x : Int
+  mut pen_min_y : Int
+  mut pen_max_x : Int
+  mut pen_max_y : Int
+  mut backdrop_cache_valid : Bool
+  mut backdrop_cache_pixels : Array[Byte]
+  mut backdrop_cache_width : Int
+  mut backdrop_cache_height : Int
+  mut backdrop_cache_stage_index : Int
+  mut backdrop_cache_stage_costume_index : Int
+  mut backdrop_cache_effect_color : Double
+  mut backdrop_cache_effect_fisheye : Double
+  mut backdrop_cache_effect_whirl : Double
+  mut backdrop_cache_effect_pixelate : Double
+  mut backdrop_cache_effect_mosaic : Double
+  mut backdrop_cache_effect_brightness : Double
+  mut backdrop_cache_effect_ghost : Double
+  mut threads : Array[Thread]
+  mut next_thread_id : Int
+  mut run_id : Int
+  mut now_ms : Int
+  mut running : Bool
+  mut answer : String
+  mut effects : Array[HostEffect]
+  mut io_state : Map[String, Json]
+  mut io_prev_state : Map[String, Json]
+  mut waiting_children : Map[Int, Int]
+  mut rng_state : Int
+  mut control_counter : Int
+  mut hot_op_counts : Map[String, Int]
+  mut next_clone_id : Int
+  mut hat_predicates : Map[String, Bool]
+  mut timer_start_ms : Int
+  mut music_tempo : Double
+  mut tts_language : String
+  mut procedure_frames : Map[Int, Array[ProcedureFrame]]
+  mut pending_translate_requests : Map[String, Bool]
+  mut redraw_requested : Bool
+  mut redraw_requested_while_warp : Bool
+  mut current_thread_id : Int?
+  mut mathop_sin_cache_valid : Bool
+  mut mathop_sin_cache_input : Double
+  mut mathop_sin_cache_output : Double
+  mut mathop_cos_cache_valid : Bool
+  mut mathop_cos_cache_input : Double
+  mut mathop_cos_cache_output : Double
+  mut aot_commands : Array[AotCommand]
+  mut aot_pending : Bool
+  mut aot_full_green_flag_starts : Map[Int, Array[Int]]
+  mut aot_use_full_exec : Bool
+  mut aot_wasm_only : Bool
+  mut frame_override : FrameReport?
+}
+
+///|
+pub(all) struct FrameReport {
+  active_threads : Int
+  tick_count : Int
+  op_count : Int
+  emitted_effects : Int
+  stop_reason : String
+  should_render : Bool
+  is_in_warp : Bool
+} derive(Show, Eq, ToJson)
+
+///|
+pub(all) enum AotCommand {
+  SetVariable(Int, String, Json)
+  ChangeVariable(Int, String, Double)
+  HostOpcode(Int, Int)
+  HostTail(Int, Int)
+} derive(Show, Eq, ToJson)

package/tsconfig.json

@@ -0,0 +1,29 @@
+{
+  "compilerOptions": {
+    // Environment setup & latest features
+    "lib": ["ESNext", "DOM"],
+    "target": "ESNext",
+    "module": "Preserve",
+    "moduleDetection": "force",
+    "jsx": "react-jsx",
+    "allowJs": true,
+
+    // Bundler mode
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "verbatimModuleSyntax": true,
+    "noEmit": true,
+
+    // Best practices
+    "strict": true,
+    "skipLibCheck": true,
+    "noFallthroughCasesInSwitch": true,
+    "noUncheckedIndexedAccess": true,
+    "noImplicitOverride": true,
+
+    // Some stricter flags (disabled by default)
+    "noUnusedLocals": false,
+    "noUnusedParameters": false,
+    "noPropertyAccessFromIndexSignature": false
+  }
+}