TPTP 4.1.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine
Class EngineLogger

java.lang.Object
  extended byorg.eclipse.tptp.platform.analysis.util.AbstractLogger
      extended byorg.eclipse.tptp.platform.analysis.engine.EngineLogger
All Implemented Interfaces:
ILogger

public class EngineLogger
extends AbstractLogger

Copyright (c) 2005 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html $Id: EngineLogger.java,v 1.2 2005/02/25 22:17:40 hleung Exp $ Contributors: IBM Corporation - initial API and implementation


Field Summary
static EngineLogger INSTANCE
           
 
Methods inherited from class org.eclipse.tptp.platform.analysis.util.AbstractLogger
error, setDelegate, warning, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final EngineLogger INSTANCE

TPTP 4.1.0 Platform Project
Public API Specification