[JExtract] Rework WIP

Author: rintaro

Samples/SwiftKitSampleApp/Sources/MySwiftLibrary/MySwiftClass.swift

@@ -34,6 +34,10 @@ public class MySwiftClass {
 
   public var counter: Int32 = 0
 
+  public static func factory(len: Int, cap: Int) -> MySwiftClass {
+    return MySwiftClass(len: len, cap: cap)
+  }
+
   public func voidMethod() {
     p("")
   }

Samples/SwiftKitSampleApp/build.gradle

@@ -81,7 +81,7 @@ def jextract = tasks.register("jextract", Exec) {
 
     workingDir = layout.projectDirectory
     commandLine "swift"
-    args("package", "jextract", "-v", "--log-level", "info") // TODO: pass log level from Gradle build
+    args("package", "jextract", "-v", "--log-level", "debug") // TODO: pass log level from Gradle build
 }
 
 // Add the java-swift generated Java sources

Samples/SwiftKitSampleApp/src/main/java/com/example/swift/HelloJava2Swift.java

@@ -16,13 +16,10 @@
 
 // Import swift-extract generated sources
 
-import com.example.swift.MySwiftLibrary;
-import com.example.swift.MySwiftClass;
-
 // Import javakit/swiftkit support libraries
+
 import org.swift.swiftkit.SwiftArena;
 import org.swift.swiftkit.SwiftKit;
-import org.swift.swiftkit.SwiftValueWitnessTable;
 
 public class HelloJava2Swift {
 
@@ -40,21 +37,33 @@ static void examples() {
 
         MySwiftLibrary.globalTakeInt(1337);
 
+        long cnt = MySwiftLibrary.globalWriteString("String from Java");
+
+        SwiftKit.trace("count = " + cnt);
+
+        MySwiftLibrary.globalCallMeRunnable(() -> {
+            SwiftKit.trace("running runnable");
+        });
+
         // Example of using an arena; MyClass.deinit is run at end of scope
         try (var arena = SwiftArena.ofConfined()) {
-             MySwiftClass obj = new MySwiftClass(2222, 7777, arena);
+            MySwiftClass obj = new MySwiftClass(2222, 7777, arena);
+
+            // just checking retains/releases work
+            SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
+            SwiftKit.retain(obj);
+            SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
+            SwiftKit.release(obj);
+            SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
 
-             // just checking retains/releases work
-             SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
-             SwiftKit.retain(obj);
-             SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
-             SwiftKit.release(obj);
-             SwiftKit.trace("retainCount = " + SwiftKit.retainCount(obj));
+            obj.setCounter(12);
+            SwiftKit.trace("obj.counter = " + obj.getCounter());
 
-             obj.voidMethod();
-             obj.takeIntMethod(42);
+            obj.voidMethod();
+            obj.takeIntMethod(42);
 
             MySwiftStruct swiftValue = new MySwiftStruct(2222, 1111, arena);
+            SwiftKit.trace("swiftValue.capacity = " + swiftValue.getCapacity());
         }
 
         System.out.println("DONE.");

Sources/JExtractSwift/CTypes/CType.swift

@@ -298,3 +298,12 @@ extension CType {
     }
   }
 }
+
+extension CType {
+  var isVoid: Bool {
+    return switch self {
+    case .void: true
+    default: false
+    }
+  }
+}

Sources/JExtractSwift/CodePrinter.swift

@@ -68,16 +68,16 @@ public struct CodePrinter {
     }
   }
 
