Uses of Interface
korat.finitization.IFieldDomain

Packages that use IFieldDomain

korat.finitization
korat.finitization.impl

Uses of IFieldDomain in korat.finitization

Subinterfaces of IFieldDomain in korat.finitization

interface	IArraySet Interface IArraySet represents field domain (set of values a field can take) for array fields.
interface	IBooleanSet IBooleanSet represents field domain for boolean fields
interface	IByteSet IByteSet represents field domain for byte fields
interface	IDoubleSet IDoubleSet represents field domain for double fields
interface	IFloatSet Interface that represents field domain of the primitive type float.
interface	IIntSet Interface that represents field domain of the primitive type int.
interface	ILongSet Interface that represents field domain of the primitive type long.
interface	IObjSet Interface that represents Field domains for reference types.
(package private) interface	IPrimitiveTypeSet Interface that represents Field domain for primitive type.
interface	IShortSet Interface that represents field domain of the primitive type short.

Methods in korat.finitization that return IFieldDomain

IFieldDomain	IFinitization.createObjSet(IClassDomain classDomain) Helper.
IFieldDomain	IFinitization.createObjSet(IClassDomain classDomain, boolean includeNull) Similar to createObjSet(IClassDomain classDomain) but also can include null value
IFieldDomain	IArraySet.getComponentsSet() Gets the class domain of array components in this IArraySet.
IFieldDomain	IFinitization.getFieldDomain(Class cls, String fieldName)
IFieldDomain	IFinitization.getFieldDomain(String fullFieldName)
IFieldDomain	IFinitization.getFieldDomain(String className, String fieldName)

Methods in korat.finitization with parameters of type IFieldDomain

IArraySet	IFinitization.createArraySet(Class clz, IIntSet array$length, IFieldDomain array$values, int count) Creates an instance of the IArraySet.
void	IFinitization.set(Class cls, String fieldName, IFieldDomain fieldDomain) Assigns fieldDomain to the given field (fieldName) of the given class (cls).
void	IFinitization.set(String fullFieldName, IFieldDomain fieldDomain) Helper.
void	IFinitization.set(String className, String fieldName, IFieldDomain fieldDomain) Helper.
void	IArraySet.setComponentsSet(IFieldDomain componentsSet) Sets the field domain for the components of the array.

Uses of IFieldDomain in korat.finitization.impl

Classes in korat.finitization.impl that implement IFieldDomain

class	ArraySet
class	BooleanSet
class	ByteSet
class	DoubleSet
class	FieldDomain
class	FloatSet
class	IntSet
class	LongSet
class	ObjSet
class	PrimitiveTypeSet Represents Field domain for primitive type.
class	ShortSet

Fields in korat.finitization.impl with type parameters of type IFieldDomain

private Map<IClassDomain,Map<String,IFieldDomain>>

Finitization.clsDomainsMap

Methods in korat.finitization.impl that return IFieldDomain

IFieldDomain	Finitization.createObjSet(IClassDomain classDomain)
IFieldDomain	Finitization.createObjSet(IClassDomain classDomain, boolean includeNull)
IFieldDomain	ArraySet.getComponentsSet()
IFieldDomain	Finitization.getFieldDomain(Class cls, String fieldName)
IFieldDomain	Finitization.getFieldDomain(String fullFieldName)
IFieldDomain	Finitization.getFieldDomain(String className, String fieldName)

Methods in korat.finitization.impl that return types with arguments of type IFieldDomain

private Map<String,IFieldDomain>

Finitization.putClsDomainsMap(IClassDomain cd, Map<String,IFieldDomain> mfd)

Methods in korat.finitization.impl with parameters of type IFieldDomain

IArraySet	Finitization.createArraySet(Class clz, IIntSet array$length, IFieldDomain array$values, int count)
void	Finitization.set(Class cls, String fieldName, IFieldDomain fieldDomain)
void	Finitization.set(String fullFieldName, IFieldDomain fieldDomain)
void	Finitization.set(String className, String fieldName, IFieldDomain fieldDomain)
void	ArraySet.setComponentsSet(IFieldDomain componentsSet)

Method parameters in korat.finitization.impl with type arguments of type IFieldDomain

private void	Finitization.appendFields(List<CVElem> fieldsList, Object obj, Map<String,IFieldDomain> fieldsMap)
private Map<String,IFieldDomain>	Finitization.putClsDomainsMap(IClassDomain cd, Map<String,IFieldDomain> mfd)