A C D E F G H I J L M N P R S T U W
All Classes All Packages

A

Activator - Class in com.ensoftcorp.open.pointsto

An activator class for controlling the plug-in life cycle

Activator() - Constructor for class com.ensoftcorp.open.pointsto.Activator

The constructor

add(E) - Method in class com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier

Adds the element to the end of frontier, if the element already exists the frontier is left unchanged.

add(E) - Method in interface com.ensoftcorp.open.pointsto.utilities.frontier.Frontier

Adds the element to the frontier Returns true if the element was added, false if the element already existed.

add(E) - Method in class com.ensoftcorp.open.pointsto.utilities.frontier.LIFOFrontier

Adds the element to the end of frontier, if the element already exists the frontier is left unchanged.

add(E) - Method in class com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier

Adds the element to the frontier, moving the element to the end of the frontier if it already is contained in the frontier.

addAliasAddress(Node, Integer) - Method in class com.ensoftcorp.open.pointsto.analysis.JavaPointsTo

addAliasAddress(Node, Integer) - Method in class com.ensoftcorp.open.pointsto.analysis.JimplePointsTo

addAliasAddress(Node, Integer) - Method in class com.ensoftcorp.open.pointsto.analysis.PointsTo

Removes an alias address from the alias set

AddressFactory - Class in com.ensoftcorp.open.pointsto.utilities

A factory for generating unique "addresses" for each factory instance.

AddressFactory() - Constructor for class com.ensoftcorp.open.pointsto.utilities.AddressFactory

ALIAS_PREFIX - Static variable in class com.ensoftcorp.open.pointsto.common.PointsToAnalysis

The tag prefix of points-to addresses.

AnalysisUtilities - Class in com.ensoftcorp.open.pointsto.utilities

Utilities for assisting in the computation of points-to sets.

AnalysisUtilities() - Constructor for class com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities

ARRAY_COMPONENT_TRACKING - Static variable in class com.ensoftcorp.open.pointsto.preferences.PointsToPreferences

Enable/disable tracking array read/writes

ARRAY_COMPONENT_TRACKING_DEFAULT - Static variable in class com.ensoftcorp.open.pointsto.preferences.PointsToPreferences

ARRAY_MEMORY_MODEL_PREFIX - Static variable in class com.ensoftcorp.open.pointsto.common.PointsToAnalysis

This tag is placed on array instantiations to hold a serialized form of the addresses used to model an array's memory.

A C D E F G H I J L M N P R S T U W
All Classes All Packages