com.google.javascript.jscomp

Class SideEffectsAnalysis.DegenerateLocationAbstraction.DegenerateEffectLocation

java.lang.Object

com.google.javascript.jscomp.SideEffectsAnalysis.DegenerateLocationAbstraction.DegenerateEffectLocation

All Implemented Interfaces:

SideEffectsAnalysis.EffectLocation

Enclosing class:

SideEffectsAnalysis.DegenerateLocationAbstraction

private static class SideEffectsAnalysis.DegenerateLocationAbstraction.DegenerateEffectLocation
extends java.lang.Object
implements SideEffectsAnalysis.EffectLocation

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DegenerateEffectLocation()

Method Summary

Modifier and Type	Method and Description
boolean	intersectsLocation(SideEffectsAnalysis.EffectLocation otherLocation) Does the receiver's effect location intersect a given effect location? That is, could any of the concrete storage locations (fields, variables, etc.) represented by the receiver be contained in the set of concrete storage locations represented by the given abstract effect location.
boolean	isEmpty() Does the effect location represent any possible concrete locations?
SideEffectsAnalysis.EffectLocation	join(SideEffectsAnalysis.EffectLocation otherLocation) Returns the result of merging the given effect location with the receiver.

Methods inherited from class java.lang.Object

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

Constructor Detail

DegenerateEffectLocation

private DegenerateEffectLocation()

Method Detail

join

public SideEffectsAnalysis.EffectLocation join(SideEffectsAnalysis.EffectLocation otherLocation)

Description copied from interface: SideEffectsAnalysis.EffectLocation

Returns the result of merging the given effect location with the receiver. The concrete locations represented by the result must include all the concrete locations represented by each of the merged locations and may also possibly include more (i.e., a join may introduce a loss of precision).

Specified by:

join in interface SideEffectsAnalysis.EffectLocation

intersectsLocation

public boolean intersectsLocation(SideEffectsAnalysis.EffectLocation otherLocation)

Description copied from interface: SideEffectsAnalysis.EffectLocation

Does the receiver's effect location intersect a given effect location? That is, could any of the concrete storage locations (fields, variables, etc.) represented by the receiver be contained in the set of concrete storage locations represented by the given abstract effect location.

Specified by:

intersectsLocation in interface SideEffectsAnalysis.EffectLocation

isEmpty

public boolean isEmpty()

Description copied from interface: SideEffectsAnalysis.EffectLocation

Does the effect location represent any possible concrete locations?

Specified by:

isEmpty in interface SideEffectsAnalysis.EffectLocation