Kotlinソースコード探訪
•
1 like•2,556 views
Kotlin Internal勉強会の発表資料です https://connpass.com/event/40360/
More Related Content
What's hot
What's hot (20)
Similar to Kotlinソースコード探訪
Similar to Kotlinソースコード探訪 (20)
More from yy yank
Recently uploaded
Recently uploaded (14)
Kotlinソースコード探訪
- 1. Kotlinソースコード探訪 Kotlin Internal 勉強会 2016-11-26 @yy_yank
- 10. git clone https://github.com/JetBrains/kotlin.git tree kotlin Kotlinリポジトリ
- 11. ・・・・ 8104 directories, 49441 files 割とごった煮感がある Kotlinリポジトリ
- 18. compiler ・コンパイルをする（当然） ・ざっくりと見るとコンパイラのフロントエンドとバックエンドとい う概念を持ってパッケージが構成されている フロントエンド = ソースコード解析 バックエンド = クラスバイナリ生成 compilerモジュール
- 20. こんな感じ
- 21. compiler ・大体予想はつくと思いますがcompileはvisitorパターンが 使われています ・KtVisitor<R, D> extends PsiElementVisitor このクラスが構文木を順に追いかけて評価するようなかたち （おそらく） ・KtExpression、KtElementなどがそれぞれのイディオムや 要素を表現。KtTokensに予約語など compilerモジュール
- 25. ちょっとコード kotlinc.bat rem based on scalac.bat from the Scala distribution ・・・(中略)・・・ if not "%_KOTLIN_RUNNER%"=="" ( "%_JAVACMD%" %_JAVA_OPTS% "-Dkotlin.home=%_KOTLIN_HOME%" -cp "%_KOTLIN_HOME%libkotlin-runner.jar" ^ org.jetbrains.kotlin.runner.Main %* )
- 26. else ( "%_JAVACMD%" %_JAVA_OPTS% -noverify -cp "%_KOTLIN_HOME%libkotlin-preloader.jar" ^ org.jetbrains.kotlin.preloading.Preloader -cp "%_KOTLIN_HOME%libkotlin-compiler.jar" ^ %_KOTLIN_COMPILER% %* ) ちょっとコード kotlinc.bat
- 27. object Main { private val KOTLIN_HOME: File init { val home = System.getProperty("kotlin.home") if (home == null) { System.err.println("error: no kotlin.home system property was passed") System.exit(1) } KOTLIN_HOME = File(home) ちょっとコード org.jetbrains.kotlin.runner.Main.kt(一部抜粋)
- 28. private fun run(args: Array<String>) { val classpath = Classpath() var runner: Runner? = null var collectingArguments = false val arguments = arrayListOf<String>() var noReflect = false classpath.add(".") var i = 0 ちょっとコード org.jetbrains.kotlin.runner.Main.kt(一部抜粋)
- 29. if ("-help" == arg || "-h" == arg) { printUsageAndExit() } else if ("-version" == arg) { printVersionAndExit() }else if ("-classpath" == arg || "-cp" == arg) { classpath.add(next()) }else if ("-expression" == arg || "-e" == arg) { runner = ExpressionRunner(next()) ちょっとコード org.jetbrains.kotlin.runner.Main.kt(一部抜粋)
- 34. eval4j ・evalします ・Javaのバイトコードのインタプリタ。デバッガで使うためのも のらしい (eval4j is a Java byte code interpreter written in Java. Its primary use case is implementing expression evaluation in debuggers.) https://github.com/abreslav/eval4j ・基本的にJavaのスタックマシンの命令セットの ハンドリングと実行をしているように見えます eval4jモジュール
- 35. fun boxType(value: Value): Value { val method = when (value.asmType) { Type.INT_TYPE -> MethodDescription("java/lang/Integer", "valueOf", "(I)Ljava/lang/Integer;", false) Type.BYTE_TYPE -> MethodDescription("java/lang/Byte", "valueOf", "(B)Ljava/lang/Byte;", false) Type.SHORT_TYPE -> MethodDescription("java/lang/Short", "valueOf", "(S)Ljava/lang/Short;", false) Type.LONG_TYPE -> MethodDescription("java/lang/Long", "valueOf", "(J)Ljava/lang/Long;", false) Type.BOOLEAN_TYPE -> MethodDescription("java/lang/Boolean", "valueOf", "(Z)Ljava/lang/Boolean;", false) // ・・・・・（中略）・・・・・ false) else -> throw UnsupportedOperationException("Couldn't box non primitive type ${value.asmType.internalName}") } return invokeStaticMethod(method, listOf(value)) } ちょっとコード
- 36. ちょっとコード override fun newOperation(insn: AbstractInsnNode): Value? { return when (insn.opcode) { ACONST_NULL -> {return NULL_VALUE} ICONST_M1 -> int(-1) ICONST_0 -> int(0) ICONST_1 -> int(1) ICONST_2 -> int(2) ICONST_3 -> int(3) ICONST_4 -> int(4) ICONST_5 -> int(5) LCONST_0 -> long(0) ・・・・・
- 40. grammer ・grmという謎のファイルが入っていて文法表現が書い てある ・BNFのようなBNFじゃないようなもの(?) This module contains a semi-formal description of Kotlin grammar. It is processed by a tool to generate the Kotlin grammar specification on the Kotlin Web site. とREADMEには書いてある grammerモジュール
- 41. annotations : (annotation | annotationList)* ; annotation : "@" (annotationUseSiteTarget ":")? unescapedAnnotation ; annotationList : "@" (annotationUseSiteTarget ":")? "[" unescapedAnnotation+ "]" ; ちょっと見てみる
- 42. ちょっと見てみる annotationUseSiteTarget : "file" : "field" : "property" : "get" : "set" : "param" : "setparam" ; unescapedAnnotation : SimpleName{"."} typeArguments? valueArguments? ;
- 45. object KotlinHighlightingUtil { fun shouldHighlight(psiElement: PsiElement): Boolean { val ktFile = psiElement.containingFile as? KtFile ?: return false return ktFile is KtCodeFragment || ktFile.isScript || ProjectRootsUtil.isInProjectOrLibraryContent(ktFile) } fun shouldHighlightErrors(psiElement: PsiElement): Boolean { val ktFile = psiElement.containingFile as? KtFile ?: return false return ktFile is KtCodeFragment || ktFile.isScript || ProjectRootsUtil.isInProjectSource(ktFile) } } ちょっとコード
- 47. idea-runner This module exists for the sole purpose of providing the classpath for the IDEA run configuration. This run configuration takes a plugin from the KotlinPlugin artifact instead of the project's 'out' directory, which makes it possible for our plugin to depend on other plugins such as JUnit plugin. If you want to debug some patch to IDEA, you can add copy of IDEA class into this module and modify. ということでIntelliJ IDEAのプロジェクト構成の場合にKotlin を動かすというものらしいです idea-runnerモジュール
- 51. jps-plugin ・https://github.com/JetBrains/JPS 用のプラグインのようです。Gantベース。 ※Gant is Groovy Ant Scripting jps-pluginモジュール
- 68. ultimate ・IntelliJ IDEAのUE(Ultimate Edition)対応実装 ・今のところ Spring Frameworkに対しての実装のみ ultimateモジュール