Package it.unive.lisa.interprocedural

Class ContextInsensitiveToken

java.lang.Object

it.unive.lisa.interprocedural.ContextInsensitiveToken

All Implemented Interfaces:

ContextSensitivityToken

public class ContextInsensitiveToken
extends java.lang.Object
implements ContextSensitivityToken

A context sensitive token that is always the same (aka, do not track any information about the call stack).

Method Summary

Modifier and Type	Method	Description
ContextSensitivityToken	empty()	A token without any context sensitivity.
static ContextInsensitiveToken	getSingleton()	Return an instance of the class.
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, equals, finalize, getClass, hashCode, 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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSingleton

public static ContextInsensitiveToken getSingleton()

Return an instance of the class.

Returns:

an instance of the class