com.google.javascript.jscomp

Class SideEffectsAnalysis.VisibilityLocationAbstraction.VisibilityBasedEffectLocation

java.lang.Object

com.google.javascript.jscomp.SideEffectsAnalysis.VisibilityLocationAbstraction.VisibilityBasedEffectLocation

All Implemented Interfaces:

SideEffectsAnalysis.EffectLocation

Enclosing class:

SideEffectsAnalysis.VisibilityLocationAbstraction

private static class SideEffectsAnalysis.VisibilityLocationAbstraction.VisibilityBasedEffectLocation
extends java.lang.Object
implements SideEffectsAnalysis.EffectLocation

An abstract effect location based the visibility of the concrete storage location. See SideEffectsAnalysis.VisibilityLocationAbstraction for deeper description of this abstraction. The effect locations are stored as bits set on an integer, so intersect, join, etc. are the standard bitwise operations.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	visibilityMask

Constructor Summary

Constructors

Constructor and Description
VisibilityBasedEffectLocation(int visibilityMask)

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

Field Detail

visibilityMask

int visibilityMask

Constructor Detail

VisibilityBasedEffectLocation

public VisibilityBasedEffectLocation(int visibilityMask)

Method Detail

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

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