⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 timestampedlogger.java

📁 java ant的源码!非常值得看的源码
💻 JAVA
字号:
/* *  Licensed to the Apache Software Foundation (ASF) under one or more *  contributor license agreements.  See the NOTICE file distributed with *  this work for additional information regarding copyright ownership. *  The ASF licenses this file to You under the Apache License, Version 2.0 *  (the "License"); you may not use this file except in compliance with *  the License.  You may obtain a copy of the License at * *      http://www.apache.org/licenses/LICENSE-2.0 * *  Unless required by applicable law or agreed to in writing, software *  distributed under the License is distributed on an "AS IS" BASIS, *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. *  See the License for the specific language governing permissions and *  limitations under the License. * */package org.apache.tools.ant.listener;import org.apache.tools.ant.DefaultLogger;import java.util.Date;import java.text.DateFormat;/** * Like a normal logger, except with timed outputs */public class TimestampedLogger extends DefaultLogger {    /**     * what appears between the old message and the new     */    private static final String SPACER = " - at ";    /**     * This is an override point: the message that indicates whether a build failed.     * Subclasses can change/enhance the message.     *     * @return The classic "BUILD FAILED"     */    protected String getBuildFailedMessage() {        return super.getBuildFailedMessage() + SPACER + getTimestamp();    }    /**     * This is an override point: the message that indicates that a build succeeded.     * Subclasses can change/enhance the message.     *     * @return The classic "BUILD SUCCESSFUL"     */    protected String getBuildSuccessfulMessage() {        return super.getBuildSuccessfulMessage() + SPACER + getTimestamp();    }    /**     * Get the current time.     * @return the current time as a formatted string.     */    protected String getTimestamp() {        Date date = new Date(System.currentTimeMillis());        DateFormat formatter = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.SHORT);        String finishTime = formatter.format(date);        return finishTime;    }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -