org.eclipse.ocl.examples.eventmanager.util

Class Statistics.Record