Merge pull request #280 from rintaro/jextract-ffm-noeffect

rintaro · web-flow · commit 649140b50f8e · 2025-06-17T13:24:55.000-07:00
[JExtract] Prohibit 'throws' in FFM generator
diff --git a/Sources/JExtractSwiftLib/FFM/CDeclLowering/FFMSwift2JavaGenerator+FunctionLowering.swift b/Sources/JExtractSwiftLib/FFM/CDeclLowering/FFMSwift2JavaGenerator+FunctionLowering.swift
@@ -109,6 +109,11 @@ struct CdeclLowering {
       )
     }
 
+    for effect in signature.effectSpecifiers {
+      // Prohibit any effects for now.
+      throw LoweringError.effectNotSupported(effect)
+    }
+
     // Lower the result.
     let loweredResult = try lowerResult(signature.result.type)
 
@@ -642,4 +647,5 @@ extension LoweredFunctionSignature {
 enum LoweringError: Error {
   case inoutNotSupported(SwiftType)
   case unhandledType(SwiftType)
+  case effectNotSupported(SwiftEffectSpecifier)
 }

Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,11 @@ struct CdeclLowering {`
`109`	`109`	`)`
`110`	`110`	`}`
`111`	`111`
	`112`	`+ for effect in signature.effectSpecifiers {`
	`113`	`+ // Prohibit any effects for now.`
	`114`	`+ throw LoweringError.effectNotSupported(effect)`
	`115`	`+ }`
	`116`	`+`
`112`	`117`	`// Lower the result.`
`113`	`118`	`let loweredResult = try lowerResult(signature.result.type)`
`114`	`119`
`@@ -642,4 +647,5 @@ extension LoweredFunctionSignature {`
`642`	`647`	`enum LoweringError: Error {`
`643`	`648`	`case inoutNotSupported(SwiftType)`
`644`	`649`	`case unhandledType(SwiftType)`
	`650`	`+ case effectNotSupported(SwiftEffectSpecifier)`
`645`	`651`	`}`