ParamInfo

data class ParamInfo( val name: String, val smtName: String, val type: Type?, val element: Element?, val thisFromConstructor: Boolean = false)

Constructors

fun ParamInfo( name: String, smtName: String, type: Type?, element: Element?, thisFromConstructor: Boolean = false)