CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator (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.jmlunit.strategies
Class CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator
      org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator
          org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator

All Implemented Interfaces:: Cloneable, IndefiniteIterator

Enclosing class:: CloneableObjectArrayAbstractIterator_JML_TestData

class CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator
extends CloneableObjectArrayAbstractIterator

A helper class used in testing it's surrounding class.

Field Summary

Fields inherited from class org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator

Constructor Summary

CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator(int[][] elems)

Method Summary

protected Object cloneElement(Object elem)

Methods inherited from class org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator

duplicateIfNeeded

Methods inherited from class org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator

advance, atEnd, clone, elementsString, get, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator

public CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator(int[][] elems)

Method Detail

cloneElement

protected Object cloneElement(Object elem)

Description copied from class: CloneableObjectArrayAbstractIterator

Return a clone of the argument, which is assumed not to be null.