org.activemath.webapp.tools
Class LOSupportStatistics

java.lang.Object
  org.activemath.webapp.tools.LOSupportStatistics

public class LOSupportStatistics
extends Object

Constructor Summary

LOSupportStatistics()

Method Summary

int	getLOtotal()
String	getLOtype()
MBaseID	getMBaseID()
int	getNumberAssertions()
int	getNumberDefinitions()
int	getNumberExamples()
int	getNumberExercises()
int	getNumberMethods()
int	getNumberProofs()
int	getNumberTexts()
void	incAssertions()
void	incDefinitions()
void	incExamples()
void	incExercises()
void	incMethods()
void	incProofs()
void	incTexts()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LOSupportStatistics

public LOSupportStatistics()

Method Detail

incDefinitions

public void incDefinitions()

incExercises

public void incExercises()

incExamples

public void incExamples()

incProofs

public void incProofs()

incTexts

public void incTexts()

incAssertions

public void incAssertions()

incMethods

public void incMethods()

getMBaseID

public MBaseID getMBaseID()

getNumberDefinitions

public int getNumberDefinitions()

getNumberExercises

public int getNumberExercises()

getNumberExamples

public int getNumberExamples()

getNumberProofs

public int getNumberProofs()

getNumberTexts

public int getNumberTexts()

getNumberAssertions

public int getNumberAssertions()

getNumberMethods

public int getNumberMethods()

getLOtotal

public int getLOtotal()

getLOtype

public String getLOtype()