java.util
Interface Observer

public interface Observer

JML's specification of the java.util.Observer.

Version:

$Revision: 1.2 $

Author:

Gary T. Leavens

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Method Summary
void	update(Observable o, Object arg)

 

Method Detail

update

public void update(Observable o,
                   Object arg)

Specifications:

requires o != null;