cetus.analysis

Class Section.MAP

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<Symbol,Section>

cetus.analysis.Section.MAP

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<Symbol,Section>

Enclosing class:

Section

public static class Section.MAP
extends java.util.HashMap<Symbol,Section>
implements java.lang.Cloneable

Class MAP represents map from variables to their sections. For the convenience of implementation, we assign empty section for scalar variables.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>

Constructor Summary

Constructors

Constructor and Description
Section.MAP() Constructs an empty map.
Section.MAP(Symbol var, Section section) Constructs a map with a pair of variable and section.

Method Summary

Methods

Modifier and Type	Method and Description
void	clean() Cleans up empty sections.
Section.MAP	clone() Returns a clone object.
Section.MAP	differenceFrom(Section.MAP other, RangeDomain rd) Performs difference operation between the two section maps with the specified range domain.
Section.MAP	differenceFrom2(Section.MAP other, RangeDomain rd) Performs conditional difference operation after adding unresolved bound relation from the current section map.
Section.MAP	intersectWith(Section.MAP other, RangeDomain rd) Performs intersection operation between the two section maps with the specified range domain.
void	print(java.lang.String str)
void	print(java.lang.String str, int verbosity)
void	removeAffected(java.util.Collection<Symbol> vars) Removes sections that contains the specified set of variables.
void	removeAffected(Symbol var) Removes sections that contains the specified symbol.
void	removeSideAffected(Traversable tr) Removes sections that are unsafe in the given traversable object due to function calls.
java.lang.String	toString()
Section.MAP	unionWith(Section.MAP other, RangeDomain rd) Performs union operation between the two section maps with the specified range domain.

Methods inherited from class java.util.HashMap

clear, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

Section.MAP

public Section.MAP()

Constructs an empty map.

Section.MAP

public Section.MAP(Symbol var,
           Section section)

Constructs a map with a pair of variable and section.

Parameters:

var - the key variable.

section - the section associated with the variable.

Method Detail

clone

public Section.MAP clone()

Returns a clone object.

Overrides:

clone in class java.util.HashMap<Symbol,Section>

clean

public void clean()

Cleans up empty sections.

intersectWith

public Section.MAP intersectWith(Section.MAP other,
                        RangeDomain rd)

Performs intersection operation between the two section maps with the specified range domain.

Parameters:

other - the other section map to be intersected with.

rd - the specified range domain.

Returns:

the resulting section map after intersection.

unionWith

public Section.MAP unionWith(Section.MAP other,
                    RangeDomain rd)

Performs union operation between the two section maps with the specified range domain.

Parameters:

other - the other section map to be united with.

rd - the specified range domain.

Returns:

the resulting section map after union.

differenceFrom

public Section.MAP differenceFrom(Section.MAP other,
                         RangeDomain rd)

Performs difference operation between the two section maps with the specified range domain.

Parameters:

other - the other section map to be differenced from.

rd - the specified range domain.

Returns:

the resulting section map after difference.

differenceFrom2

public Section.MAP differenceFrom2(Section.MAP other,
                          RangeDomain rd)

Performs conditional difference operation after adding unresolved bound relation from the current section map. This operation enhances the coverage of difference operation if there exist some bound expressions that are not guaranteed to be true (lb<=ub). This should be used only for upward-exposed set computation.

removeAffected

public void removeAffected(Symbol var)

Removes sections that contains the specified symbol.

removeAffected

public void removeAffected(java.util.Collection<Symbol> vars)

Removes sections that contains the specified set of variables.

removeSideAffected

public void removeSideAffected(Traversable tr)

Removes sections that are unsafe in the given traversable object due to function calls.

print

public void print(java.lang.String str)

print

public void print(java.lang.String str,
         int verbosity)

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractMap<Symbol,Section>