一个用于编译和执行 Kotlin 代码的 REST 服务器。 该服务器为 Kotlin Playground 库提供 API。
在启动服务器之前,下载 Kotlin 依赖项并构建执行器:
$ ./gradlew build -x test
启动 Spring Boot 项目。主类:com.compiler.server.CompilerApplication
要在 Docker 容器内构建应用程序,请从项目目录运行以下命令:
$ ./docker-image-build.sh
$ ./gradlew buildLambda
从 build/distributions 获取 .zip 文件。
Lambda 处理程序:com.compiler.server.lambdas.StreamLambdaHandler::handleRequest。
发布您的 Lambda 函数:您可以按照 AWS Lambda 文档 中的说明打包您的函数以进行部署。
添加 Kotless 并 移除 aws-serverless-container =)
curl -X POST \ http://localhost:8080/api/compiler/run \ -H 'Content-Type: application/json' \ -d '{ "args": "1 2 3", "files": [ { "name": "File.kt", "text": "fun main() {\n println(\"123\")\n}" } ] }'
curl -X POST \ http://localhost:8080/api/compiler/translate \ -H 'Content-Type: application/json' \ -d '{ "args": "1 2 3", "files": [ { "name": "File.kt", "text": "fun main(args: Array<String>) {\n println(args[0])\n }" } ] }'
curl -X POST \ http://localhost:8080/api/compiler/test \ -H 'Content-Type: application/json' \ -d '{ "files": [ { "name": "File.kt", "text": "fun start(): String = \"OK\"" }, { "name": "test0.kt", "text": "import org.junit.Assert\nimport org.junit.Test\n\nclass TestStart {\n @Test fun testOk() {\n Assert.assertEquals(\"OK\", start())\n }\n}" }, { "name": "test1.kt", "text": "package koans.util\n\nfun String.toMessage() = \"The function '\''$this'\'' is implemented incorrectly\"\n\nfun String.toMessageInEquals() = toMessage().inEquals()\n\nfun String.inEquals() = this" } ] }'
curl -X POST \ 'http://localhost:8080/api/compiler/complete?line=2&ch=15' \ -H 'Content-Type: application/json' \ -d '{ "files": [ { "name": "File.kt", "text": "fun main() {\n val sinusoid = \"sinusoid\"\n val s = sin\n}" } ] }'
curl -X POST \ http://localhost:8080/api/compiler/highlight \ -H 'Content-Type: application/json' \ -d '{ "files": [ { "name": "File.kt", "text": "fun main() {\n println(\"Hello, world!!!\")ass\n val random = Random\n}" } ] }'
curl -X GET http://localhost:8080/versions
该服务器还支持 Kotlin Playground 库的 API。
只需通过名为 kotlinDependency 的任务将您需要的依赖项添加到 build.gradle.kts 中:
kotlinDependency "your dependency"
注意:如果您添加的库使用反射、访问文件系统或执行任何其他类型的安全敏感操作,请不要忘记配置 executors.policy。点击此处 获取有关 Java 安全策略 的更多信息。
如何在 executors.policy 中设置 Java 安全策略
如果您想配置自定义依赖项,请使用标记 @LIB_DIR@:
grant codeBase "file:%%LIB_DIR%%/junit-4.12.jar"{
permission java.lang.reflect.ReflectPermission "suppressAccessChecks";
permission java.lang.RuntimePermission "setIO";
permission java.io.FilePermission "<<ALL FILES>>", "read";
permission java.lang.RuntimePermission "accessDeclaredMembers";
};
设置环境变量
| 环境变量 | 默认值 |
|---|---|
| ACCESS_CONTROL_ALLOW_ORIGIN_VALUE | * |
| ACCESS_CONTROL_ALLOW_HEADER_VALUE | * |
我们使用 prod spring 活动配置文件以 JSON 格式流式传输日志。
您可以通过提供 -Dspring.profiles.active=prod 或将环境变量 SPRING_PROFILES_ACTIVE 设置为 prod 值来设置 spring 配置文件。
在执行失败的情况下,标准输出中将出现 INFO 级别的事件:
{ "date_time": "31/Aug/2021:11:49:45 +03:00", "@version": "1", "message": "Code execution is complete.", "logger_name": "com.compiler.server.service.KotlinProjectExecutor", "thread_name": "http-nio-8080-exec-1", "level": "INFO", "level_value": 20000, "hasErrors": true, "confType": "JAVA", "kotlinVersion": "$koltinVersion" }
$ ./gradlew build
/^[0-9.]+$/(可选)

免费创建高清无水印Sora视频
Vora是一个免费创建高清无水印Sora视频的AI工具


最适合小白的AI自动化工作流平台
无需编码,轻松生成可复用、可变现的AI自动化工作流

大模型驱动的Excel数据处理工具
基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。


AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。


AI论文写作指导平台
AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。


AI一键生成PPT,就用博思AIPPT!
博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。


AI赋能电商视觉革命,一站式智能商拍平台
潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天 猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。


企业专属的AI法律顾问
iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。


稳定高效的流量提升解决方案,助力品牌曝光
稳定高效的流量提升解决方案,助力品牌曝光


最新版Sora2模型免费使用,一键生成无水印视频
最新版Sora2模型免费使用,一键生成无水印视频
最新AI工具、AI资讯
独家AI资源、AI项目落地

微信扫一扫关注公众号