Domain

All Known Implementing Classes:

NullDomain, PointsToDomain, PointsToDomain.Universe, RangeDomain, SetDomain
```
public interface Domain
```
A class that implements Domain is used to represent container for data used in data flow analysis. The following methods are common to most of the data flow analysis.

Method Summary

Methods
Modifier and Type	Method and Description
`Domain`	`clone()` Clones the domain.
`Domain`	`diffStrong(Domain other)` Returns the result of strong difference.
`Domain`	`diffWeak(Domain other)` Returns the result of weak difference.
`boolean`	`equals(Domain other)` Checks if the other domain is equal to the current domain.
`Domain`	`intersect(Domain other)` Returns intersection of the two domains.
`void`	`kill(java.util.Set<Symbol> vars)` Kills the data containing the specified set of symbols.
`Domain`	`merge(Domain other)` Returns merge of the two domains (join operation).
`Domain`	`union(Domain other)` Returns union of the two domains if applicable.

- Method Detail
  - union
```
Domain union(Domain other)
```
    Returns union of the two domains if applicable.
    
    Parameters:
    other - the domain to be unioned.
    
    Returns:
    the resulting Domain.
  - merge
```
Domain merge(Domain other)
```
    Returns merge of the two domains (join operation).
    
    Parameters:
    other - the domain to be merged.
    
    Returns:
    the resulting Domain.
  - intersect
```
Domain intersect(Domain other)
```
    Returns intersection of the two domains.
    
    Parameters:
    other - the domain to be intersected.
    
    Returns:
    the resulting Domain.
  - diffStrong
```
Domain diffStrong(Domain other)
```
    Returns the result of strong difference. Strong difference means d1-d2 = {} if the difference is not computatble.
    
    Parameters:
    other - the domain to be subtracted.
    
    Returns:
    the resulting Domain.
  - diffWeak
```
Domain diffWeak(Domain other)
```
    Returns the result of weak difference. Weak difference means d1-d2 = d1 if the difference is not computable.
    
    Parameters:
    other - the domain to be subtracted.
    
    Returns:
    the resulting Domain.
  - kill
```
void kill(java.util.Set<Symbol> vars)
```
    Kills the data containing the specified set of symbols.
    
    Parameters:
    vars - the input set of symbols.
  - equals
```
boolean equals(Domain other)
```
    Checks if the other domain is equal to the current domain.
    
    Parameters:
    other - the domain to be compared.
    
    Returns:
    true if they are equal, false otherwise.
  - clone
```
Domain clone()
```
    Clones the domain.
    
    Returns:
    the cloned domain.

Interface Domain

Method Summary

Method Detail

union

merge

intersect

diffStrong

diffWeak

kill

equals

clone