ShortBigStrategy.ShortBigStrategy$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 ShortBigStrategy.ShortBigStrategy$1

java.lang.Object
  org.jmlspecs.jmlunit.strategies.ShortAbstractStrategy
      org.jmlspecs.jmlunit.strategies.ShortExtensibleStrategy
          org.jmlspecs.jmlunit.strategies.ShortStrategy
              org.jmlspecs.jmlunit.strategies.ShortBigStrategy.ShortBigStrategy$1

All Implemented Interfaces:: ShortStrategyType, StrategyType

Enclosing class:: ShortBigStrategy

class ShortBigStrategy.ShortBigStrategy$1
extends ShortStrategy

Field Summary

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

Constructor Summary

(package private) ShortBigStrategy.ShortBigStrategy$1()

Method Summary

protected short[] addData()
Subclasses can override this to make simple extensions to the data used.

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

defaultData

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

getData, shortIterator

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

iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

ShortBigStrategy.ShortBigStrategy$1

ShortBigStrategy.ShortBigStrategy$1()

Method Detail

addData

protected short[] addData()

Description copied from class: ShortExtensibleStrategy

Subclasses can override this to make simple extensions to the data used.

Overrides:: addData in class ShortExtensibleStrategy