@@ -8,54 +8,99 @@ class Test(var a: List<Any>, b: List<Any>)
88
99fun main () {
1010 val tmp = Test (emptyList(), emptyList())
11- tmp.a = listOf ( Reflekt .objects().withSubType <AInterface >().withAnnotations<AInterface >(FirstAnnotation ::class ))
12- println (tmp)
11+ tmp.a = Reflekt .objects().withSupertype <AInterface >().withAnnotations<AInterface >(FirstAnnotation ::class ).toList( )
12+ println (tmp.a )
1313
14- val objects = Reflekt .objects().withSubType <AInterface >().withAnnotations<AInterface >(FirstAnnotation ::class , SecondAnnotation ::class ).toList()
14+ val objects = Reflekt .objects().withSupertype <AInterface >().withAnnotations<AInterface >(FirstAnnotation ::class , SecondAnnotation ::class ).toList()
1515 println (objects)
16- val objects1 = Reflekt .objects().withSubType <AInterface >()
16+ val objects1 = Reflekt .objects().withSupertype <AInterface >()
1717 .withAnnotations<AInterface >(FirstAnnotation ::class , SecondAnnotation ::class ).toList()
1818 println (objects1)
1919
20- val objects2 = Reflekt .objects().withSubTypes (AInterface ::class , A1 ::class )
20+ val objects2 = Reflekt .objects().withSupertypes (AInterface ::class , A1 ::class )
2121 .withAnnotations<AInterface >(FirstAnnotation ::class , SecondAnnotation ::class ).toList()
2222 println (objects2)
2323
24- val objects3 = Reflekt .objects().withSubTypes (AInterface ::class , A1 ::class )
24+ val objects3 = Reflekt .objects().withSupertypes (AInterface ::class , A1 ::class )
2525 .withAnnotations<AInterface >(FirstAnnotation ::class ).toList()
2626 println (objects3)
2727
2828 val objects4 = Reflekt .objects().withAnnotations<AInterface >(FirstAnnotation ::class ).toList()
2929 println (objects4)
3030 val objects5 = Reflekt .objects().withAnnotations<AInterface >(FirstAnnotation ::class ).toList()
3131 println (objects5)
32- val objects6 = Reflekt .objects().withAnnotations<A1 >(FirstAnnotation ::class ).withSubType <AInterface >().toList()
32+ val objects6 = Reflekt .objects().withAnnotations<A1 >(FirstAnnotation ::class ).withSupertype <AInterface >().toList()
3333 println (objects6)
34- val objects7 = Reflekt .objects().withAnnotations<A1 >(FirstAnnotation ::class ).withSubTypes (AInterface ::class ).toList()
34+ val objects7 = Reflekt .objects().withAnnotations<A1 >(FirstAnnotation ::class ).withSupertypes (AInterface ::class ).toList()
3535 println (objects7)
36- val objects8 = Reflekt .objects().withSubType <AInterface >().toList()
36+ val objects8 = Reflekt .objects().withSupertype <AInterface >().toList()
3737 println (objects8)
3838
39- val classes1 = Reflekt .classes().withSubType <AInterface >().toList()
39+ val classes1 = Reflekt .classes().withSupertype <AInterface >().toList()
4040 println (classes1)
41- val classes2 = Reflekt .classes().withSubType <BInterface >().toSet()
41+ val classes2 = Reflekt .classes().withSupertype <BInterface >().toSet()
4242 println (classes2)
4343 val classes3 = Reflekt .classes().withAnnotations<B2 >(FirstAnnotation ::class , SecondAnnotation ::class ).toList()
4444 println (classes3)
4545
46- val classes4 = Reflekt .classes().withSubType <Action >().toList()
46+ val classes4 = Reflekt .classes().withSupertype <Action >().toList()
4747 println (classes4)
4848
4949 val functions = Reflekt .functions().withAnnotations< () -> Unit > (FirstAnnotation ::class ).toList()
5050 println (functions)
5151
52- val smartClasses = SmartReflekt .classes<BInterface >().filter { it.isData() }.resolve()
53- println (smartClasses)
54-
55- val smartObjects = SmartReflekt .objects<BInterface >().filter { it.isCompanion() }.resolve()
56- println (smartObjects)
52+ // TODO: it does not work (error with TestFunctions$Companion), see issue#52: https://github.com/JetBrains-Research/reflekt/issues/52
53+ // val smartClasses = SmartReflekt.classes<BInterface>().filter { it.isData() }.resolve()
54+ // println(smartClasses)
55+ //
56+ // val smartObjects = SmartReflekt.objects<BInterface>().filter { it.isCompanion() }.resolve()
57+ // println(smartObjects)
5758
5859 val smartFunctions = SmartReflekt .functions< () -> Unit > ().filter { it.isTopLevel && it.name == " foo"
5960 println (smartFunctions)
6061 smartFunctions.forEach { it() }
62+
63+ val fooBoolean = SmartReflekt .functions< () -> Boolean > ().filter { it.isTopLevel && it.name == " fooBoolean"
64+ .map { it.toString() }.toSet()
65+ println (" fooBoolean: $fooBoolean "
66+
67+ val fooStar = SmartReflekt .functions< (List <* >) -> Unit > ().filter { it.isTopLevel && it.name == " withStar" listOf (1 )) }
68+ .map { it.toString() }.toSet()
69+ println (" fooStar: $fooStar "
70+
71+ // TODO: we will support gnerics with bounds
72+ // val fooBound = SmartReflekt.functions<(Number) -> Unit>().filter { it.isTopLevel && it.name == "withBound" }.resolve().onEach { it(listOf(1)) }
73+ // .map { it.toString() }.toSet()
74+ // println("fooBound: $fooBound")
75+
76+ /* *
77+ * Such calls still fail, but it seems it's not a Reflekt problem since Kotlin doesn't consider our functions as subtypes of the given signature.
78+ */
79+
80+ // val fooArray = SmartReflekt.functions<Function0<Array<*>>>().filter { it.isTopLevel && it.name == "fooArray" }.resolve().onEach { it() }.map { it.toString() }.toSet()
81+ // println(fooArray)
82+ //
83+ // val fooList = SmartReflekt.functions<Function0<List<*>>>().filter { it.isTopLevel && it.name == "fooList" }.resolve().onEach { it() }.map { it.toString() }.toSet()
84+ // println(fooList)
85+ //
86+ // val fooMyInClass = SmartReflekt.functions<Function0<MyInClass<*>>>().filter { it.isTopLevel && it.name == "fooMyInClass" }.resolve().onEach { it() }.map { it.toString() }.toSet()
87+ // println(fooMyInClass)
88+
89+ /* *
90+ * The simplest way to check it's to pass our functions as a parameter of an argument with the given signature:
91+ */
92+ // arrayTestFun(::fooArray)
93+ // listTestFun(::fooList)
94+ // myInClassTestFun(::fooMyInClass)
95+
96+ /* *
97+ * For each of the functions Kotlin says [NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER] Not enough information to infer type variable T
98+ * Maybe we need to check https://kotlinlang.org/spec/type-system.html#mixed-site-variance
99+ */
61100}
101+
102+ fun arrayTestFun (funToTest : Function0 <Array <* >>) {}
103+
104+ fun listTestFun (funToTest : Function0 <List <* >>) {}
105+
106+ fun myInClassTestFun (funToTest : Function0 <MyInClass <* >>) {}
0 commit comments