se.claremont.taf.javasupport.gui.guirecordingwindow

Class JavaGuiElementDeclarationManager

java.lang.Object

se.claremont.taf.javasupport.gui.guirecordingwindow.JavaGuiElementDeclarationManager

public class JavaGuiElementDeclarationManager
extends Object

Used by TAF GUI to generate unique identification mechanisms for elements interacted with, and corresponding code as string for code generation from recordings.

Constructor Summary

Constructors

Constructor and Description
JavaGuiElementDeclarationManager()

Method Summary

Modifier and Type	Method and Description
static void	addElementNamesToSetOfAlreadyDeclaredElementNames(Collection<String> elementNames) The usedElementNames is a set of known declared elements, to avoid naming elements the same as already declared elements and thereby getting compilation errors.
static void	addElementNameToSetOfAlreadyDeclaredElementNames(String elementName) The usedElementNames is a set of known declared elements, to avoid naming elements the same as already declared elements and thereby getting compilation errors.
static void	addJavaGuiElementsToDeclaredElementsList(Collection<JavaGuiElement> javaGuiElements) The list of declared elements is used for better code generation.
static void	addJavaGuiElementToDeclaredElementsList(JavaGuiElement javaGuiElement) The list of declared elements is used for better code generation.
static JavaGuiElement	createJavaGuiElement(Component component) Attempts to create a uniquely identifiable JavaGuiElement from the component.
static String	javaGuiElementAsCodeHtml(JavaGuiElement javaGuiElement) Creates a HTML representation of the element declaration, for use in HTML or TextPanes.
static String	javaGuiElementAsCodeString(JavaGuiElement javaGuiElement) Create a code reprsentation for a JavaGuiElement, to be used in code generation for recordings.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaGuiElementDeclarationManager

public JavaGuiElementDeclarationManager()

Method Detail

createJavaGuiElement

public static JavaGuiElement createJavaGuiElement(Component component)

Attempts to create a uniquely identifiable JavaGuiElement from the component. Method meant to be used for GUI recording purposes.

Parameters:

component - The component to create a corresponding JavaGuiElement declaration for.

Returns:

returns a JavaGuiElement if successful, null if not.

addElementNameToSetOfAlreadyDeclaredElementNames

public static void addElementNameToSetOfAlreadyDeclaredElementNames(String elementName)

The usedElementNames is a set of known declared elements, to avoid naming elements the same as already declared elements and thereby getting compilation errors.

Parameters:

elementName - JavaGuiElement elementName to add to list.

addJavaGuiElementToDeclaredElementsList

public static void addJavaGuiElementToDeclaredElementsList(JavaGuiElement javaGuiElement)

The list of declared elements is used for better code generation.

Parameters:

javaGuiElement - JavaGuiElement to add.

addJavaGuiElementsToDeclaredElementsList

public static void addJavaGuiElementsToDeclaredElementsList(Collection<JavaGuiElement> javaGuiElements)

The list of declared elements is used for better code generation.

Parameters:

javaGuiElements - JavaGuiElement to add.

addElementNamesToSetOfAlreadyDeclaredElementNames

public static void addElementNamesToSetOfAlreadyDeclaredElementNames(Collection<String> elementNames)

The usedElementNames is a set of known declared elements, to avoid naming elements the same as already declared elements and thereby getting compilation errors.

Parameters:

elementNames - JavaGuiElement elementNames to add to list.

javaGuiElementAsCodeString

public static String javaGuiElementAsCodeString(JavaGuiElement javaGuiElement)

Create a code reprsentation for a JavaGuiElement, to be used in code generation for recordings.

Parameters:

javaGuiElement - The JavaGuiElement to return the instansiation declaration for.

Returns:

Returns a code section as a string.

javaGuiElementAsCodeHtml

public static String javaGuiElementAsCodeHtml(JavaGuiElement javaGuiElement)

Creates a HTML representation of the element declaration, for use in HTML or TextPanes.

Parameters:

javaGuiElement - The JavaGuiElement to represent

Returns:

A String formatted as a HTML document.