TransposableNode_JML_TestData.TransposableNode_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.digraph
Class TransposableNode_JML_TestData.TransposableNode_JML_TestData$2

java.lang.Object
  org.jmlspecs.jmlunit.strategies.NewObjectAbstractStrategy
      org.jmlspecs.samples.digraph.TransposableNode_JML_TestData.TransposableNode_JML_TestData$2

All Implemented Interfaces:: StrategyType

Enclosing class:: TransposableNode_JML_TestData

class TransposableNode_JML_TestData.TransposableNode_JML_TestData$2
extends NewObjectAbstractStrategy

Constructor Summary

(package private) TransposableNode_JML_TestData.TransposableNode_JML_TestData$2()

Method Summary

protected Object make(int n)

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

TransposableNode_JML_TestData.TransposableNode_JML_TestData$2

TransposableNode_JML_TestData.TransposableNode_JML_TestData$2()

Method Detail

make

protected Object make(int n)

Description copied from class: NewObjectAbstractStrategy

Return the nth test data item.