sandmark.view
Class View

java.lang.Object
  |
  +--sandmark.view.View

public class View

extends java.lang.Object

Author:

Christian Collberg

Field Summary

(package private) static ConfigProperties

props

Constructor Summary

View()

Method Summary

static java.lang.String	getAboutHTML() Get the HTML codes of the About page for View
static java.lang.String	getHelpURL() Get the URL of the Help page for View
static ConfigProperties	getProperties() Get the GENERAL properties of View
static void	setProperties(ConfigProperties p) Set the GENERAL properties of View
static void	viewButtonPressed(SandMarkFrame f) This method is executed in response to the user clicking on the view button in the view tab.
static void	viewPaneDeselected(SandMarkFrame f) This method is executed in response to the user deselecting the obfuscation tab.
static void	viewPaneSelected(SandMarkFrame f) This method is executed in response to the user selecting the view 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

View

public View()

Method Detail

viewPaneSelected

public static void viewPaneSelected(SandMarkFrame f)

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

Parameters:

f -

viewPaneDeselected

public static void viewPaneDeselected(SandMarkFrame f)

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

Parameters:

f -

viewButtonPressed

public static void viewButtonPressed(SandMarkFrame f)

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

Parameters:

f -

getProperties

public static ConfigProperties getProperties()

Get the GENERAL properties of View

setProperties

public static void setProperties(ConfigProperties p)

Set the GENERAL properties of View

Parameters:

p -

getAboutHTML

public static java.lang.String getAboutHTML()

Get the HTML codes of the About page for View

Returns:

html code for the about page

getHelpURL

public static java.lang.String getHelpURL()

Get the URL of the Help page for View

Returns:

URL for the help page