JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5 (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.models
Class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5

java.lang.Object
  org.jmlspecs.jmlunit.strategies.NewObjectAbstractExtensibleStrategyDecorator
      org.jmlspecs.jmlunit.strategies.ObjectStrategy
          org.jmlspecs.models.JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5

All Implemented Interfaces:: StrategyType

Enclosing class:: JMLObjectToObjectRelation_JML_TestData

class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5
extends ObjectStrategy

Field Summary

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

Constructor Summary

(package private) JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5()

Method Summary

protected Object make(int n)
Return the nth test data item.

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

iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5

JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5()

Method Detail

make

protected Object make(int n)

Description copied from class: NewObjectAbstractExtensibleStrategyDecorator

Return the nth test data item. The default implementation of this method provides no data. To provide additional test data, you should override this method, without making a super call to it.

Overrides:: make in class NewObjectAbstractExtensibleStrategyDecorator