Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use NewObjectAbstractStrategy
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
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.samples.dbc This package contains samples of JML specifications written in the style of design by contract. 
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.jmltutorial This package contains samples of JML specifications from the tutorials. 
org.jmlspecs.samples.list.list1   
org.jmlspecs.samples.list.list2   
org.jmlspecs.samples.list.node2   
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.reader This package contains samples of JML specifications relating to some abstractions of input and output. 
org.jmlspecs.samples.sets This package contains samples of JML specifications relating to sets. 
org.jmlspecs.samples.stacks This package contains samples of JML specifications relating to stacks of various sorts. 
org.jmlspecs.samples.table This package contains samples of JML specifications relating to tables. 
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies
(package private)  class CollectionStrategy.CollectionStrategy$1
           
protected  class NewObjectAbstractStrategyTest.SingletonNOAS
          A class that just provides null and one more object
protected  class NewObjectAbstractStrategyTest.SmallestNOAS
          A class that just provides null
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.models
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.models
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$3
           
(package private)  class JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$2
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.dbc
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.dbc
(package private)  class Complex_JML_TestData.Complex_JML_TestData$1
           
(package private)  class Complex_JML_TestData.Complex_JML_TestData$2
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.digraph
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.digraph
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$2
           
(package private)  class TransposableDigraph_JML_TestData.TransposableDigraph_JML_TestData$1
           
(package private)  class TransposableNode_JML_TestData.TransposableNode_JML_TestData$2
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer
(package private)  class PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$1
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial
(package private)  class Person_JML_TestData.Person_JML_TestData$1
           
 

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

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.list.list1
(package private)  class ListIterator_JML_TestData.ListIterator_JML_TestData$2
           
 

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

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.list.list2
(package private)  class TwoWayIterator_JML_TestData.TwoWayIterator_JML_TestData$1
           
(package private)  class TwoWayIterator_JML_TestData.TwoWayIterator_JML_TestData$2
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.list.node2
 

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

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.misc
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.misc
(package private)  class Counter_JML_TestData.Counter_JML_TestData$1
           
(package private)  class LinearSearch_JML_TestData.LinearSearch_JML_TestData$1
           
(package private)  class Meter_JML_TestData.Meter_JML_TestData$1
           
(package private)  class Proof_JML_TestData.Proof_JML_TestData$3
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign
(package private)  class Account_JML_TestData.Account_JML_TestData$1
           
(package private)  class Account_JML_TestData.Account_JML_TestData$3
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$1
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$3
           
(package private)  class Point2D_JML_TestData.Point2D_JML_TestData$1
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.reader
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.reader
(package private)  class BlankReader_JML_TestData.BlankReader_JML_TestData$1
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.sets
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.sets
(package private)  class IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2
           
(package private)  class IntegerSetAsTree_JML_TestData.IntegerSetAsTree_JML_TestData$2
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.stacks
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.stacks
(package private)  class BoundedStackInterface_JML_TestData.BoundedStackInterface_JML_TestData$2
           
(package private)  class UnboundedStackAsArrayList_JML_TestData.UnboundedStackAsArrayList_JML_TestData$1
           
 

Uses of NewObjectAbstractStrategy in org.jmlspecs.samples.table
 

Subclasses of NewObjectAbstractStrategy in org.jmlspecs.samples.table
(package private)  class TableImplementation_JML_TestData.TableImplementation_JML_TestData$3
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    
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.