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 Message3StringIntString extends Message3 { 25 26 public Message3StringIntString(Type type, String fmt) { 27 super(type, fmt); 28 } 29 30 public TreeLogger branch(TreeLogger logger, String s1, int x, String s2, 31 Throwable caught) { 32 Integer xi = new Integer (x); 33 return branch3(logger, s1, xi, s2, getFormatter(s1), getFormatter(xi), 34 getFormatter(s2), caught); 35 } 36 37 public void log(TreeLogger logger, String s1, int x, String s2, 38 Throwable caught) { 39 Integer xi = new Integer (x); 40 log3(logger, s1, xi, s2, getFormatter(s1), getFormatter(xi), 41 getFormatter(s2), caught); 42 } 43 44 } 45 | Popular Tags |