korat.finitization.impl
Class NullClassDomain

java.lang.Object
  korat.finitization.impl.ClassDomain
      korat.finitization.impl.NullClassDomain

All Implemented Interfaces:

IClassDomain

public class NullClassDomain
extends ClassDomain

Author:

Aleksandar Milicevic

Field Summary

private static NullClassDomain

instance

Fields inherited from class korat.finitization.impl.ClassDomain

constructor, initialized, numOfObjects, params

Constructor Summary

private

NullClassDomain()

Method Summary

boolean	contains(Object obj) Checks whether the object obj is the member of this class domain
int	getIndexOf(Object obj) Returns index of object obj in this class domain
static NullClassDomain	getInstance()
Object	getObject(int index) Returns object stored at a given position inside the class domain
List<Object>	getObjects()
int	getSize() Returns number of objects in this class domain
void	initialize() Creates all uncreated objects.

Methods inherited from class korat.finitization.impl.ClassDomain

addObject, addObjects, addObjects, equals, getClassNameOfObjects, getClassOfObjects, hashCode, includeInIsomorphismCheck, isIncludedInIsomorphismChecking, isInitialized, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

instance

private static NullClassDomain instance

Constructor Detail

NullClassDomain

private NullClassDomain()

Method Detail

getInstance

public static NullClassDomain getInstance()

getSize

public int getSize()

Description copied from interface: IClassDomain

Returns number of objects in this class domain

Specified by:

getSize in interface IClassDomain

Overrides:

getSize in class ClassDomain

initialize

public void initialize()

Description copied from class: ClassDomain

Creates all uncreated objects. Constructor used for creation is className(ITester interface); constructor

Size and other properties of class domain should be set before calling this method, through constructor or some specialized interface.

Overrides:

initialize in class ClassDomain

getObject

public Object getObject(int index)

Description copied from class: ClassDomain

Returns object stored at a given position inside the class domain

Overrides:

getObject in class ClassDomain

getObjects

public List<Object> getObjects()

Overrides:

getObjects in class ClassDomain

Returns:

list of all objects in this class domain

getIndexOf

public int getIndexOf(Object obj)

Description copied from class: ClassDomain

Returns index of object obj in this class domain

Overrides:

getIndexOf in class ClassDomain

contains

public boolean contains(Object obj)

Description copied from class: ClassDomain

Checks whether the object obj is the member of this class domain

Overrides:

contains in class ClassDomain