@ Check public void checkFinalFieldInitialization ( SarlEvent event ) { final JvmGenericType inferredType = this . associations . getInferredType ( event ) ; if ( inferredType != null ) { checkFinalFieldInitialization ( inferredType ) ; } }
Check if all the fields are initialized in a SARL event .