import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
public final void appendPre(StyledBlock styledBlock, boolean withFormatting, String additionalStyle) {
   FlowPanel outerWidget = new FlowPanel(PreElement.TAG );
   styledBlock.toGwtWidget(this, outerWidget, withFormatting, getPreBlockClassName());
   
   if (additionalStyle != null) {
      outerWidget.getElement().setAttribute("style",additionalStyle);
   }
   
   appendAndScrollOrFocusAsAppropriate(outerWidget);
}
 

import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
/** {@inheritDoc} */
@Override
public void print(String text) {
  PreElement pre = DOM.createElement("pre").cast();
  pre.setInnerText(text.isEmpty() ? " " : text);
  consoleLines.getElement().appendChild(pre);
}
 

import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
public static void setMessageToHtml(String message, ContentMode contentMode, HTML widget) {
    if(contentMode == ContentMode.HTML) {
        widget.setHTML(message);
    } else if(contentMode == ContentMode.PREFORMATTED) {
        PreElement preElement = Document.get().createPreElement();
        preElement.setInnerText(message);
        widget.setHTML(preElement.getString());
    } else {
        widget.setText(message);
    }
}
 

import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
@Override
public void onStateChanged(StateChangeEvent event) {
	super.onStateChanged(event);
	
	clickEventHandler.handleEventHandlerRegistration();
	
	String url = getResourceUrl(AbstractEmbeddedState.SOURCE_RESOURCE);
       getWidget().setUrl(url);
       
       for(String property : getState().styleValues.keySet()) {
       	String value = getState().styleValues.get(property);
       	Style elementStyle = getWidget().getElement().getStyle();
       	if(value == null || value.isEmpty()) {
       		elementStyle.clearProperty(property);
       	} else {
       		elementStyle.setProperty(property, value);
       	}
       }

       if(getState().innerContentMode == ContentMode.HTML) {
		getWidget().setInnerHtml(getState().innerContent);
	} else if(getState().innerContentMode == ContentMode.PREFORMATTED) {
		PreElement preElement = Document.get().createPreElement();
		preElement.setInnerText(getState().innerContent);
		getWidget().getElement().removeAllChildren();
		getWidget().getElement().appendChild(preElement);
	} else {
       	getWidget().setInnerText(getState().innerContent);
	}

	getWidget().setAriaLabel(getState().alternateText);
}
 

import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
@Override
public void print(final String text, boolean carriageReturn, String color) {

  if (consoleLines.getElement().getChildCount() > 500) {
    consoleLines.getElement().getFirstChild().removeFromParent();
  }

  if (this.carriageReturn) {
    Node lastChild = consoleLines.getElement().getLastChild();
    if (lastChild != null) {
      lastChild.removeFromParent();
    }
  }

  this.carriageReturn = carriageReturn;

  final SafeHtml colorOutput =
      new SafeHtml() {
        @Override
        public String asString() {

          if (Strings.isNullOrEmpty(text)) {
            return " ";
          }

          String encoded = SafeHtmlUtils.htmlEscape(text);
          if (delegate != null) {
            if (delegate.getCustomizer() != null) {
              if (delegate.getCustomizer().canCustomize(encoded)) {
                encoded = delegate.getCustomizer().customize(encoded);
              }
            }
          }

          for (final Pair<RegExp, String> pair : output2Color) {
            final MatchResult matcher = pair.first.exec(encoded);

            if (matcher != null) {
              return encoded.replaceAll(
                  matcher.getGroup(1),
                  "<span style=\"color: "
                      + pair.second
                      + "\">"
                      + matcher.getGroup(1)
                      + "</span>");
            }
          }

          return encoded;
        }
      };

  PreElement pre = DOM.createElement("pre").cast();
  pre.setInnerSafeHtml(colorOutput);
  if (color != null) {
    pre.getStyle().setColor(color);
  }
  consoleLines.getElement().appendChild(pre);

  followOutput();
}
 

import com.google.gwt.dom.client.PreElement; //导入依赖的package包/类
public CodeOutputImpl() {
	this.setElement(Document.get().createElement(PreElement.TAG));
	StyleUtils.addStyle(this, CodeOutputImpl.STYLE_CODE_EDITOR);
	StyleUtils.addStyle(this, CodeOutputImpl.STYLE_PRE_SCROLLABLE);
}