01: /*
02: * Copyright 2006 Google Inc.
03: *
04: * Licensed under the Apache License, Version 2.0 (the "License"); you may not
05: * use this file except in compliance with the License. You may obtain a copy of
06: * the License at
07: *
08: * http://www.apache.org/licenses/LICENSE-2.0
09: *
10: * Unless required by applicable law or agreed to in writing, software
11: * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
12: * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
13: * License for the specific language governing permissions and limitations under
14: * the License.
15: */
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: import java.net.URL;
22:
23: /**
24: * URL & Integer message.
25: */
26: public final class Message2URLInt extends Message2 {
27:
28: public Message2URLInt(Type type, String fmt) {
29: super (type, fmt);
30: }
31:
32: public TreeLogger branch(TreeLogger logger, URL u, int x,
33: Throwable caught) {
34: Integer xi = new Integer(x);
35: return branch2(logger, u, xi, getFormatter(u),
36: getFormatter(xi), caught);
37: }
38:
39: public void log(TreeLogger logger, URL u, int x, Throwable caught) {
40: Integer xi = new Integer(x);
41: log2(logger, u, xi, getFormatter(u), getFormatter(xi), caught);
42: }
43: }
|