org.activemath.webapp.tools.data
Class Gap.SupportStatistics

java.lang.Object
  org.activemath.webapp.tools.data.Gap.SupportStatistics

Enclosing class:

Gap

public class Gap.SupportStatistics
extends Object

Nested static inner class for storing SupportStatistics of gaps

Field Summary

int	dummyNumber
int	numberAssertions
int	numberDefinitions
int	numberExamples
int	numberExercises
int	numberMethods
int	numberProofs
int	numberTexts

Constructor Summary

Gap.SupportStatistics()

Method Summary

int	getDummyNumber()
int	getLOtotal()
int	getNumberAssertions()
int	getNumberDefinitions()
int	getNumberExamples()
int	getNumberExercises()
int	getNumberMethods()
int	getNumberProofs()
int	getNumberTexts()
void	setDummyNumber(int dummyNumber)

Methods inherited from class java.lang.Object

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

Field Detail

numberDefinitions

public int numberDefinitions

numberExercises

public int numberExercises

numberExamples

public int numberExamples

numberProofs

public int numberProofs

numberTexts

public int numberTexts

numberAssertions

public int numberAssertions

numberMethods

public int numberMethods

dummyNumber

public int dummyNumber

Constructor Detail

Gap.SupportStatistics

public Gap.SupportStatistics()

Method Detail

getDummyNumber

public int getDummyNumber()

setDummyNumber

public void setDummyNumber(int dummyNumber)

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()