|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.tptp.platform.analysis.util.AbstractLogger
org.eclipse.tptp.platform.analysis.engine.EngineLogger
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 |
public static final EngineLogger INSTANCE
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||