Hashtable.EmptyIterator (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

java.util
Class Hashtable.EmptyIterator

java.lang.Object
  java.util.Hashtable.EmptyIterator

All Implemented Interfaces:: Iterator

Enclosing class:: Hashtable

private static class Hashtable.EmptyIterator
extends Object
implements Iterator

Constructor Summary

(package private) Hashtable.EmptyIterator()


Method Summary

boolean hasNext()


Object next()


void remove()


Methods inherited from class java.lang.Object

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

Constructor Detail

Hashtable.EmptyIterator

Hashtable.EmptyIterator()

Method Detail

remove

public void remove()

Specified by:: remove in interface Iterator

hasNext

public boolean hasNext()

Specified by:: hasNext in interface Iterator

public Object next()

Specified by:: next in interface Iterator