Reputation: 11512
I want to (static) reflect a sample class like this:
case class Foo[T,U](stuff:T, more:U, age:Int) {
val ignore:Boolean = false
}
I started like this:
val symbol = currentMirror.classSymbol(clazz) // symbol is universe.ClassSymbol
// I want to know about type placeholders T and U
val typeParamArgs = symbol.typeParams.map( tp => tp.name.toString)
if( symbol.isCaseClass ) {
val tsig = symbol.typeSignature
println(tsig)
}
Ok, at this point if I print tsig I see:
[T, U]scala.AnyRef
with scala.Product
with scala.Serializable {
val stuff: T
private[this] val stuff: T
val more: U
private[this] val more: U
val age: scala.Int
private[this] val age: scala.Int
def <init>(stuff: T,more: U,age: scala.Int): co.blocke.Foo[T,U]
val ignore: scala.Boolean
private[this] val ignore: scala.Boolean
def copy[T, U](stuff: T,more: U,age: scala.Int): co.blocke.Foo[T,U]
def copy$default$1[T, U]: T @scala.annotation.unchecked.uncheckedVariance
def copy$default$2[T, U]: U @scala.annotation.unchecked.uncheckedVariance
def copy$default$3[T, U]: scala.Int @scala.annotation.unchecked.uncheckedVariance
override def productPrefix: java.lang.String
def productArity: scala.Int
def productElement(x$1: scala.Int): scala.Any
override def productIterator: Iterator[scala.Any]
def canEqual(x$1: scala.Any): scala.Boolean
override def hashCode(): scala.Int
override def toString(): java.lang.String
override def equals(x$1: scala.Any): scala.Boolean
}
See that line in the middle with <init>? That's the declaration I want to introspect. It's got what I need.
How can I pick apart tsig (universe.Type) to get info about <init>? (I don't want info about 'ignore'.)
Upvotes: 6
Views: 896
Reputation: 9135
Instead of inspecting the class's .typeSignature
, inspect the type signature of the constructor with .primaryConstructor.typeSignature
:
val csig = symbol.primaryConstructor.typeSignature
val params = csig.paramLists.head // paramLists returns a List of Lists
This gives you a list of the parameters of the primary constructor, so you can query the names, types, etc.:
scala> params(1).name
res47: reflect.runtime.universe.Symbol#NameType = more
scala> params(2).typeSignature
res48: reflect.runtime.universe.Type = scala.Int
Upvotes: 3