| Interface PlugletManager |
|
Method
|
Arguments
|
Values
|
| public void getURL
| PlugletInstance plugletInst |
null, this and other instance (when method is called inside the pluglet instance) |
| URL url |
null, http, javascript, ftp, file(win32 & unix), gopher, news
|
| String target
|
<for_target>
|
| PlugletStreamListener streamListener
|
null, new listener and used
|
| String altHost
|
null, the same as in url, other than in url, bad string(not ip address)
|
| URL refferer
|
null, the url of this page - cases of http, javascript, ftp, file(although in
last 3 cases there is not refferer)
|
| boolean forceJSEnabled
|
<for_boolean>
|
| public void postURL
| PlugletInstance plugletInst |
null, this and other instance (when method is called inside the pluglet instance) |
| URL url
|
null, http, javascript, ftp, file(win32 & unix), news, mailto
|
| int postDataLen
|
<for_int>, equal to actual length, less and great
|
| byte[] postData
|
null, 0 byte array, random array fulfiled and not, syntactically
correct path + name of existing file and non-existent, also syntactically incorrect path
|
| boolean isFile
|
<for_boolean>
|
| String target
|
<for_target>
|
| PlugletStreamListener streamListener
|
null, new listener and used
|
| String altHost
|
null, the same as in url, other than in url, bad string(not ip address)
|
| URL referrer
|
null, the url of this page - cases of http, javascript, ftp, file(although in
last 3 cases there is not refferer)
|
| boolean forceJSEnabled
|
<for_boolean>
|
| int postHeadersLength
|
<for_int>, equal to actual length, less and great
|
| byte[] postHeaders
|
postHeaders
null, 0 byte array, correctly formed headers (fulfiled array and not) and not
|
| public void reloadPluglets
|
boolean reloadPages |
<for_boolean> |
| public String userAgent |
none |
none |
| Interface PlugletPeer |
|
Method
|
Arguments
|
Values
|
| public String getMIMEType |
none |
none |
| public int getMode |
none |
none |
| public PlugletTagInfo getTagInfo |
none |
none |
| public String getValue |
int variable |
<for_int>, PlugletInstancePeer.NETSCAPE_WINDOW, PlugletManager.APPCONTEXT,
PlugletManager.DISPLAY |
| public OutputStream newStream |
String type |
<for_string>, text/html, text/plain, image/gif, application/x-java-vm, incorrectly formed |
| String target
|
<for_target>
|
| public void setWindowSize |
int width |
<for_int> |
| int height
|
<for_int>
|
| public void showStatus |
String message |
<for_string> |
| Interface PlugletTagInfo2 |
|
Method
|
Arguments
|
Values
|
| public String getAlignment |
none |
none |
| public String getAttribute |
String name |
<for_string>, existing attribute name |
| public Properties getAttributes |
none |
none |
| public int getBorderHorizSpace |
none |
none |
| public int getBorderVertSpace |
none |
none |
| public String getDocumentBase |
none |
none |
| public String getDocumentEncoding |
none |
none |
| public int getHeight |
none |
none |
| public String getParameter |
String name |
<for_string>, existing parameter name |
| public Properties getParameters |
none |
none |
| public String getTagText |
none |
none |
| public String getTagType |
none |
none |
| public int getUniqueID |
none |
none |
| public int getWidth |
none |
none |