org.meta_environment.eclipse.editors
Class EditorTool.InstanceKeeper

java.lang.Object
  org.meta_environment.eclipse.editors.EditorTool.InstanceKeeper

Enclosing class:

EditorTool

private static class EditorTool.InstanceKeeper
extends java.lang.Object

Field Summary

private static EditorTool

sInstance

Constructor Summary

private

EditorTool.InstanceKeeper()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sInstance

private static EditorTool sInstance

Constructor Detail

EditorTool.InstanceKeeper

private EditorTool.InstanceKeeper()