![]() |
All Packages This Package Class Hierarchy Class Search Index Class grendel.mime.html.MimeExternalBodyOperatorjava.lang.Object | +----grendel.mime.html.MimeHTMLOperator | +----grendel.mime.html.MimeLeafOperator | +----grendel.mime.html.MimeExternalObjectOperator | +----grendel.mime.html.MimeExternalBodyOperator This class converts the message/external-body MIME type to HTML that points at the remote document.
class MimeExternalBodyOperator
extends grendel.mime.html.MimeExternalObjectOperator
{
// Fields 2
MimeExternalBodyBody body;
InternetHeaders body_headers;
// Constructors 1
MimeExternalBodyOperator(IMimeObject, PrintStream);
// Methods 7
public IMimeOperator createChild(IMimeObject);
private String getHeaderValue(String, InternetHeaders, boolean);
String makeURL(InternetHeaders, String);
void make_header(String, String, InternetHeaders, InternetHeaders);
public void pushBytes(ByteBuf);
public void pushEOF();
void writeBoxEarly();
}
Fields body_headersInternetHeaders body_headers bodyMimeExternalBodyBody body
Constructors MimeExternalBodyOperatorMimeExternalBodyOperator(IMimeObject object, PrintStream out) Methods writeBoxEarlyvoid writeBoxEarly()
pushBytespublic void pushBytes(ByteBuf b)
createChildpublic IMimeOperator createChild(IMimeObject child)
getHeaderValueprivate String getHeaderValue(String name, InternetHeaders ih, boolean strip) make_headervoid make_header(String param_name, String header_value, InternetHeaders input_headers, InternetHeaders output_headers) pushEOFpublic void pushEOF()
makeURLString makeURL(InternetHeaders headers, String body) All Packages This Package Class Hierarchy Class Search IndexFreshly brewed Java API Documentation automatically generated with polardoc Version 1.0.4 |
|||||||
| Copyright © 1998-1999 The Mozilla Organization. | |||||||