azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Check pre- and postconditions on phases

Browse Source
This commit is contained in:
Georgy Bronnikov
2019-02-15 06:43:46 +03:00
parent 48433110a4
commit da13d3288e
8 changed files with 245 additions and 129 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/config/CommonConfigurationKeys.kt
+6
View File
@@ -72,6 +72,12 @@ object CommonConfigurationKeys {
@JvmField
val PROFILE_PHASES = CompilerConfigurationKey.create<Boolean>("profile backend phase execution")
@JvmField
val CHECK_PHASE_CONDITIONS = CompilerConfigurationKey.create<Boolean>("run pre- and postcondition checkers for phases")
@JvmField
val CHECK_STICKY_CONDITIONS = CompilerConfigurationKey.create<Boolean>("run sticky postcondition checkers on subsequent phases as well")
@JvmField
val EXCLUDED_ELEMENTS_FROM_DUMPING = CompilerConfigurationKey.create<Set<String>>("lowering elements which shouldn't be dumped at all")
}