sandmark.statistics
Class Statistics

java.lang.Object
  |
  +--sandmark.statistics.Statistics

public class Statistics

extends java.lang.Object

Author:

Christian Collberg

Field Summary

(package private) static ConfigProperties

props

Constructor Summary

Statistics()

Method Summary

static java.lang.String	getAboutHTML() Get the HTML codes of the About page for Statistics
static java.lang.String	getHelpURL() Get the URL of the Help page for Statistics
static ConfigProperties	getProperties() Get the GENERAL properties of Statistics
static void	setProperties(ConfigProperties p) Set the GENERAL properties of Statistics
static void	statisticsButtonPressed(SandMarkFrame f) This method is executed in response to the user clicking on the View button in the statistics tab.
static void	statisticsPaneDeselected(SandMarkFrame f) This method is executed in response to the user deselecting the statistics tab.
static void	statisticsPaneSelected(SandMarkFrame f) This method is executed in response to the user selecting the statistics tab.

Methods inherited from class java.lang.Object

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

Field Detail

props

static ConfigProperties props

Constructor Detail

Statistics

public Statistics()

Method Detail

statisticsPaneSelected

public static void statisticsPaneSelected(SandMarkFrame f)

This method is executed in response to the user selecting the statistics tab.

Parameters:

f -

statisticsPaneDeselected

public static void statisticsPaneDeselected(SandMarkFrame f)

This method is executed in response to the user deselecting the statistics tab.

Parameters:

f -

statisticsButtonPressed

public static void statisticsButtonPressed(SandMarkFrame f)

This method is executed in response to the user clicking on the View button in the statistics tab. We check that the right arguments have been filled in. If so, we run the actual obfuscation.

Parameters:

f -

getProperties

public static ConfigProperties getProperties()

Get the GENERAL properties of Statistics

setProperties

public static void setProperties(ConfigProperties p)

Set the GENERAL properties of Statistics

Parameters:

p -

getAboutHTML

public static java.lang.String getAboutHTML()

Get the HTML codes of the About page for Statistics

Returns:

html code for the about page

getHelpURL

public static java.lang.String getHelpURL()

Get the URL of the Help page for Statistics

Returns:

URL for the help page