CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$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.jmlunit.strategies
Class CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1

java.lang.Object
  org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator
      org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator
          org.jmlspecs.jmlunit.strategies.CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1

All Implemented Interfaces:: Cloneable, IndefiniteIterator

Enclosing class:: CloneableObjectAbstractStrategy

class CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1
extends CloneableObjectArrayAbstractIterator

Field Summary

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

Constructor Summary

(package private) CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1()

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

CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1

CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1()

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.