JMLString_JML_TestData.JMLString_JML_TestData$3 (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 JMLString_JML_TestData.JMLString_JML_TestData$3

java.lang.Object
  org.jmlspecs.jmlunit.strategies.CharAbstractStrategy
      org.jmlspecs.jmlunit.strategies.CharExtensibleStrategy
          org.jmlspecs.jmlunit.strategies.CharStrategy
              org.jmlspecs.models.JMLString_JML_TestData.JMLString_JML_TestData$3

All Implemented Interfaces:: CharStrategyType, StrategyType

Enclosing class:: JMLString_JML_TestData

class JMLString_JML_TestData.JMLString_JML_TestData$3
extends CharStrategy

Field Summary

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

Constructor Summary

(package private) JMLString_JML_TestData.JMLString_JML_TestData$3()

Method Summary

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

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

defaultData

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

charIterator, getData

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

iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

JMLString_JML_TestData.JMLString_JML_TestData$3

JMLString_JML_TestData.JMLString_JML_TestData$3()

Method Detail

addData

protected char[] addData()

Description copied from class: CharExtensibleStrategy

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

Overrides:: addData in class CharExtensibleStrategy