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

[K2] Add new tests on lazy resolve to check new resolve rules

Browse Source 
In the consequent commits, there are some changes in FIR resolve.
These tests will show the difference.

#KT-64151
This commit is contained in:
Ivan Kylchik
2024-03-08 17:58:30 +01:00
committed by Space Team
parent 1884a655c5
commit 0ebf2862a9
24 changed files with 2331 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt
Vendored
+3
View File
@@ -0,0 +1,3 @@
const val with<caret>Cycle1: Int = 1 + withCycle2
const val withCycle2: Int = 2 + withCycle3
const val withCycle3: Int = 3 + withCycle1
analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.txt
Vendored
+125
View File
@@ -0,0 +1,125 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(RAW_FIR)] val withCycle1: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(RAW_FIR)] val withCycle1: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val withCycle1: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(COMPANION_GENERATION)] val withCycle1: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPANION_GENERATION)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(SUPER_TYPES)] val withCycle1: Int = LAZY_EXPRESSION
public? [ResolvedTo(SUPER_TYPES)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
TYPES:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public? final? const [ResolvedTo(TYPES)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION
public? [ResolvedTo(TYPES)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
STATUS:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(STATUS)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(CONTRACTS)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#)
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
CONSTANT_EVALUATION:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(CONSTANT_EVALUATION)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#)
public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#)
public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(R|/withCycle2|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public final const [ResolvedTo(CONTRACTS)] val withCycle2: R|kotlin/Int| = IntegerLiteral(2).plus#(withCycle3#)
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] constCyclePropertyWithExplicitType.kt
public final const [ResolvedTo(BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(R|/withCycle2|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public final const [ResolvedTo(BODY_RESOLVE)] val withCycle2: R|kotlin/Int| = Int(2).R|kotlin/Int.plus|(R|/withCycle3|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public final const [ResolvedTo(BODY_RESOLVE)] val withCycle3: R|kotlin/Int| = Int(3).R|kotlin/Int.plus|(R|/withCycle1|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt
Vendored
+2
View File
@@ -0,0 +1,2 @@
fun foo(): Int = 0
const val non<caret>ConstantInitializer: Int = 1 + 5 + foo()
analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.txt
Vendored
+87
View File
@@ -0,0 +1,87 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(RAW_FIR)] val nonConstantInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(RAW_FIR)] val nonConstantInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val nonConstantInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(COMPANION_GENERATION)] val nonConstantInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPANION_GENERATION)] get(): Int
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(SUPER_TYPES)] val nonConstantInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(SUPER_TYPES)] get(): Int
TYPES:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public? final? const [ResolvedTo(TYPES)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public? [ResolvedTo(TYPES)] get(): R|kotlin/Int|
STATUS:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(STATUS)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): R|kotlin/Int|
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int|
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(CONTRACTS)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#())
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
CONSTANT_EVALUATION:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(CONSTANT_EVALUATION)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#())
public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int|
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK }
public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#())
public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int|
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt
public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Int| {
^foo IntegerLiteral(0)
}
public final const [ResolvedTo(BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/foo|())
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] constErrorPropertyWithExplicitType.kt
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
^foo Int(0)
}
public final const [ResolvedTo(BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/foo|())
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt
Vendored
+1
View File
@@ -0,0 +1 @@
const var s<caret>imple: Int = 24
analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.txt
Vendored
+83
View File
@@ -0,0 +1,83 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] set([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] value: Int): R|kotlin/Unit|
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(COMPANION_GENERATION)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPANION_GENERATION)] get(): Int
public? [ResolvedTo(COMPANION_GENERATION)] set([ResolvedTo(COMPANION_GENERATION)] value: Int): R|kotlin/Unit|
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(SUPER_TYPES)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(SUPER_TYPES)] get(): Int
public? [ResolvedTo(SUPER_TYPES)] set([ResolvedTo(SUPER_TYPES)] value: Int): R|kotlin/Unit|
TYPES:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public? final? const [ResolvedTo(TYPES)] var simple: R|kotlin/Int| = LAZY_EXPRESSION
public? [ResolvedTo(TYPES)] get(): R|kotlin/Int|
public? [ResolvedTo(TYPES)] set([ResolvedTo(TYPES)] value: R|kotlin/Int|): R|kotlin/Unit|
STATUS:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(STATUS)] var simple: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var simple: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int|
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] value: R|kotlin/Int|): R|kotlin/Unit|
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(CONTRACTS)] var simple: R|kotlin/Int| = IntegerLiteral(24)
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: R|kotlin/Int|): R|kotlin/Unit|
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] var simple: R|kotlin/Int| = IntegerLiteral(24)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
CONSTANT_EVALUATION:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(CONSTANT_EVALUATION)] var simple: R|kotlin/Int| = IntegerLiteral(24)
public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int|
public [ResolvedTo(CONSTANT_EVALUATION)] set([ResolvedTo(CONSTANT_EVALUATION)] value: R|kotlin/Int|): R|kotlin/Unit|
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] var simple: R|kotlin/Int| = IntegerLiteral(24)
public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int|
public [ResolvedTo(ANNOTATION_ARGUMENTS)] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: R|kotlin/Int|): R|kotlin/Unit|
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] constPropertiesWithExplicitType.kt
public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt
Vendored
+3
View File
@@ -0,0 +1,3 @@
const var simple: Int = 24
const val with<caret>ConstInitializer: Int = 1 + 5 + simple
analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.txt
Vendored
+111
View File
@@ -0,0 +1,111 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(RAW_FIR)] val withConstInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(RAW_FIR)] val withConstInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val withConstInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(COMPANION_GENERATION)] val withConstInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(COMPANION_GENERATION)] get(): Int
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(SUPER_TYPES)] val withConstInitializer: Int = LAZY_EXPRESSION
public? [ResolvedTo(SUPER_TYPES)] get(): Int
TYPES:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public? final? const [ResolvedTo(TYPES)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public? [ResolvedTo(TYPES)] get(): R|kotlin/Int|
STATUS:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(STATUS)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): R|kotlin/Int|
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int|
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(CONTRACTS)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#)
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
CONSTANT_EVALUATION:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(CONSTANT_EVALUATION)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#)
public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int|
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): Int
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|
public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#)
public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int|
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt
public final const [ResolvedTo(CONTRACTS)] var simple: R|kotlin/Int| = IntegerLiteral(24)
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int|
public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: R|kotlin/Int|): R|kotlin/Unit|
public final const [ResolvedTo(BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/simple|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] constPropertyWithExplicitTypeAndInitializer.kt
public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public final const [ResolvedTo(BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/simple|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|