Messages

method	net.sourceforge.pebble.web.listener. PebblePDFCreationListener__static_init
post	init'ed(log)

method	void net.sourceforge.pebble.web.listener. PebblePDFCreationListener()
post	this.headerTags == &new Properties(PebblePDFCre ationListener#1)
post	new Properties(PebblePDFCreationListener#1) num objects == 1

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void parseMetaTags(Document)
pre	(soft) log != null
pre	(soft) sourceXHTML != null
pre	(soft) this.headerTags != null
presumption	org.w3c.dom.Document:getDocumentElement(...)@76 != null
presumption	org.w3c.dom.Element:getAttribute(...)@83 != null
presumption	org.w3c.dom.Element:getAttribute(...)@84 != null
presumption	org.w3c.dom.Element:getElementsByTagName(...)@76 != null
presumption	org.w3c.dom.Element:getElementsByTagName(...)@78 != null
presumption	org.w3c.dom.NodeList:item(...)@77 != null
presumption	org.w3c.dom.NodeList:item(...)@82 != null
test_vector	java.lang.String:length(...)@87: {0}, {1..2³²-1}

info method not available -- call on Element org.w3c.dom.Document:getDocument Element()

info method not available -- call on NodeList org.w3c.dom.Element:getElements ByTagName(String)

info method not available -- call on Node org.w3c.dom.NodeList:item(int)

info method not available -- call on NodeList org.w3c.dom.Element:getElements ByTagName(String)

info method not available -- call on int org.w3c.dom.NodeList:getLength()

info method not available -- call on Node org.w3c.dom.NodeList:item(int)

info method not available -- call on String org.w3c.dom.Element:getAttribute( String)

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	void preOpen(ITextRenderer)
pre	(soft) log != null
pre	(soft) renderer != null
pre	(soft) this.headerTags != null
presumption	init'ed(com.lowagie.text.pdf.PdfName.AUTHOR)
presumption	init'ed(com.lowagie.text.pdf.PdfName.CREATOR)
presumption	init'ed(com.lowagie.text.pdf.PdfName.KEYWORDS)
presumption	init'ed(com.lowagie.text.pdf.PdfName.PRODUCER)
presumption	init'ed(com.lowagie.text.pdf.PdfName.SUBJECT)
presumption	init'ed(com.lowagie.text.pdf.PdfName.TITLE)
presumption	com.lowagie.text.pdf.PdfWriter:getInfo(...)@137 != null
presumption	java.util.Enumeration:nextElement(...)@134 != null
presumption	java.util.Properties:propertyNames(...)@107 != null
test_vector	java.lang.String:equals(...)@139: {0}, {1}
test_vector	java.lang.String:equals(...)@142: {0}, {1}
test_vector	java.lang.String:equals(...)@145: {0}, {1}
test_vector	java.lang.String:equals(...)@148: {0}, {1}
test_vector	java.lang.String:equals(...)@151: {0}, {1}
test_vector	java.lang.String:equals(...)@154: {0}, {1}
test_vector	org.xhtmlrenderer.pdf.ITextRenderer:getWriter(... )@109: Inverse{null}, Addr_Set{null}

info method not available -- call on PdfWriter org.xhtmlrenderer.pdf. ITextRenderer:getWriter()

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on void com.lowagie.text.pdf. PdfWriter:setPdfVersion(char)

info method not available -- call on void com.lowagie.text.pdf. PdfWriter:setFullCompression()

info method not available -- call on void com.lowagie.text.pdf. PdfString(String, String)

info method not available -- call on PdfDictionary com.lowagie.text.pdf. PdfWriter:getInfo()

info method not available -- call on void com.lowagie.text.pdf. PdfDictionary:put(PdfName, PdfObject)

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	void onClose(ITextRenderer)
pre	renderer != null
pre	(soft) log != null
test_vector	org.xhtmlrenderer.pdf.ITextRenderer:getWriter(... )@169: Inverse{null}, Addr_Set{null}

info method not available -- call on PdfWriter org.xhtmlrenderer.pdf. ITextRenderer:getWriter()

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on void com.lowagie.text.pdf. PdfWriter:setViewerPreferences(int)

	info	method not available	-- call on Element org.w3c.dom.Document:getDocument Element()
	info	method not available	-- call on NodeList org.w3c.dom.Element:getElements ByTagName(String)