*/
public void verbatim( SinkEventAttributes attributes )
{
setVerbatimFlag( true );
MutableAttributeSet atts = SinkUtils.filterAttributes(
attributes, SinkUtils.SINK_VERBATIM_ATTRIBUTES );
if ( atts == null )
{
atts = new SinkEventAttributeSet();
}
boolean boxed = false;
if ( atts.isDefined( SinkEventAttributes.DECORATION ) )
{
boxed = "boxed".equals(
(String) atts.getAttribute( SinkEventAttributes.DECORATION ) );
}
boxedFlag = boxed;
atts.removeAttribute( SinkEventAttributes.DECORATION );
if ( boxed )
{
writeStartTag( SOURCE_TAG, atts );
}
else
{
atts.removeAttribute( Attribute.ALIGN.toString() );
writeStartTag( PRE, atts );
}
}