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 |