fi.hut.tml.xsmiles.ecma
Class BrowserObject

java.lang.Object
  extended byfi.hut.tml.xsmiles.ecma.JavascriptObject
      extended byfi.hut.tml.xsmiles.ecma.BrowserObject
All Implemented Interfaces:
AccessibleToScripts

public class BrowserObject
extends JavascriptObject

The javascript 'browser' object

Author:
Mikko Honkala

Field Summary
protected  BrowserWindow browser
           
 
Constructor Summary
BrowserObject(BrowserWindow browser)
           
 
Method Summary
static void alert(java.lang.String text)
           
 void changeGUI(java.lang.String name)
          Type of GUI to change to
 void changeStylesheet(java.lang.String name)
          Change stylesheet to a stylesheet, whoose title is
 java.lang.String getDefaultGUIName()
           
 java.util.Vector getGUINames()
           
 java.util.Vector getStylesheetTitles()
           
 void navigate(java.lang.String url)
           
static void print(java.lang.String text)
           
static void println(java.lang.String text)
           
 void reload()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

browser

protected BrowserWindow browser
Constructor Detail

BrowserObject

public BrowserObject(BrowserWindow browser)
Method Detail

alert

public static void alert(java.lang.String text)

print

public static void print(java.lang.String text)

println

public static void println(java.lang.String text)

getStylesheetTitles

public java.util.Vector getStylesheetTitles()
Returns:
Returns a Vector which contains the stylesheet titles
See Also:
changeStylesheet(String name)

changeStylesheet

public void changeStylesheet(java.lang.String name)
Change stylesheet to a stylesheet, whoose title is

Parameters:
name - The title of the stylesheet to change to

getGUINames

public java.util.Vector getGUINames()
Returns:
a Vector of gui names

getDefaultGUIName

public java.lang.String getDefaultGUIName()
Returns:
a Vector of gui names

changeGUI

public void changeGUI(java.lang.String name)
Type of GUI to change to


reload

public void reload()

navigate

public void navigate(java.lang.String url)


X-Smiles 1.2