arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check/ParamInfo

ParamInfo

data class ParamInfo(name: String, smtName: String, type: Type?, element: Element?, thisFromConstructor: Boolean)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Properties

Link copied to clipboard
val element: Element?
Content copied to clipboard
Link copied to clipboard
val name: String
Content copied to clipboard
Link copied to clipboard
val smtName: String
Content copied to clipboard
Link copied to clipboard
val thisFromConstructor: Boolean = false
Content copied to clipboard
Link copied to clipboard
val type: Type?
Content copied to clipboard