Package eu.simuline.relana.model

Class DeficiencyMap

java.lang.Object

eu.simuline.relana.model.DeficiencyMap

public final class DeficiencyMap
extends Object

Describes a map between Deficiency's of one type to another one. Created: Thu Apr 21 14:47:33 2005

Version:

1.0

Author:

Ernst Reissner

Field Summary

Fields

Modifier and Type	Field	Description
private Set<Deficiency>	domain	The elements of source for which map(eu.simuline.relana.model.Deficiency) yields a non-null-result.
private Set<Deficiency>	idDom	The set of deficiencies mapped identically.
private Set<Deficiency>	range	The elements of target for which getInverseImage(eu.simuline.relana.model.Deficiency) yields a non-empty result.
private Map<Set<Deficiency>,Deficiency>	setOfNew2old	The set of deficiencies all mapped to the same deficiency.
private SClass	source	The source of this map.
private SClass	target	The target of this map.

Constructor Summary

Constructors

Constructor	Description
DeficiencyMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)

Method Summary

Modifier and Type	Method	Description
(package private) void	checkInvImg01()
DeficiencyMap	compose(DeficiencyMap second)	Returns the composition of this map and second (in this order).
Set<Deficiency>	cont(Set<Deficiency> defs)	Returns the inverse image of defs under this map.
Set<Deficiency>	cov(Set<Deficiency> defs)	Returns the image of defs under this map.
(package private) Set<Deficiency>	getDomain()	Returns the domain of this map.
DeficiencyMap	getInverse()	Returns the inverse of this map provided it exists.
(package private) Set<Deficiency>	getInverseImage(Deficiency def)	Returns the inverse image of the given deficiency with respect to this map.
(package private) Set<Deficiency>	getRange()	Returns the range of this map.
SClass	getSource()	Returns the source of this map.
static DeficiencyMap	getSubclassMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target)
SClass	getTarget()	Returns the target of this map.
static DeficiencyMap	identity(SClass sourceTarget)	Returns the identity map with the given source and target with full domain and range.
boolean	isIsotone()	Returns whether this map is isotone.
boolean	isTwistIsotone()	Returns whether this map is twist-isotone.
Deficiency	map(Deficiency def)	Performs the mapping.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

setOfNew2old

private final Map<Set<Deficiency>,Deficiency> setOfNew2old

The set of deficiencies all mapped to the same deficiency. The values are assumed to be pairwise different and the keys to be pairwise disjoint. The keys are subsets of the set represented by source whereas the values are elements of the set represented by target.

source

private final SClass source

The source of this map.

See Also:

domain

target

private final SClass target

The target of this map.

See Also:

range

domain

private final Set<Deficiency> domain

The elements of source for which map(eu.simuline.relana.model.Deficiency) yields a non-null-result.

See Also:

source

range

private final Set<Deficiency> range

The elements of target for which getInverseImage(eu.simuline.relana.model.Deficiency) yields a non-empty result.

See Also:

target

idDom

private Set<Deficiency> idDom

The set of deficiencies mapped identically. As a consequence, this is a subset of both the set represented by source and the set represented by target.

Constructor Detail

DeficiencyMap

public DeficiencyMap(Map<Set<Deficiency>,Deficiency> setOfNew2old,
                     SClass source,
                     SClass target,
                     Set<Deficiency> idDom)

Method Detail

getSubclassMap

public static DeficiencyMap getSubclassMap(Map<Set<Deficiency>,Deficiency> setOfNew2old,
                                           SClass source,
                                           SClass target)

checkInvImg01

void checkInvImg01()

identity

public static DeficiencyMap identity(SClass sourceTarget)

Returns the identity map with the given source and target with full domain and range.

Parameters:

sourceTarget - an SClass which is both source and target and idDom comprises all its deficiencies.

Returns:

a DeficiencyMap which is the identity on the set of deficiencies of sourceTarget.

getInverse

public DeficiencyMap getInverse()

Returns the inverse of this map provided it exists.

Returns:

a DeficiencyMap which is the inverse of this one.

Throws:

UnsupportedOperationException - if this map is not invertible.

compose

public DeficiencyMap compose(DeficiencyMap second)

Returns the composition of this map and second (in this order).

Parameters:

second - another DeficiencyMap.

Returns:

the composition of this DeficiencyMap and second.

Throws:

IllegalArgumentException - if this.target != second.source.

map

public Deficiency map(Deficiency def)

Performs the mapping.

Parameters:

def - the Deficiency to be mapped.

Returns:

the image of def with respect to this map. If and only if def is outside the domain, returns null.

getInverseImage

Set<Deficiency> getInverseImage(Deficiency def)

Returns the inverse image of the given deficiency with respect to this map.

Parameters:

def - the Deficiency for which the inverse image is to be determined.

Returns:

the inverse image of def with respect to this map. This may well be an empty set.

getDomain

Set<Deficiency> getDomain()

Returns the domain of this map.

Returns:

the domain of this map.

getRange

Set<Deficiency> getRange()

Returns the range of this map.

Returns:

the range of this map.

getSource

public SClass getSource()

Returns the source of this map.

See Also:

source

getTarget

public SClass getTarget()

Returns the target of this map.

See Also:

target

isIsotone

public boolean isIsotone()

Returns whether this map is isotone.

Returns:

whether this map is isotone.

isTwistIsotone

public boolean isTwistIsotone()

Returns whether this map is twist-isotone.

Returns:

whether this map is twist-isotone.

cov

public Set<Deficiency> cov(Set<Deficiency> defs)

Returns the image of defs under this map.

Parameters:

defs - a set of Deficiencys to be mapped.

Returns:

the image of defs under this map.

cont

public Set<Deficiency> cont(Set<Deficiency> defs)

Returns the inverse image of defs under this map.

Parameters:

defs - a set of Deficiencys to be "reverse mapped'.

Returns:

the inverse image of defs under this map.

toString

public String toString()

Overrides:

toString in class Object