JML

Uses of Class
org.jmlspecs.jmlunit.strategies.CachedObjectAbstractStrategy

Packages that use CachedObjectAbstractStrategy
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.lang This package is a collection of types used in the definition of the JML language. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
org.jmlspecs.models.resolve This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. 
org.jmlspecs.samples.digraph This package contains samples of JML specifications for directed graphs. 
org.jmlspecs.samples.jmlkluwer This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". 
org.jmlspecs.samples.jmlrefman This package contains samples of JML specifications from the JML Reference Manual
org.jmlspecs.samples.jmltutorial This package contains samples of JML specifications from the tutorials. 
org.jmlspecs.samples.list.list1   
org.jmlspecs.samples.list.list1.node   
org.jmlspecs.samples.list.list2   
org.jmlspecs.samples.list.node   
org.jmlspecs.samples.misc This package contains miscellaneous samples of JML specifications. 
org.jmlspecs.samples.prelimdesign This package contains samples of JML specifications from the paper Preliminary Design of JML
org.jmlspecs.samples.table This package contains samples of JML specifications relating to tables. 
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies
(package private)  class CharIterator_JML_TestData.CharIterator_JML_TestData$1
           
(package private)  class CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1
           
 class CloneableObjectAbstractStrategy
          A strategy for producing test data of cloneable reference types.
(package private)  class CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1
           
protected  class CloneableObjectAbstractStrategyTest.SingletonCOAS
          A class that just provides null and one more value of type double[]
protected  class CloneableObjectAbstractStrategyTest.SmallestCOAS
          A class that just provides null
(package private)  class CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1
           
(package private)  class CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1
           
(package private)  class CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2
           
(package private)  class CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3
           
(package private)  class DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2
           
(package private)  class DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1
           
(package private)  class DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2
           
(package private)  class DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3
           
 class ImmutableObjectAbstractStrategy
          A strategy for producing test data of reference types with immutable objects, such as String.
(package private)  class ImmutableObjectAbstractStrategyTest.ImmutableObjectAbstractStrategyTest$1
           
protected  class ImmutableObjectAbstractStrategyTest.SingletonIOAS
          A class that just provides null and one more value
protected  class ImmutableObjectAbstractStrategyTest.SmallestIOAS
          A class that just provides null
(package private)  class ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1
           
(package private)  class ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2
           
(package private)  class ImmutableObjectExtensibleStrategyDecorator.ImmutableObjectExtensibleStrategyDecorator$1
           
(package private)  class IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1
           
(package private)  class IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2
           
(package private)  class JMLCollectionUnextensibleStrategy
          A strategy for providing test data of type JMLCollection.
(package private)  class JMLTypeUnextensibleStrategy
          A strategy for providing test data of type JMLType.
(package private)  class NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2
           
(package private)  class NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1
           
(package private)  class NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3
           
 class StringStrategy
          A strategy for producing test data of type String.
(package private)  class StringStrategyTest.StringStrategyTest$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.lang
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.lang
(package private)  class JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$2
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.models
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.models
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$1
           
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$2
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$1
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$2
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$3
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$4
           
(package private)  class JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$1
           
(package private)  class JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$2
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$1
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$2
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$3
           
(package private)  class JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$1
           
(package private)  class JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$2
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$1
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$3
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$4
           
(package private)  class JMLString_JML_TestData.JMLString_JML_TestData$1
           
(package private)  class JMLString_JML_TestData.JMLString_JML_TestData$2
           
(package private)  class JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1
           
(package private)  class JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$1
           
(package private)  class JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$1
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$2
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$3
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$5
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$6
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.models.resolve
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.models.resolve
(package private)  class NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$1
           
(package private)  class NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$2
           
(package private)  class NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$3
           
(package private)  class StringOfObject_JML_TestData.StringOfObject_JML_TestData$1
           
(package private)  class StringOfObject_JML_TestData.StringOfObject_JML_TestData$2
           
(package private)  class StringOfObject_JML_TestData.StringOfObject_JML_TestData$3
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.digraph
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.digraph
(package private)  class Arc_JML_TestData.Arc_JML_TestData$1
           
(package private)  class Arc_JML_TestData.Arc_JML_TestData$2
           
(package private)  class NodeType_JML_TestData.NodeType_JML_TestData$2
           
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$1
           
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$3
           
(package private)  class SearchableNode_JML_TestData.SearchableNode_JML_TestData$1
           
(package private)  class TransposableDigraph_JML_TestData.TransposableDigraph_JML_TestData$2
           
(package private)  class TransposableNode_JML_TestData.TransposableNode_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer
(package private)  class QueueEntry_JML_TestData.QueueEntry_JML_TestData$2
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman
(package private)  class SumArrayLoop_JML_TestData.SumArrayLoop_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial
(package private)  class Person_JML_TestData.Person_JML_TestData$2
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1
(package private)  class DLList_JML_TestData.DLList_JML_TestData$1
           
(package private)  class E_SLList_JML_TestData.E_SLList_JML_TestData$1
           
(package private)  class ListIterator_JML_TestData.ListIterator_JML_TestData$1
           
(package private)  class SLList_JML_TestData.SLList_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1.node
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1.node
(package private)  class DLNode_JML_TestData.DLNode_JML_TestData$1
           
(package private)  class SLNode_JML_TestData.SLNode_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list2
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list2
(package private)  class E_OneWayList_JML_TestData.E_OneWayList_JML_TestData$2
           
(package private)  class OneWayList_JML_TestData.OneWayList_JML_TestData$1
           
(package private)  class TwoWayList_JML_TestData.TwoWayList_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.node
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.node
(package private)  class OneWayNode_JML_TestData.OneWayNode_JML_TestData$1
           
(package private)  class TwoWayNode_JML_TestData.TwoWayNode_JML_TestData$1
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.misc
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.misc
(package private)  class Proof_JML_TestData.Proof_JML_TestData$2
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign
(package private)  class Account_JML_TestData.Account_JML_TestData$2
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$2
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$2
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$3
           
 

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.table
 

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.table
(package private)  class EntryImplementation_JML_TestData.EntryImplementation_JML_TestData$1
           
(package private)  class TableImplementation_JML_TestData.TableImplementation_JML_TestData$1
           
 


JML

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.