-  public mutating func printTypeDecl(
-    _ text: Any,
+  public mutating func printBraceBlock(
+    _ header: Any,
     function: String = #function,
     file: String = #fileID,
     line: UInt = #line,
-    body: (inout CodePrinter) -> ()
-  ) {
-    print("\(text) {")
+    body: (inout CodePrinter) throws -> ()
+  ) rethrows {
+    print("\(header) {")
     indent()
-    body(&self)
+    try body(&self)
     outdent()
     print("}", .sloc, function: function, file: file, line: line)
   }
@@ -145,9 +145,10 @@ public struct CodePrinter {
 
   // TODO: remove this in real mode, this just helps visually while working on it
   public mutating func printSeparator(_ text: String) {
-    // TODO: actually use the indentationDepth
+    assert(!text.contains(where: \.isNewline))
     print(
       """
+
       // ==== --------------------------------------------------
       // \(text)
 

Sources/JExtractSwift/Convenience/SwiftSyntax+Extensions.swift

@@ -36,39 +36,6 @@ extension ImplicitlyUnwrappedOptionalTypeSyntax {
   }
 }
 
-extension SyntaxProtocol {
-
-  var asNominalTypeKind: NominalTypeKind {
-    if isClass {
-      .class
-    } else if isActor {
-      .actor
-    } else if isStruct {
-      .struct
-    } else if isEnum {
-      .enum
-    } else {
-      fatalError("Unknown nominal kind: \(self)")
-    }
-  }
-
-  var isClass: Bool {
-    return self.is(ClassDeclSyntax.self)
-  }
-
-  var isActor: Bool {
-    return self.is(ActorDeclSyntax.self)
-  }
-
-  var isEnum: Bool {
-    return self.is(EnumDeclSyntax.self)
-  }
-
-  var isStruct: Bool {
-    return self.is(StructDeclSyntax.self)
-  }
-}
-
 extension DeclModifierSyntax {
   var isAccessControl: Bool {
     switch self.name.tokenKind {

Sources/JExtractSwift/ImportedDecls+Printing.swift

@@ -20,82 +20,14 @@ extension ImportedFunc {
   /// Render a `@{@snippet ... }` comment section that can be put inside a JavaDoc comment
   /// when referring to the original declaration a printed method refers to.
   var renderCommentSnippet: String? {
-    if let syntax {
+    if let signatureString {
       """
        * {@snippet lang=swift :
-       * \(syntax)
+       * \(signatureString)
        * }
       """
     } else {
       nil
     }
   }
 }
-
-extension VariableAccessorKind {
-
-  public var fieldSuffix: String {
-    switch self {
-      case .get: "_GET"
-      case .set: "_SET"
-    }
-  }
-
-  public var renderDescFieldName: String {
-    switch self {
-    case .get: "DESC_GET"
-    case .set: "DESC_SET"
-    }
-  }
-
-  public var renderAddrFieldName: String {
-    switch self {
-    case .get: "ADDR_GET"
-    case .set: "ADDR_SET"
-    }
-  }
-
-  public var renderHandleFieldName: String {
-    switch self {
-    case .get: "HANDLE_GET"
-    case .set: "HANDLE_SET"
-    }
-  }
-
-  /// Renders a "$get" part that can be used in a method signature representing this accessor.
-  public var renderMethodNameSegment: String {
-    switch self {
-    case .get: "$get"
-    case .set: "$set"
-    }
-  }
-
-  func renderMethodName(_ decl: ImportedFunc) -> String? {
-    switch self {
-    case .get: "get\(decl.identifier.toCamelCase)"
-    case .set: "set\(decl.identifier.toCamelCase)"
-    }
-  }
-}
-
-extension Optional where Wrapped == VariableAccessorKind {
-  public var renderDescFieldName: String {
-    self?.renderDescFieldName ?? "DESC"
-  }
-
-  public var renderAddrFieldName: String {
-    self?.renderAddrFieldName ?? "ADDR"
-  }
-
-  public var renderHandleFieldName: String {
-    self?.renderHandleFieldName ?? "HANDLE"
-  }
-
-  public var renderMethodNameSegment: String {
-    self?.renderMethodNameSegment ?? ""
-  }
-
-  func renderMethodName(_ decl: ImportedFunc) -> String {
-    self?.renderMethodName(decl) ?? decl.baseIdentifier
-  }
-}