A prototype of TrfL has been implemented in FORESYS. FORESYS is tool for the analysis and the transformation of FORETRAN programs, it was designed by SIMULOG. The aim of the presented transformation is to replace if ... elseif ... elseif constructions with a select case construction (only available in FORTRAN90). The if..elseif construction must satisfies several constraints to be transformed:

• The conditionnal expression must be of the form: if (var.eq.const) or if (var.eq.const1 .or. var.eq.const2 .or. var.eq. ...).
• var must occur in each elseif statement.

This same code after the transformation looks like that:

This screen capture shows some rules of the transformation.