Class StringStrategy

  extended byorg.jmlspecs.jmlunit.strategies.CachedObjectAbstractStrategy
      extended byorg.jmlspecs.jmlunit.strategies.ImmutableObjectAbstractStrategy
          extended byorg.jmlspecs.jmlunit.strategies.StringStrategy
All Implemented Interfaces:
Direct Known Subclasses:
Account_JML_TestData.Account_JML_TestData$2, JMLFloat_JML_TestData.JMLFloat_JML_TestData$2, JMLInteger_JML_TestData.JMLInteger_JML_TestData$1, JMLString_JML_TestData.JMLString_JML_TestData$2, Person_JML_TestData.Person_JML_TestData$2, PlusAccount_JML_TestData.PlusAccount_JML_TestData$2, StringStrategyTest.StringStrategyTest$1

public class StringStrategy
extends ImmutableObjectAbstractStrategy

A strategy for producing test data of type String.

To extend this strategy with additional data, override the #addData() method.

Gary T. Leavens

Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
Ghost Field Summary
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
Field Summary
Fields inherited from class org.jmlspecs.jmlunit.strategies.CachedObjectAbstractStrategy
Constructor Summary
Model Method Summary
Model methods inherited from class java.lang.Object
Method Summary
protected  Object[] defaultData()
          Create and return the default data for the iterations.
Methods inherited from class org.jmlspecs.jmlunit.strategies.ImmutableObjectAbstractStrategy
Methods inherited from class org.jmlspecs.jmlunit.strategies.CachedObjectAbstractStrategy
addData, getData, iterator
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public StringStrategy()
Method Detail


protected Object[] defaultData()
Description copied from class: CachedObjectAbstractStrategy
Create and return the default data for the iterations. This is should only be called once for this object.

defaultData in class CachedObjectAbstractStrategy
Specifications inherited from overridden method in class CachedObjectAbstractStrategy:
protected normal_behavior
assignable objectState;
ensures \result != null;


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.