Package it.unive.lisa.interprocedural

Class RecursionFreeToken

java.lang.Object

it.unive.lisa.interprocedural.RecursionFreeToken

All Implemented Interfaces:

ContextSensitivityToken

public class RecursionFreeToken
extends java.lang.Object
implements ContextSensitivityToken

A context sensitive token representing an entire call chain up until a recursion.

Method Summary

Modifier and Type	Method	Description
ContextSensitivityToken	empty()	A token without any context sensitivity.
boolean	equals(java.lang.Object o)
static RecursionFreeToken	getSingleton()	Return an empty token.
int	hashCode()
ContextSensitivityToken	popToken()	Creates a context sensitive token popping the scope on top of the stack.
ContextSensitivityToken	pushToken(it.unive.lisa.analysis.ScopeToken c)	Creates a context sensitive token with the given scope on the top of the stack.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

empty

public ContextSensitivityToken empty()

Description copied from interface: ContextSensitivityToken

A token without any context sensitivity.

Specified by:

empty in interface ContextSensitivityToken

Returns:

an empty context sensitive token

pushToken

public ContextSensitivityToken pushToken(it.unive.lisa.analysis.ScopeToken c)

Description copied from interface: ContextSensitivityToken

Creates a context sensitive token with the given scope on the top of the stack.

Specified by:

pushToken in interface ContextSensitivityToken

Parameters:

c - the ScopeToken to be pushed at the top of the context sensitive

Returns:

a token with the given scope on the top of the call stack

popToken

public ContextSensitivityToken popToken()

Description copied from interface: ContextSensitivityToken

Creates a context sensitive token popping the scope on top of the stack.

Specified by:

popToken in interface ContextSensitivityToken

Returns:

a token without the this token's top scope

getSingleton

public static RecursionFreeToken getSingleton()

Return an empty token.

Returns:

an empty token

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object