strips/pork
2
0
Fork 0
mirror of https://github.com/GayPizzaSpecifications/pork.git synced 2025-08-02 12:50:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

implement java native type support

Browse Source
This commit is contained in:
Alex Zenla 2025-07-24 23:16:50 -07:00
parent e86b800a7d
commit 60c7b2d4be
No known key found for this signature in database
GPG Key ID: 067B238899B51269
7 changed files with 60 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
evaluator/src/main/kotlin/gay/pizza/pork/evaluator/AdaptedNativeProvider.kt
View File

@ -1,7 +1,9 @@
package gay.pizza.pork.evaluator
import gay.pizza.pork.ast.gen.ArgumentSpec
import gay.pizza.pork.execution.NativeFunction
import gay.pizza.pork.execution.NativeProvider
import gay.pizza.pork.execution.NativeType
class AdaptedNativeProvider(val provider: NativeProvider) : ExpandedNativeProvider {
override fun provideNativeFunction(
@ -12,4 +14,12 @@ class AdaptedNativeProvider(val provider: NativeProvider) : ExpandedNativeProvid
val function = provider.provideNativeFunction(definitions)
return CallableFunction { args, _ -> function.invoke(args) }
}
override fun provideNativeFunction(definitions: List<String>): NativeFunction {
return provider.provideNativeFunction(definitions)
}
override fun provideNativeType(definitions: List<String>): NativeType {
return provider.provideNativeType(definitions)
}
}

9
evaluator/src/main/kotlin/gay/pizza/pork/evaluator/ExpandedNativeProvider.kt
View File

@ -1,7 +1,12 @@
package gay.pizza.pork.evaluator
import gay.pizza.pork.ast.gen.ArgumentSpec
import gay.pizza.pork.execution.NativeProvider
interface ExpandedNativeProvider {
fun provideNativeFunction(definitions: List<String>, arguments: List<ArgumentSpec>, inside: SlabContext): CallableFunction
interface ExpandedNativeProvider: NativeProvider {
fun provideNativeFunction(definitions: List<String>, arguments: List<ArgumentSpec>, inside: SlabContext): CallableFunction {
val function = provideNativeFunction(definitions)
return CallableFunction { arguments, _ -> function.invoke(arguments) }
}
}

1
examples/java.pork
View File

@ -3,6 +3,7 @@ import java java.lang.System
import java java.io.PrintStream
export func main() {
println(java_lang_System)
let stream = java_lang_System_err_get()
java_io_PrintStream_println_string(stream, "Hello World")
let pi = java_lang_Math_PI_get()

17
ffi/src/main/kotlin/gay/pizza/pork/ffi/JavaAutogen.kt
View File

@ -11,7 +11,18 @@ class JavaAutogen(val javaClass: Class<*>) {
fun generateCompilationUnit(): CompilationUnit {
return CompilationUnit(
declarations = listOf(),
definitions = generateFunctionDefinitions()
definitions = generateFunctionDefinitions() + generateTypeDefinition()
)
}
fun generateTypeDefinition(): TypeDefinition {
return TypeDefinition(
modifiers = DefinitionModifiers(export = true),
symbol = Symbol(prefix),
nativeTypeDescriptor = NativeTypeDescriptor(
form = Symbol("java"),
definitions = listOf(StringLiteral(javaClass.name)),
)
)
}
@ -50,7 +61,9 @@ class JavaAutogen(val javaClass: Class<*>) {
if (Modifier.isStatic(method.modifiers)) {
definitions[name] = function(name, parameterNames, form("static"))
} else {
definitions[name] = function(name, parameterNames, form("virtual"))
val finalParameterNames = parameterNames.toMutableList()
finalParameterNames.add(0, "__instance")
definitions[name] = function(name, finalParameterNames, form("virtual"))
}
}

39
ffi/src/main/kotlin/gay/pizza/pork/ffi/JavaNativeProvider.kt
View File

@ -1,8 +1,5 @@
package gay.pizza.pork.ffi
import gay.pizza.pork.ast.gen.ArgumentSpec
import gay.pizza.pork.evaluator.CallableFunction
import gay.pizza.pork.evaluator.SlabContext
import gay.pizza.pork.evaluator.ExpandedNativeProvider
import gay.pizza.pork.execution.NativeFunction
import gay.pizza.pork.execution.NativeProvider
@ -14,25 +11,6 @@ import java.lang.invoke.MethodType
class JavaNativeProvider : ExpandedNativeProvider, NativeProvider {
private val lookup = MethodHandles.lookup()
override fun provideNativeFunction(
definitions: List<String>,
arguments: List<ArgumentSpec>,
inside: SlabContext
): CallableFunction {
val functionDefinition = JavaFunctionDefinition.parse(definitions)
val javaClass = lookupClass(functionDefinition.type)
val returnTypeClass = lookupClass(functionDefinition.returnType)
val parameterClasses = functionDefinition.parameters.map { lookupClass(it) }
val handle = mapKindToHandle(
functionDefinition.kind,
functionDefinition.symbol,
javaClass,
returnTypeClass,
parameterClasses
)
return CallableFunction { functionArguments, _ -> handle.invokeWithArguments(functionArguments) ?: None }
}
private fun lookupClass(name: String): Class<*> = when (name) {
"void" -> Void.TYPE
"String" -> String::class.java
@ -67,10 +45,23 @@ class JavaNativeProvider : ExpandedNativeProvider, NativeProvider {
}
override fun provideNativeFunction(definitions: List<String>): NativeFunction {
throw RuntimeException("Invalid Native Function Usage")
val functionDefinition = JavaFunctionDefinition.parse(definitions)
val javaClass = lookupClass(functionDefinition.type)
val returnTypeClass = lookupClass(functionDefinition.returnType)
val parameterClasses = functionDefinition.parameters.map { lookupClass(it) }
val handle = mapKindToHandle(
functionDefinition.kind,
functionDefinition.symbol,
javaClass,
returnTypeClass,
parameterClasses
)
return NativeFunction { functionArguments -> handle.invokeWithArguments(functionArguments) ?: None }
}
override fun provideNativeType(definitions: List<String>): NativeType {
throw RuntimeException("Invalid Native Type Usage")
val className = definitions[0]
val javaClass = Class.forName(className)
return JavaNativeType(javaClass)
}
}

9
ffi/src/main/kotlin/gay/pizza/pork/ffi/JavaNativeType.kt Normal file
View File

@ -0,0 +1,9 @@
package gay.pizza.pork.ffi
import gay.pizza.pork.execution.NativeType
class JavaNativeType(val wrappedJavaClass: Class<*>) : NativeType {
override fun value(): Any {
return wrappedJavaClass
}
}

4
frontend/src/main/kotlin/gay/pizza/pork/frontend/scope/ExternalSymbolUsageAnalyzer.kt
View File

@ -12,7 +12,9 @@ class ExternalSymbolUsageAnalyzer : FunctionLevelVisitor<Unit>() {
override fun visitFunctionDefinition(node: FunctionDefinition) {
for (argument in node.arguments) {
visit(argument.typeSpec!!)
if (argument.typeSpec != null) {
visit(argument.typeSpec!!)
}
}
if (node.returnType != null) {