1 16 package com.google.gwt.dev.util.msg; 17 18 import com.google.gwt.core.ext.TreeLogger; 19 import com.google.gwt.core.ext.TreeLogger.Type; 20 21 24 public final class Message2StringInt extends Message2 { 25 26 public Message2StringInt(Type type, String fmt) { 27 super(type, fmt); 28 } 29 30 public TreeLogger branch(TreeLogger logger, String s, int x, Throwable caught) { 31 Integer xi = new Integer (x); 32 return branch2(logger, s, xi, getFormatter(s), getFormatter(xi), caught); 33 } 34 35 public void log(TreeLogger logger, String s, int x, Throwable caught) { 36 Integer xi = new Integer (x); 37 log2(logger, s, xi, getFormatter(s), getFormatter(xi), caught); 38 } 39 40 } 41 | Popular Tags |