NewObjectAbstractStrategyTest.SingletonNOAS (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 NewObjectAbstractStrategyTest.SingletonNOAS

java.lang.Object
  org.jmlspecs.jmlunit.strategies.NewObjectAbstractStrategy
      org.jmlspecs.jmlunit.strategies.NewObjectAbstractStrategyTest.SingletonNOAS

All Implemented Interfaces:: StrategyType

Enclosing class:: NewObjectAbstractStrategyTest

protected class NewObjectAbstractStrategyTest.SingletonNOAS
extends NewObjectAbstractStrategy

A class that just provides null and one more object

Constructor Summary

protected NewObjectAbstractStrategyTest.SingletonNOAS()

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

NewObjectAbstractStrategyTest.SingletonNOAS

protected NewObjectAbstractStrategyTest.SingletonNOAS()

Method Detail

make

protected Object make(int n)

Description copied from class: NewObjectAbstractStrategy

Return the nth test data item.