dk.brics.tajs.analysis.dom

Class DOMBuilder

java.lang.Object

dk.brics.tajs.analysis.dom.DOMBuilder

public class DOMBuilder
extends java.lang.Object

Setup the DOM browser model.

An overview is available at:

http://dsmith77.files.wordpress.com/2008/07/the-document-object-model-dom.gif

DOM Spec: http://www.w3.org/DOM/DOMTR

DOM LEVEL 1: http://www.w3.org/TR/2000/WD-DOM-Level-1-20000929/ecma-script-language-binding.html

DOM Level 2 Core: http://www.w3.org/TR/DOM-Level-2-Core/core.html http://www.w3.org/TR/DOM-Level-2-Core/ecma-script-binding.html

DOM LEVEL 2 HTML: http://www.w3.org/TR/DOM-Level-2-HTML/ecma-script-binding.html

DOM LEVEL 2: Traversal http://www.w3.org/TR/DOM-Level-2-Traversal-Range/Overview.html

Constructor Summary

Constructors

Constructor and Description
DOMBuilder()

Method Summary

Modifier and Type	Method and Description
static void	build(net.htmlparser.jericho.Source document, GenericSolver.SolverInterface c) Construct the initial DOM objects.
static java.util.Set<ObjectLabel>	getAllDOMEventTargets()
static java.util.Set<ObjectLabel>	getAllHtmlObjectLabels()
static void	registerHTML(net.htmlparser.jericho.Source document, GenericSolver.SolverInterface c) Build model of the HTML page, as it looks when loaded, before scripts are invoked.
static void	writeEventListenerProperties(java.util.Collection<ObjectLabel> targets, PropVarOperations pv)

Methods inherited from class java.lang.Object

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

Constructor Detail

DOMBuilder

public DOMBuilder()

Method Detail

build

public static void build(net.htmlparser.jericho.Source document,
                         GenericSolver.SolverInterface c)

Construct the initial DOM objects. Its assumed that WINDOW is added to the state somewhere else before this function is invoked since its the global objects when running in DOM mode.

getAllDOMEventTargets

public static java.util.Set<ObjectLabel> getAllDOMEventTargets()

getAllHtmlObjectLabels

public static java.util.Set<ObjectLabel> getAllHtmlObjectLabels()

registerHTML

public static void registerHTML(net.htmlparser.jericho.Source document,
                                GenericSolver.SolverInterface c)

Build model of the HTML page, as it looks when loaded, before scripts are invoked.

writeEventListenerProperties

public static void writeEventListenerProperties(java.util.Collection<ObjectLabel> targets,
                                                PropVarOperations pv)