dk.brics.tajs.lattice

Class ScopeChain

java.lang.Object

dk.brics.tajs.lattice.ScopeChain

public final class ScopeChain
extends Object

Abstract scope chain. Immutable.

Method Summary

Methods

Modifier and Type	Method and Description
static ScopeChain	add(ScopeChain s1, ScopeChain s2) Returns the least upper bound of the two scope chains.
static void	clearCache() Clears the canonicalization cache.
boolean	equals(Object x) Checks whether the given scope chain is equal to this one.
static int	getCacheSize() Returns the canonicalization cache size.
static int	getNumberOfCacheHits() Returns the number of cache hits.
static int	getNumberOfCacheMisses() Returns the number of cache misses.
Set<ObjectLabel>	getObject() Returns the top-most object in this scope chain.
int	hashCode() Computes the hash code for this scope chain.
static boolean	isEmpty(ScopeChain s) Checks whether there are no objects in the scope chain.
static Iterable<Set<ObjectLabel>>	iterable(ScopeChain s) Returns a object label set iterable for the given scope chain (where null represents empty).
static ScopeChain	make(ObjectLabel obj) Creates a scope chain with a single element.
static ScopeChain	make(Set<ObjectLabel> obj, ScopeChain next) Creates a scope chain.
ScopeChain	next() Returns the tail of this scope chain, or null if none.
static ScopeChain	remove(ScopeChain s1, ScopeChain s2) Returns a copy of s1 where s2 has been removed.
static ScopeChain	replaceObjectLabel(ScopeChain sc, ObjectLabel oldlabel, ObjectLabel newlabel, Map<ScopeChain,ScopeChain> replace_cache) Replaces all occurrences of oldlabel by newlabel.
static ScopeChain	replaceObjectLabels(ScopeChain sc, Map<ObjectLabel,ObjectLabel> m, Map<ScopeChain,ScopeChain> replace_cache) Replaces all object labels according to the given map.
static void	reset() Resets the cache numbers.
static ScopeChain	summarize(ScopeChain sc, Summarized s) Constructs a scope chain as a copy of the given one but with object labels summarized.
static ScopeChain	summarize(ScopeChain sc, Summarized s, Map<ScopeChain,ScopeChain> summarize_cache) Summarizes this scope chain.
String	toString() Returns a string representation of this scope chain.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

add

public static ScopeChain add(ScopeChain s1,
             ScopeChain s2)

Returns the least upper bound of the two scope chains.

clearCache

public static void clearCache()

Clears the canonicalization cache.

equals

public boolean equals(Object x)

Checks whether the given scope chain is equal to this one.

Overrides:

equals in class Object

getCacheSize

public static int getCacheSize()

Returns the canonicalization cache size.

getNumberOfCacheHits

public static int getNumberOfCacheHits()

Returns the number of cache hits.

getNumberOfCacheMisses

public static int getNumberOfCacheMisses()

Returns the number of cache misses.

getObject

public Set<ObjectLabel> getObject()

Returns the top-most object in this scope chain.

hashCode

public int hashCode()

Computes the hash code for this scope chain.

Overrides:

hashCode in class Object

isEmpty

public static boolean isEmpty(ScopeChain s)

Checks whether there are no objects in the scope chain.

iterable

public static Iterable<Set<ObjectLabel>> iterable(ScopeChain s)

Returns a object label set iterable for the given scope chain (where null represents empty).

make

public static ScopeChain make(ObjectLabel obj)

Creates a scope chain with a single element.

make

public static ScopeChain make(Set<ObjectLabel> obj,
              ScopeChain next)

Creates a scope chain. This object gets ownership of the set.

next

public ScopeChain next()

Returns the tail of this scope chain, or null if none.

remove

public static ScopeChain remove(ScopeChain s1,
                ScopeChain s2)

Returns a copy of s1 where s2 has been removed.

replaceObjectLabel

public static ScopeChain replaceObjectLabel(ScopeChain sc,
                            ObjectLabel oldlabel,
                            ObjectLabel newlabel,
                            Map<ScopeChain,ScopeChain> replace_cache)

Replaces all occurrences of oldlabel by newlabel.

replaceObjectLabels

public static ScopeChain replaceObjectLabels(ScopeChain sc,
                             Map<ObjectLabel,ObjectLabel> m,
                             Map<ScopeChain,ScopeChain> replace_cache)

Replaces all object labels according to the given map.

reset

public static void reset()

Resets the cache numbers.

summarize

public static ScopeChain summarize(ScopeChain sc,
                   Summarized s)

Constructs a scope chain as a copy of the given one but with object labels summarized.

summarize

public static ScopeChain summarize(ScopeChain sc,
                   Summarized s,
                   Map<ScopeChain,ScopeChain> summarize_cache)

Summarizes this scope chain.

toString

public String toString()

Returns a string representation of this scope chain.

Overrides:

toString in class Object