cz.muni.stanse.statistics.StatisticalDatabaseBuilder Class Reference

Static Public Member Functions
static void	run (final String outputFile)
static Vector< Element >	toElements (final Collection< CheckerError > errors)

Member Function Documentation

static void cz.muni.stanse.statistics.StatisticalDatabaseBuilder.run ( final String  outputFile )

inlinestatic

static Vector<Element> cz.muni.stanse.statistics.StatisticalDatabaseBuilder.toElements ( final Collection< CheckerError >  errors )

inlinestatic

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/statistics/StatisticalDatabaseBuilder.java