TreeViewer.TreeViewer$1 (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.racwrap.runner
Class TreeViewer.TreeViewer$1

java.lang.Object
  java.awt.event.WindowAdapter
      org.jmlspecs.racwrap.runner.TreeViewer.TreeViewer$1

All Implemented Interfaces:: EventListener, WindowFocusListener, WindowListener, WindowStateListener

Enclosing class:: TreeViewer

static class TreeViewer.TreeViewer$1
extends WindowAdapter

Constructor Summary

(package private) TreeViewer.TreeViewer$1()

Method Summary

void windowClosing(WindowEvent e)

Methods inherited from class java.awt.event.WindowAdapter

windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowGainedFocus, windowIconified, windowLostFocus, windowOpened, windowStateChanged

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeViewer.TreeViewer$1

TreeViewer.TreeViewer$1()

Method Detail

windowClosing

public void windowClosing(WindowEvent e)

Specified by:: windowClosing in interface WindowListener
Overrides:: windowClosing in class WindowAdapter