-
- 
+
+ 
diff --git a/build/build-project2tar.ps1 b/build/build-project2tar.ps1
new file mode 100644
index 0000000..2ee7146
--- /dev/null
+++ b/build/build-project2tar.ps1
@@ -0,0 +1,48 @@
+# Set the tar package name
+$tarName = "Snow.tar"
+
+# Get the script's current directory (build folder)
+$scriptDir = Split-Path -Parent $MyInvocation.MyCommand.Definition
+
+# Get the parent directory (the project root)
+$parentDir = Split-Path -Parent $scriptDir
+
+# Set the full path to the tar package
+$tarPath = Join-Path $parentDir $tarName
+
+# Output message: starting to create tar package
+Write-Output "Starting to create tar package: $tarName in $parentDir ..."
+
+# Remove old tar package if it exists
+if (Test-Path $tarPath) {
+ Write-Output "Found an old $tarName, removing it..."
+ Remove-Item $tarPath -Force
+}
+
+# Make sure the tar command is available
+$tarCommand = "tar"
+if (-not (Get-Command $tarCommand -ErrorAction SilentlyContinue)) {
+ Write-Error "❌ 'tar' command is not available. Please make sure 'tar' is installed and can be run from PowerShell."
+ exit 1
+}
+
+# Execute tar: change to org\jcnc directory and compress the snow folder
+try {
+ # Build the command and run it
+ $tarCommandArgs = "-cf", $tarPath, "-C", "$scriptDir\..\src\main\java\org\jcnc", "snow"
+ Write-Output "Running tar command: tar $tarCommandArgs"
+
+ & $tarCommand @tarCommandArgs
+} catch {
+ Write-Error "❌ Failed to create tar package. Error: $_"
+ exit 1
+}
+
+# Check if tar package was created successfully
+if (Test-Path $tarPath) {
+ Write-Output "✅ Successfully created $tarName"
+ exit 0
+} else {
+ Write-Error "❌ Creation failed. Please check the tar command and paths."
+ exit 1
+}
diff --git a/build/build-release-all.ps1 b/build/build-release-all.ps1
new file mode 100644
index 0000000..3c42adb
--- /dev/null
+++ b/build/build-release-all.ps1
@@ -0,0 +1,129 @@
+param(
+ [string]$LogDir = (Join-Path $PSScriptRoot 'target\parallel-logs')
+)
+
+Set-StrictMode -Version Latest
+$ErrorActionPreference = 'Stop'
+
+$winScript = Join-Path $PSScriptRoot 'release-windows.ps1'
+$linScript = Join-Path $PSScriptRoot 'release-linux.ps1'
+
+if (-not (Test-Path $winScript)) { throw "File not found: $winScript" }
+if (-not (Test-Path $linScript)) { throw "File not found: $linScript" }
+
+$winLogOut = [System.IO.Path]::GetTempFileName()
+$winLogErr = [System.IO.Path]::GetTempFileName()
+$linLogOut = [System.IO.Path]::GetTempFileName()
+$linLogErr = [System.IO.Path]::GetTempFileName()
+
+$winProc = Start-Process powershell.exe -ArgumentList @('-NoProfile','-ExecutionPolicy','Bypass','-File',"`"$winScript`"") `
+ -RedirectStandardOutput $winLogOut -RedirectStandardError $winLogErr -NoNewWindow -PassThru
+$linProc = Start-Process powershell.exe -ArgumentList @('-NoProfile','-ExecutionPolicy','Bypass','-File',"`"$linScript`"") `
+ -RedirectStandardOutput $linLogOut -RedirectStandardError $linLogErr -NoNewWindow -PassThru
+
+$winPosOut = 0
+$winPosErr = 0
+$linPosOut = 0
+$linPosErr = 0
+
+Write-Host "===== Build Started ====="
+while (-not $winProc.HasExited -or -not $linProc.HasExited) {
+ # windows-release stdout
+ if (Test-Path $winLogOut) {
+ $size = (Get-Item $winLogOut).Length
+ if ($size -gt $winPosOut) {
+ $fs = [System.IO.File]::Open($winLogOut, [System.IO.FileMode]::Open, [System.IO.FileAccess]::Read, [System.IO.FileShare]::ReadWrite)
+ $fs.Position = $winPosOut
+ $sr = New-Object System.IO.StreamReader($fs)
+ while (!$sr.EndOfStream) {
+ $line = $sr.ReadLine()
+ if ($line) { Write-Host "[windows-release][OUT] $line" }
+ }
+ $winPosOut = $fs.Position
+ $sr.Close()
+ $fs.Close()
+ }
+ }
+ # windows-release stderr
+ if (Test-Path $winLogErr) {
+ $size = (Get-Item $winLogErr).Length
+ if ($size -gt $winPosErr) {
+ $fs = [System.IO.File]::Open($winLogErr, [System.IO.FileMode]::Open, [System.IO.FileAccess]::Read, [System.IO.FileShare]::ReadWrite)
+ $fs.Position = $winPosErr
+ $sr = New-Object System.IO.StreamReader($fs)
+ while (!$sr.EndOfStream) {
+ $line = $sr.ReadLine()
+ if ($line) { Write-Host "[windows-release][ERR] $line" -ForegroundColor Red }
+ }
+ $winPosErr = $fs.Position
+ $sr.Close()
+ $fs.Close()
+ }
+ }
+ # linux-release stdout
+ if (Test-Path $linLogOut) {
+ $size = (Get-Item $linLogOut).Length
+ if ($size -gt $linPosOut) {
+ $fs = [System.IO.File]::Open($linLogOut, [System.IO.FileMode]::Open, [System.IO.FileAccess]::Read, [System.IO.FileShare]::ReadWrite)
+ $fs.Position = $linPosOut
+ $sr = New-Object System.IO.StreamReader($fs)
+ while (!$sr.EndOfStream) {
+ $line = $sr.ReadLine()
+ if ($line) { Write-Host "[linux-release][OUT] $line" }
+ }
+ $linPosOut = $fs.Position
+ $sr.Close()
+ $fs.Close()
+ }
+ }
+ # linux-release stderr
+ if (Test-Path $linLogErr) {
+ $size = (Get-Item $linLogErr).Length
+ if ($size -gt $linPosErr) {
+ $fs = [System.IO.File]::Open($linLogErr, [System.IO.FileMode]::Open, [System.IO.FileAccess]::Read, [System.IO.FileShare]::ReadWrite)
+ $fs.Position = $linPosErr
+ $sr = New-Object System.IO.StreamReader($fs)
+ while (!$sr.EndOfStream) {
+ $line = $sr.ReadLine()
+ if ($line) { Write-Host "[linux-release][ERR] $line" -ForegroundColor Red }
+ }
+ $linPosErr = $fs.Position
+ $sr.Close()
+ $fs.Close()
+ }
+ }
+ Start-Sleep -Milliseconds 200
+}
+
+# After processes exit, print any remaining output
+$tasks = @(
+ @{proc=$winProc; log=$winLogOut; tag='windows-release'; type='OUT'; skip=$winPosOut},
+ @{proc=$winProc; log=$winLogErr; tag='windows-release'; type='ERR'; skip=$winPosErr},
+ @{proc=$linProc; log=$linLogOut; tag='linux-release'; type='OUT'; skip=$linPosOut},
+ @{proc=$linProc; log=$linLogErr; tag='linux-release'; type='ERR'; skip=$linPosErr}
+)
+foreach ($item in $tasks) {
+ if (Test-Path $item.log) {
+ $fs = [System.IO.File]::Open($item.log, [System.IO.FileMode]::Open, [System.IO.FileAccess]::Read, [System.IO.FileShare]::ReadWrite)
+ $fs.Position = $item.skip
+ $sr = New-Object System.IO.StreamReader($fs)
+ while (!$sr.EndOfStream) {
+ $line = $sr.ReadLine()
+ if ($line) {
+ if ($item.type -eq 'ERR') {
+ Write-Host "[$($item.tag)][ERR] $line" -ForegroundColor Red
+ } else {
+ Write-Host "[$($item.tag)][OUT] $line"
+ }
+ }
+ }
+ $sr.Close()
+ $fs.Close()
+ }
+}
+
+Write-Host ""
+Write-Host "All tasks completed successfully." -ForegroundColor Green
+
+Remove-Item $winLogOut, $winLogErr, $linLogOut, $linLogErr -Force
+exit 0
diff --git a/build/build_project2tar.ps1 b/build/build_project2tar.ps1
deleted file mode 100644
index 81b5d69..0000000
--- a/build/build_project2tar.ps1
+++ /dev/null
@@ -1,47 +0,0 @@
-# 设定 tar 包的名称
-$tarName = "Snow.tar"
-
-# 获取脚本当前目录（build文件夹）
-$scriptDir = Split-Path -Parent $MyInvocation.MyCommand.Definition
-
-# 获取上一级目录（snow 根目录）
-$parentDir = Split-Path -Parent $scriptDir
-
-# 设置 tar 包的完整路径
-$tarPath = Join-Path $parentDir $tarName
-
-# 输出开始创建 tar 包的消息
-Write-Output "开始创建 tar 包: $tarName 到 $parentDir ..."
-
-# 如果存在旧 tar 包，先删除它
-if (Test-Path $tarPath) {
- Write-Output "发现旧的 $tarName，正在删除..."
- Remove-Item $tarPath -Force
-}
-
-# 确保 tar 命令可用
-$tarCommand = "tar"
-if (-not (Get-Command $tarCommand -ErrorAction SilentlyContinue)) {
- Write-Error "❌ tar 命令不可用。请确保 tar 已安装并可在 PowerShell 中执行。"
- exit 1
-}
-
-# 执行打包操作: 切换到 org\jcnc 目录下再压缩 snow 文件夹
-try {
- # 构建命令并执行
- $tarCommandArgs = "-cf", $tarPath, "-C", "$scriptDir\..\src\main\java\org\jcnc", "snow"
- Write-Output "执行 tar 命令: tar $tarCommandArgs"
-
- & $tarCommand @tarCommandArgs
-} catch {
- Write-Error "❌ 创建 tar 包失败。错误信息: $_"
- exit 1
-}
-
-# 检查 tar 包是否创建成功
-if (Test-Path $tarPath) {
- Write-Output "✅ 成功创建 $tarName"
-} else {
- Write-Error "❌ 创建失败，请检查 tar 命令和路径是否正确。"
- exit 1
-}
diff --git a/build/release-linux.ps1 b/build/release-linux.ps1
new file mode 100644
index 0000000..1fe8b34
--- /dev/null
+++ b/build/release-linux.ps1
@@ -0,0 +1,136 @@
+# run-linux-snow-export.ps1
+# Build and package linux-snow-export, version read from SNOW_VERSION in .env
+
+Set-StrictMode -Version Latest
+$ErrorActionPreference = "Stop"
+
+# Import shared dotenv parser function
+. "$PSScriptRoot\tools\dotenv.ps1"
+
+Write-Host "Step 0: Generate .env..."
+try {
+ & "$PSScriptRoot\tools\generate-dotenv.ps1" -ErrorAction Stop
+} catch {
+ Write-Error "Failed to generate .env: $( $_.Exception.Message )"
+ exit 1
+}
+
+Write-Host "Step 1: Build and run linux-snow-export..."
+docker compose run --build --rm linux-snow-export
+if ($LASTEXITCODE -ne 0) {
+ Write-Error "Build & Run failed, exiting script."
+ exit $LASTEXITCODE
+}
+
+Write-Host "Step 2: Run linux-snow-export without rebuild..."
+docker compose run --rm linux-snow-export
+if ($LASTEXITCODE -ne 0) {
+ Write-Error "Run without rebuild failed, exiting script."
+ exit $LASTEXITCODE
+}
+
+# ===== Step 3: Read version from .env =====
+$projectRoot = Resolve-Path (Join-Path $PSScriptRoot "..")
+$dotenvPath = Join-Path $projectRoot ".env"
+
+if (-not (Test-Path -LiteralPath $dotenvPath)) {
+ Write-Error ".env not found at: $dotenvPath"
+ exit 1
+}
+
+$version = Read-DotEnvValue -FilePath $dotenvPath -Key 'SNOW_VERSION'
+if (-not $version) {
+ Write-Error "SNOW_VERSION not found in .env"
+ exit 1
+}
+
+# ===== Step 4: Define output paths =====
+$targetDir = Join-Path $projectRoot "target\release"
+$outDir = Join-Path $targetDir "Snow-v$version-linux-x64"
+$tgzPath = Join-Path $targetDir "Snow-v$version-linux-x64.tgz"
+
+# ===== Step 5: Package to .tgz (no extra top-level dir, max compression) =====
+Write-Host "Step 5: Package to .tgz..."
+
+if (-not (Test-Path -LiteralPath $outDir)) {
+ Write-Error "Output directory not found: $outDir"
+ exit 1
+}
+
+# Ensure target directory exists
+if (-not (Test-Path -LiteralPath $targetDir)) {
+ New-Item -ItemType Directory -Force -Path $targetDir | Out-Null
+}
+
+# Remove old package if exists
+if (Test-Path -LiteralPath $tgzPath) {
+ Write-Host "→ Removing existing tgz: $tgzPath"
+ Remove-Item -LiteralPath $tgzPath -Force
+}
+
+function Invoke-TarGz {
+ param(
+ [Parameter(Mandatory = $true)][string]$SourceDir,
+ [Parameter(Mandatory = $true)][string]$DestTgz
+ )
+ $tarExe = "tar"
+
+ $isWindows = $env:OS -eq 'Windows_NT'
+
+ if ($isWindows) {
+ $psi = @{
+ FilePath = $tarExe
+ ArgumentList= @("-C", $SourceDir, "-czf", $DestTgz, ".")
+ NoNewWindow = $true
+ Wait = $true
+ }
+ try {
+ $p = Start-Process @psi -PassThru -ErrorAction Stop
+ $p.WaitForExit()
+ if ($p.ExitCode -ne 0) {
+ throw "tar exited with code $($p.ExitCode)"
+ }
+ } catch {
+ throw "Packaging failed (Windows tar): $($_.Exception.Message)"
+ }
+ } else {
+ try {
+ $psi = @{
+ FilePath = $tarExe
+ ArgumentList= @("-C", $SourceDir, "-c", "-f", $DestTgz, "-I", "gzip -9", ".")
+ NoNewWindow = $true
+ Wait = $true
+ }
+ $p = Start-Process @psi -PassThru -ErrorAction Stop
+ $p.WaitForExit()
+ if ($p.ExitCode -eq 0) { return }
+ } catch { }
+
+ try {
+ $psi = @{
+ FilePath = $tarExe
+ ArgumentList= @("-C", $SourceDir, "-c", "-z", "-f", $DestTgz, ".")
+ NoNewWindow = $true
+ Wait = $true
+ }
+ $p = Start-Process @psi -PassThru -ErrorAction Stop
+ $p.WaitForExit()
+ if ($p.ExitCode -ne 0) {
+ throw "tar exited with code $($p.ExitCode)"
+ }
+ } catch {
+ throw "Packaging failed (Linux tar): $($_.Exception.Message)"
+ }
+ }
+}
+try {
+ Invoke-TarGz -SourceDir $outDir -DestTgz $tgzPath
+} catch {
+ Write-Error $_.Exception.Message
+ exit 1
+}
+
+Write-Host ">>> Package ready!" -ForegroundColor Green
+Write-Host "Version : $version"
+Write-Host "Output Dir : $outDir"
+Write-Host "Tgz File : $tgzPath"
\ No newline at end of file
diff --git a/build/release-windows.ps1 b/build/release-windows.ps1
new file mode 100644
index 0000000..b578b01
--- /dev/null
+++ b/build/release-windows.ps1
@@ -0,0 +1,117 @@
+# release-windows.ps1
+
+$ErrorActionPreference = 'Stop'
+$ProgressPreference = 'SilentlyContinue'
+Set-StrictMode -Version Latest
+
+# Import shared dotenv parser function
+. "$PSScriptRoot\tools\dotenv.ps1"
+
+# ===== Utility Functions =====
+function Find-PomUpwards([string]$startDir) {
+ $dir = Resolve-Path $startDir
+ while ($true) {
+ $pom = Join-Path $dir "pom.xml"
+ if (Test-Path $pom) { return $pom }
+ $parent = Split-Path $dir -Parent
+ if ($parent -eq $dir -or [string]::IsNullOrEmpty($parent)) { return $null }
+ $dir = $parent
+ }
+}
+
+# ===== Step 0: Generate .env =====
+Write-Host "Step 0: Generate .env..."
+try {
+ & "$PSScriptRoot\tools\generate-dotenv.ps1" -ErrorAction Stop
+} catch {
+ Write-Error "Failed to generate .env: $($_.Exception.Message)"
+ exit 1
+}
+
+# ===== Step 1: Locate project root & build =====
+Write-Host "Step 1: Locate project root and build..."
+$pom = Find-PomUpwards -startDir $PSScriptRoot
+if (-not $pom) {
+ Write-Error "pom.xml not found. Please run this script within the project."
+ exit 1
+}
+
+$projectRoot = Split-Path $pom -Parent
+Push-Location $projectRoot
+try {
+ Write-Host "→ Running: mvn clean package"
+ mvn clean package
+ if ($LASTEXITCODE -ne 0) {
+ Write-Error "Maven build failed, exiting script."
+ exit $LASTEXITCODE
+ }
+
+ # ===== Step 2: Read SNOW_VERSION =====
+ Write-Host "Step 2: Read SNOW_VERSION from .env..."
+ $dotenvPath = Join-Path $projectRoot ".env"
+ $snowVersion = Read-DotEnvValue -FilePath $dotenvPath -Key "SNOW_VERSION"
+ if (-not $snowVersion) {
+ Write-Host "SNOW_VERSION not found in .env, using placeholder 0.0.0." -ForegroundColor Yellow
+ $snowVersion = "0.0.0"
+ }
+ Write-Host "SNOW_VERSION = $snowVersion"
+
+ # ===== Step 3: Prepare release directory structure =====
+ Write-Host "Step 3: Prepare release directory structure..."
+ $targetDir = Join-Path $projectRoot "target"
+ $exePath = Join-Path $targetDir "Snow.exe"
+ if (-not (Test-Path $exePath)) {
+ Write-Error "Expected build artifact not found: $exePath"
+ exit 1
+ }
+
+ $verName = "Snow-v${snowVersion}-windows-x64"
+ $releaseRoot = Join-Path $targetDir "release"
+ $outDir = Join-Path $releaseRoot $verName
+ $binDir = Join-Path $outDir "bin"
+ $libDir = Join-Path $outDir "lib"
+
+ # Clean old directory
+ if (Test-Path $outDir) {
+ Write-Host "→ Cleaning previous output directory..."
+ Remove-Item $outDir -Recurse -Force
+ }
+
+ New-Item -ItemType Directory -Force -Path $binDir | Out-Null
+ Copy-Item -Path $exePath -Destination (Join-Path $binDir "Snow.exe") -Force
+ Write-Host ">>> Collected Snow.exe"
+
+ # Optional lib
+ $projectLib = Join-Path $projectRoot "lib"
+ if (Test-Path $projectLib) {
+ New-Item -ItemType Directory -Force -Path $libDir | Out-Null
+ Copy-Item -Path (Join-Path $projectLib "*") -Destination $libDir -Recurse -Force
+ Write-Host ">>> Copied lib directory"
+ } else {
+ Write-Host ">>> lib directory not found, skipping." -ForegroundColor Yellow
+ }
+
+ # ===== Step 4: Create release zip =====
+ Write-Host "Step 4: Create release zip..."
+ New-Item -ItemType Directory -Force -Path $releaseRoot | Out-Null
+ $zipPath = Join-Path $releaseRoot ("{0}.zip" -f $verName)
+ if (Test-Path $zipPath) {
+ Write-Host "→ Removing existing zip: $zipPath"
+ Remove-Item $zipPath -Force
+ }
+
+ try {
+ Compress-Archive -Path (Join-Path $outDir '*') -DestinationPath $zipPath -CompressionLevel Optimal -Force
+ } catch {
+ Write-Error "Failed to create zip: $($_.Exception.Message)"
+ exit 1
+ }
+
+ Write-Host ">>> Package ready!" -ForegroundColor Green
+ Write-Host "Version : $snowVersion"
+ Write-Host "Output Dir : $outDir"
+ Write-Host "Zip File : $zipPath"
+}
+finally {
+ Pop-Location
+}
diff --git a/build/tools/dotenv.ps1 b/build/tools/dotenv.ps1
new file mode 100644
index 0000000..f3c1eb1
--- /dev/null
+++ b/build/tools/dotenv.ps1
@@ -0,0 +1,53 @@
+# tools/dotenv.ps1
+# Unified .env reader function:
+# - Supports `KEY=VAL` and `export KEY=VAL`
+# - Skips blank lines and comments
+# - Handles quoted values (single or double quotes)
+# - Allows inline comments at the end of a line (space + #)
+# - If the same KEY is defined multiple times, the last one takes precedence
+
+Set-StrictMode -Version Latest
+
+function Read-DotEnvValue {
+ [CmdletBinding()]
+ param(
+ [Parameter(Mandatory=$true)][string]$FilePath,
+ [Parameter(Mandatory=$true)][string]$Key
+ )
+
+ if (-not (Test-Path -LiteralPath $FilePath)) { return $null }
+
+ # Match the target key (escaped), allowing optional "export" prefix
+ $pattern = '^(?:\s*export\s+)?(?+ * 字符串转义/反转义工具类，主要用于： + *
-
+ *
- 编译期：将运行时的字符串安全地编码为单行形式（用于 .water 指令文件的保存）。 + *
- 运行期：在虚拟机（VM）执行相关指令时，将转义后的字符串还原成真实字符。 + *
+ * 转义规则兼容 Java 字符串转义（包括 \n, \t, \r 等常见控制字符），同时对于不可见或非 ASCII 字符，会编码为 Unicode 形式（如
uXXXX）。
+ *
+ */
+public final class StringEscape {
+
+ /**
+ * 工具类私有构造方法，禁止实例化。
+ */
+ private StringEscape() {
+ }
+
+ /**
+ * 运行期方法：
+ * 将转义序列还原为实际字符。
+ * + *-
+ *
- 支持常见的转义字符序列。 + *
- 支持 uXXXX 形式的 Unicode 字符反转义。 + *
- 对于无法识别的转义，按原样输出。 + *
- * This class is responsible for converting IR-level {@link LoadConstInstruction} into corresponding VM instructions. + * This generator converts an IR-level {@link LoadConstInstruction} into corresponding VM instructions. * If the constant is a {@code String}, it will also be registered in the - * {@link CallGenerator} string constant pool to support syscall downgrade scenarios. + * {@link CallGenerator} string constant pool for later use. *
* *- * Fix: When the constant is an array (List), type information is preserved in R_PUSH payload: + * Key implementation notes: *
-
- *
- Float is output with
fsuffix (e.g., 0.1f);
- * - Long is output with
Lsuffix (e.g., 123L);
- * - Double/Integer are output in their default format (e.g., 1.0, 42); - *
- Supports recursive serialization of nested arrays. + *
- When the constant is an array (List), type information is preserved in the R_PUSH payload: + *
- Float values get an
fsuffix (e.g., 0.1f)
+ * - Long values get an
Lsuffix (e.g., 123L)
+ * - Double and Integer values use their default string format (e.g., 1.0, 42) + *
- Nested arrays are recursively serialized with correct type suffixes. *
- * This includes formatting the constant value, emitting the corresponding PUSH and STORE instructions, - * marking the local slot type for later operations, and registering string constants if necessary. - *
+ * Generates VM code for a LoadConstInstruction. + * Produces PUSH and STORE instructions, sets the slot type, + * and registers string constants if necessary. * - * @param ins The {@link LoadConstInstruction} to generate code for. - * @param out The {@link VMProgramBuilder} used to collect the generated instructions. - * @param slotMap A mapping from {@link IRVirtualRegister} to physical slot indices. - * @param currentFn The name of the current function. + * @param ins The IR instruction to generate. + * @param out The output program builder. + * @param slotMap The mapping from IR virtual register to physical slot. + * @param currentFn The current function name. */ @Override public void generate(LoadConstInstruction ins, @@ -118,19 +144,19 @@ public class LoadConstGenerator implements InstructionGenerator* 负责将语法树中的 FunctionNode 节点转化为可执行的 IRFunction， * 包含参数声明、返回类型推断、函数体语句转换等步骤。 + * + *
-
+ *
- 支持自动导入全局/跨模块常量，使跨模块常量引用（如 ModuleA.a）在 IR 阶段可用。 + *
- 将函数形参声明为虚拟寄存器，并注册到作用域，便于后续指令生成。 + *
- 根据返回类型设置表达式默认字面量类型，保证 IR 层类型一致性。 + *
- 遍历并转换函数体语句为 IR 指令。 + *
* 构建过程包括: *
-
- *
- 初始化 IRFunction 实例和上下文 - *
- 根据函数返回类型，设置默认类型后缀，便于表达式推断 - *
- 声明参数到作用域，并为每个参数分配虚拟寄存器 - *
- 遍历并转换函数体内的每条语句为 IR 指令 - *
- 函数构建完成后，清理默认类型后缀，防止影响其他函数 + *
- 在全局函数表注册函数签名，便于后续模块/语义分析阶段查询。 + *
- 初始化 IRFunction 实例和 IRContext 上下文对象（包含作用域与寄存器信息）。 + *
- 自动导入全局常量（包括跨模块 const 变量）到当前作用域， + * 使成员访问如 ModuleA.a 可直接折叠为常量。 + *
- 根据函数返回类型，设置表达式推断的默认字面量类型后缀 + * （如 double→d, float→f），避免类型不一致。 + *
- 遍历声明形参，每个参数分配虚拟寄存器，并注册到作用域。 + *
- 依次转换函数体中的每条语句为 IR 指令。 + *
- 函数体转换完成后，清理默认类型后缀，防止影响后续函数构建。 *
+ * 优先查找本地常量，未命中再查外部（如 "ModuleA.a"）。 * - * @param name 变量名称 + * @param name 变量名称或"模块名.常量名" * @return 编译期常量值，或 null */ Object getConstValue(String name) { - return varConstValues.get(name); + Object v = varConstValues.get(name); + if (v != null) return v; + // 支持跨模块常量/全局变量 + return externalConsts.get(name); } /** - * 清除变量的编译期常量值绑定。 + * 清除变量的编译期常量值绑定（本地）。 * * @param name 变量名称 */ void clearConstValue(String name) { varConstValues.remove(name); } + + // ---------------- 跨模块常量导入支持 ---------------- + + /** + * 导入外部（其他模块）的全局常量/变量。 + * + * @param qualifiedName 形如 "ModuleA.a" + * @param value 其常量值 + */ + void importExternalConst(String qualifiedName, Object value) { + externalConsts.put(qualifiedName, value); + } } diff --git a/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java b/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java index 28e89c2..730b731 100644 --- a/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java +++ b/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java @@ -1,24 +1,26 @@ package org.jcnc.snow.compiler.ir.builder; +import org.jcnc.snow.compiler.ir.common.GlobalConstTable; import org.jcnc.snow.compiler.ir.core.IRFunction; import org.jcnc.snow.compiler.ir.core.IRProgram; -import org.jcnc.snow.compiler.parser.ast.FunctionNode; -import org.jcnc.snow.compiler.parser.ast.ModuleNode; +import org.jcnc.snow.compiler.parser.ast.*; +import org.jcnc.snow.compiler.parser.ast.base.ExpressionNode; import org.jcnc.snow.compiler.parser.ast.base.Node; import org.jcnc.snow.compiler.parser.ast.base.NodeContext; import org.jcnc.snow.compiler.parser.ast.base.StatementNode; import java.util.ArrayList; +import java.util.HashSet; import java.util.List; +import java.util.Set; /** - * IRProgramBuilder 负责将 AST 根节点(如模块、函数、顶层语句)转换为可执行的 IRProgram 实例。 - *
- * 主要职责: + * IRProgramBuilder 负责将 AST 顶层节点转换为可执行的 {@link IRProgram}。 + * *
-
- *
- 遍历 AST 根节点，根据类型分别处理(模块、函数、顶层语句)。 - *
- 对模块内的函数添加全限定名，并在函数体前注入全局变量声明。 - *
- 将单独的顶层语句封装为特殊的 "_start" 函数。 + *
- 预扫描所有模块，将
declare const常量登记到全局常量表，支持跨模块常量折叠。
+ * - 对模块内的函数加上模块前缀，保证命名唯一，并将本模块全局声明注入到函数体前部。 + *
- 将独立顶层语句自动包装为特殊的 "_start" 函数（脚本模式支持）。 *
- * 如果模块有全局声明，则这些声明会被插入到函数体前部。
+ * 如果模块有全局声明，则这些声明会被插入到函数体前部（**会过滤掉与参数同名的全局声明**）。
*
- * @param moduleNode 当前模块节点
- * @param functionNode 模块中的函数节点
- * @return 包含全局声明、已加前缀函数名的 IRFunction
+ * @param moduleNode 所属模块节点
+ * @param functionNode 待构建的函数节点
+ * @return 包含全局声明的 IRFunction
*/
private IRFunction buildFunctionWithGlobals(ModuleNode moduleNode, FunctionNode functionNode) {
// 拼接模块名和函数名，生成全限定名
String qualifiedName = moduleNode.name() + "." + functionNode.name();
- // 若无全局声明，仅重命名后直接构建
if (moduleNode.globals() == null || moduleNode.globals().isEmpty()) {
+ // 无全局声明，直接重命名构建
return buildFunction(renameFunction(functionNode, qualifiedName));
}
- // 若有全局声明，插入到函数体最前面
- List
- * 这对于脚本式文件支持至关重要(即文件最外层直接写语句)。
+ * 主要用于脚本模式支持，使得顶层语句也可以被 IR 执行引擎统一处理。
*
- * @param stmt 要封装的顶层语句
- * @return 包装成 FunctionNode 的 "_start" 函数
+ * @param stmt 顶层语句节点
+ * @return 封装后的 FunctionNode
*/
private FunctionNode wrapTopLevel(StatementNode stmt) {
return new FunctionNode(
diff --git a/src/main/java/org/jcnc/snow/compiler/ir/builder/InstructionFactory.java b/src/main/java/org/jcnc/snow/compiler/ir/builder/InstructionFactory.java
index 1c4dd8a..0d1fa69 100644
--- a/src/main/java/org/jcnc/snow/compiler/ir/builder/InstructionFactory.java
+++ b/src/main/java/org/jcnc/snow/compiler/ir/builder/InstructionFactory.java
@@ -6,23 +6,16 @@ import org.jcnc.snow.compiler.ir.value.IRConstant;
import org.jcnc.snow.compiler.ir.value.IRVirtualRegister;
/**
- * InstructionFactory —— 统一生成并注册 IR 指令的工厂类。
- *
- * 该类封装了常见的 IR 指令生成方式，包括常量加载、二元运算、赋值、控制流等，
- * 统一简化指令插入和寄存器分配逻辑，提升 IR 生成阶段的代码可维护性和复用性。
- *
- * 实现方式: dest = src + 0（即加上常量 0）。
- *
+ * 主要功能：
+ *
+ * 常量的 key 格式为“模块名.常量名”，如 "ModuleA.a"，以便唯一标识。
+ *
+ *
+ * 典型用法：
+ * 注意：只读，不可修改。 发现问题仅写入 {@link #errors}，不抛异常。
* 变量声明用于在语法层引入新的标识符及其类型信息，
- * 通常格式为 {@code type name = initializer;}，其中初始化表达式可省略。
*
+ *
+ * const 常量
+ * （如 ModuleA.a）注册到全局常量表，支持跨模块访问。
+ * GlobalConstTable.register("ModuleA.a", 10); // 注册常量
+ * Object val = GlobalConstTable.get("ModuleA.a"); // 查询常量
+ *
+ */
+public final class GlobalConstTable {
+
+ /** 存储全局常量: “ModuleName.constName” → 常量值。线程安全。 */
+ private static final Map
- * 1. Declare-Ident declare 后必须紧跟合法标识符，并且只能一个
- * 2. Double-Ident declare 后若出现第二个 IDENTIFIER 视为多余
+ * 1. Declare-Ident declare 后必须紧跟合法标识符（或 const + 标识符），并且只能一个
+ * 2. Double-Ident declare 后若出现第二个多余的 IDENTIFIER
* ModuleName.constOrVar 形式的跨模块常量/全局变量访问，
+ * 能根据目标模块的全局符号表，返回准确的类型信息，完全支持跨模块类型推断。
+ *
+ * 对于非模块成员的访问（如对象.属性、多级 a.b.c），暂不支持，遇到时将报告语义错误。
+ *
+ * 核心特性： + *
-
+ *
- 校验模块是否存在、是否已导入（或自身）； + *
- 跨模块访问目标模块的全局符号表，查找指定成员符号及其类型； + *
- 若成员不存在，报告“模块成员未定义”语义错误； + *
- 暂不支持更复杂的对象成员访问，遇到将报“不支持的成员访问对象类型”错误。 + *
- * 负责分析和验证赋值语句的合法性，包括: + * {@code AssignmentAnalyzer} 负责对赋值语句进行语义校验。 + * + *
校验要点
*-
- *
- 变量是否已声明且可赋值（必须为 {@link SymbolKind#VARIABLE} 类型）； - *
- 赋值右值的类型是否与变量类型兼容； - *
- 是否允许进行数值类型的自动宽化转换（如 {@code int → float}）。 + *
- 左值解析：确保标识符已声明； + *
- 常量保护：禁止修改 {@link SymbolKind#CONSTANT}； + *
- 类型兼容：验证右值类型与目标类型兼容，若均为数值类型则允许宽化转换（如
int → double）。
*
- * 它逐个遍历所有模块中的函数定义，并对函数体中的每一条语句调用对应的语义分析器， - * 执行类型检查、作用域验证、错误记录等任务。 - *
- * 核心职责包括: + * 设计核心：采用“两遍扫描”方案，彻底解决跨模块全局变量/常量类型推断和引用依赖问题： *
-
- *
- 为每个函数构建局部符号表并注册函数参数为变量； - *
- 分发函数体语句至相应的 {@link StatementAnalyzer}； - *
- 记录未支持语句类型为语义错误； - *
- 依赖上下文 {@link Context} 提供模块信息、类型解析、错误收集等服务。 + *
- 第一遍：为所有模块预先构建并注册其全局符号表（globals），保证跨模块引用时可见。 + *
- 第二遍：在全局符号表全部就绪后，依次分析所有模块的函数体，实现局部作用域、类型推断、语义校验等任务。 + *
-
+ *
- 遍历所有模块，先建立 globals，再遍历并检查所有函数体语句。 + *
- 为每个函数体构建完整符号表，并注册参数变量。 + *
- 分发每条语句到对应 {@link StatementAnalyzer} 进行类型检查和错误校验。 + *
- 自动检查非 void 函数 return 完备性。 + *
- 记录所有语义错误，便于前端高亮和诊断。 *
- * 对所有模块中的所有函数依次进行处理: - *
-
- *
- 查找模块对应的 {@link ModuleInfo}； - *
- 创建函数局部符号表 {@link SymbolTable}，并注册所有参数变量； - *
- 对函数体中的每一条语句分发到已注册的分析器进行语义分析； - *
- 若某条语句无可用分析器，则记录为 {@link SemanticError}。 - *
+ * 第二遍：遍历所有模块的所有函数，对每个函数体： + *
-
+ *
- 构建局部作用域，父作用域为对应模块的 globals； + *
- 注册参数变量； + *
- 依次分发每条语句到对应 {@link StatementAnalyzer}，进行类型和语义检查； + *
- 自动校验非 void 函数 return 完备性； + *
- 将所有发现的问题统一记录到 {@link SemanticError} 列表。 + *
- * 用于在分析期间管理模块间依赖、函数签名查找等关键任务。 - * 每个模块对应一个唯一的 {@code ModuleInfo} 实例。 - *
- * 包含信息包括: + * 用于在分析期间管理模块间依赖、函数签名查找、全局符号表等关键任务。 + * 每个模块对应一个唯一的 {@code ModuleInfo} 实例，贯穿整个语义分析流程。 + * + *
包含信息： *
-
- *
- 模块名称（唯一标识）； - *
- 该模块导入的其他模块名集合； - *
- 该模块中定义的所有函数签名 {@code Map
- 模块名称（全局唯一标识）； + *
- 该模块导入的其他模块名集合（跨模块引用支持）； + *
- 该模块中定义的所有函数签名 {@code Map
- 模块级全局符号表 {@link SymbolTable}（常量 / 全局变量，支持跨模块类型推断）。 + *
典型用途： + *
-
+ *
- 用于函数签名类型查找、重名检测、跨模块引用校验等； + *
- 全局符号表为类型检查与后端 IR 常量折叠等模块级分析提供支撑。 *
- * 返回集合为内部数据的直接引用，调用方可通过 {@code add/remove} 方法动态维护导入信息。 + * 返回集合为内部数据的直接引用，调用方可通过 {@code add}/{@code remove} 方法动态维护导入信息。 * * @return 可变集合，包含所有导入模块名 */ @@ -69,4 +91,26 @@ public class ModuleInfo { return functions; } + /** + * 获取模块的全局符号表（包含常量与全局变量）。 + *
+ * 该符号表由语义分析的 FunctionChecker 阶段构建完成并注入。 + * 提供跨模块类型检查、常量折叠等能力。 + * + * @return 当前模块的全局符号表 + */ + public SymbolTable getGlobals() { + return globals; + } + + /** + * 设置模块的全局符号表。 + *
+ * 仅应由 FunctionChecker 在语义分析全局扫描阶段调用。 + * + * @param globals 全局符号表实例 + */ + public void setGlobals(SymbolTable globals) { + this.globals = globals; + } } diff --git a/src/main/java/org/jcnc/snow/compiler/semantic/symbol/SymbolKind.java b/src/main/java/org/jcnc/snow/compiler/semantic/symbol/SymbolKind.java index 5034d59..6eef2c2 100644 --- a/src/main/java/org/jcnc/snow/compiler/semantic/symbol/SymbolKind.java +++ b/src/main/java/org/jcnc/snow/compiler/semantic/symbol/SymbolKind.java @@ -3,31 +3,47 @@ package org.jcnc.snow.compiler.semantic.symbol; /** * {@code SymbolKind} 枚举用于标识符号表中不同类型的命名实体。 *
- * 在语义分析过程中，编译器需要根据符号的种类（Kind）采用不同的处理策略: + * 在语义分析过程中，编译器需要根据符号的种类（Kind）采用不同的处理策略： * 例如变量参与类型推导、函数用于调用匹配、模块用于跨作用域引用等。 + *
*- * 当前支持的符号种类包括: + * 当前支持的符号种类包括： *
-
*
- {@link #VARIABLE}: 变量符号（局部变量、全局变量、成员变量等）； + *
- {@link #CONSTANT}: 常量符号（只读、不可变的公开常量）； *
- {@link #FUNCTION}: 函数符号（自由函数、方法、构造函数等）； *
- {@link #MODULE}: 模块符号（代表命名空间、库或逻辑模块）； *
+ * 可根据需求扩展更多符号种类。 + *
*/ public enum SymbolKind { /** * 变量符号，表示在作用域中声明的可赋值实体。 *- * 包括函数参数、局部变量、全局变量、常量等， + * 包括函数参数、局部变量、全局变量、成员变量等。 * 分析器会基于其类型参与表达式类型校验和赋值检查。 + *
*/ VARIABLE, + /** + * 常量符号，表示只读、不可变的公开常量。 + *+ * 常量在声明后不可被修改，仅可读取。常用于定义全局、模块级的常量值， + * 在类型推断、常量折叠等语义分析过程中单独处理。 + *
+ */ + CONSTANT, + /** * 函数符号，表示可调用的过程实体。 ** 包括普通函数、方法、构造器等。 * 用于函数签名注册、函数调用检查及返回值推导。 + *
*/ FUNCTION, @@ -35,6 +51,7 @@ public enum SymbolKind { * 模块符号，表示一个命名空间或模块单元。 ** 在跨模块调用、导入语句校验、作用域隔离中发挥作用。 + *
*/ MODULE } diff --git a/src/main/java/org/jcnc/snow/vm/commands/ref/control/RPushCommand.java b/src/main/java/org/jcnc/snow/vm/commands/ref/control/RPushCommand.java index 6c12299..ef73aed 100644 --- a/src/main/java/org/jcnc/snow/vm/commands/ref/control/RPushCommand.java +++ b/src/main/java/org/jcnc/snow/vm/commands/ref/control/RPushCommand.java @@ -10,36 +10,54 @@ import java.util.Collections; import java.util.List; /** - * The {@code RPushCommand} class implements the {@link Command} interface - * and represents the "reference push" instruction ({@code R_PUSH}) in the virtual machine. - * + * The {@code RPushCommand} class implements the {@link Command} interface and provides + * the "reference push" instruction ({@code R_PUSH}) for the virtual machine. *- * This instruction pushes a reference-type value onto the operand stack. - * The input is parsed from the textual instruction form, which can represent: + * Function: Pushes a reference-type value (String literal or array literal) onto the operand stack. + *
+ * + *Supported Literals
*-
- *
- String literals - *
- Array literals (e.g., {@code [1, 2, 3]}), including nested arrays + *
- String Literals: Quoted strings (e.g., {@code "hello\nworld"}) with escape sequence support. + *
- Array Literals: Bracketed array forms (e.g., {@code [1, 2, [3, 4]]}), including nested arrays. *
- * For array literals, a nested list structure is constructed. In this implementation, - * array literals are pushed as mutable {@link java.util.ArrayList} structures, - * so that subsequent system calls such as {@code ARR_SET} can modify elements in-place. - *
+ *Implementation Details
+ *-
+ *
- Array literals are parsed into mutable {@link java.util.ArrayList} objects, to support in-place modification (e.g., by {@code ARR_SET}). + *
- String literals wrapped in quotes are automatically unescaped according to Java string escape rules. + *
- Handles atomic values: numbers (including hex, binary, float, long, short, byte), booleans, and fallback to string. + *
Example Usage
+ *
+ * R_PUSH "hello\nworld" // pushes String "hello\nworld" (with actual newline)
+ * R_PUSH [1, 2, 3] // pushes ArrayList {1, 2, 3}
+ * R_PUSH [1, [2, 3], 4] // pushes nested arrays as mutable lists
+ *
+ *
+ * @author (your name or org)
+ * @since 1.0
*/
public class RPushCommand implements Command {
/**
- * Executes the R_PUSH command.
+ * Executes the {@code R_PUSH} instruction. Parses the given literal parameter and pushes it onto the operand stack.
+ * + * Handles: + *
-
+ *
- Array literals (e.g., {@code [1, 2, "a"]}), parsed recursively as mutable ArrayLists + *
- Quoted string literals (e.g., {@code "abc\n"}), parsed with escape sequence support + *
- Unquoted raw strings, numbers, and atoms + *