Uses of Class
cetus.analysis.Section.MAP

Packages that use Section.MAP

Package	Description
cetus.analysis
cetus.hir

Uses of Section.MAP in cetus.analysis

Methods in cetus.analysis that return Section.MAP

Modifier and Type	Method and Description
Section.MAP	Section.MAP.clone() Returns a clone object.
Section.MAP	Section.MAP.differenceFrom(Section.MAP other, RangeDomain rd) Performs difference operation between the two section maps with the specified range domain.
Section.MAP	Section.MAP.differenceFrom2(Section.MAP other, RangeDomain rd) Performs conditional difference operation after adding unresolved bound relation from the current section map.
Section.MAP	Section.MAP.intersectWith(Section.MAP other, RangeDomain rd) Performs intersection operation between the two section maps with the specified range domain.
Section.MAP	Section.MAP.unionWith(Section.MAP other, RangeDomain rd) Performs union operation between the two section maps with the specified range domain.

Methods in cetus.analysis with parameters of type Section.MAP

Modifier and Type	Method and Description
Section.MAP	Section.MAP.differenceFrom(Section.MAP other, RangeDomain rd) Performs difference operation between the two section maps with the specified range domain.
Section.MAP	Section.MAP.differenceFrom2(Section.MAP other, RangeDomain rd) Performs conditional difference operation after adding unresolved bound relation from the current section map.
Section.MAP	Section.MAP.intersectWith(Section.MAP other, RangeDomain rd) Performs intersection operation between the two section maps with the specified range domain.
Section.MAP	Section.MAP.unionWith(Section.MAP other, RangeDomain rd) Performs union operation between the two section maps with the specified range domain.

Uses of Section.MAP in cetus.hir

Methods in cetus.hir that return Section.MAP

Modifier and Type	Method and Description
static Section.MAP	Tools.getDefSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	DataFlowTools.getDefSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Returns a map from a variable to its section
static Section.MAP	Tools.getDefSectionMap(Traversable t, java.util.Map range_map, RangeDomain unioned_rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	DataFlowTools.getDefSectionMap(Traversable t, java.util.Map range_map, RangeDomain unioned_rd, java.util.Set<Symbol> def_vars) Returns a set of defined Section expressions in the traversable object.
static Section.MAP	Tools.getUseSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	DataFlowTools.getUseSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Returns a map from a variable to its section