IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2 (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.samples.sets
Class IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2

java.lang.Object
  org.jmlspecs.jmlunit.strategies.NewObjectAbstractStrategy
      org.jmlspecs.samples.sets.IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2

All Implemented Interfaces:: StrategyType

Enclosing class:: IntegerSetAsHashSet_JML_TestData

class IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2
extends NewObjectAbstractStrategy

Constructor Summary

(package private) IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2()

Method Summary

protected Object make(int i)

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

iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2

IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2()

Method Detail

make

protected Object make(int i)

Description copied from class: NewObjectAbstractStrategy

Return the nth test data item.