Package dk.brics.tajs.analysis.dom

Model of Mozilla host objects.

See: Description

Class Summary

Class	Description
DOMBuilder	Setup the DOM browser model.
DOMConversion
DOMEvents
DOMFunctions	Dispatcher and utility functions for the DOM support
DOMRegistry
DOMWindow	DOM Window.

Enum Summary

Enum	Description
DOMObjects	Native DOM objects.
DOMRegistry.MayMaps
DOMRegistry.MaySets

Package dk.brics.tajs.analysis.dom Description

Model of Mozilla host objects.

Author:

Magnus Madsen <magnusm@cs.au.dk>, Matthias Diehn Ingesman <mdi@cs.au.dk>, Anders Møller <amoeller@cs.au.dk>, Peter Thiemann <thiemann@informatik.uni-freiburg.de>, Simon Holm Jensen <simonhj@cs.au.dk>, Esben Andreasen <esbena@cs.au.dk>