private fun cpt_cast_pattern: Counter[String]

nitc :: DetectCovariancePhase :: cpt_cast_pattern

Property definitions

nitc $ DetectCovariancePhase :: cpt_cast_pattern 
	fun cpt_cast_pattern: Counter[String] do return once new Counter[String]
src/metrics/detect_covariance.nit:61,2--73
Nit tools. Version .