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

Properties

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