Package pascal.taie.analysis.pta.core.cs.context

Class TrieContext

java.lang.Object

pascal.taie.analysis.pta.core.cs.context.TrieContext

All Implemented Interfaces:

Context

public class TrieContext
extends Object
implements Context

An implementation of Context, which organizes contexts as Trie.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TrieContext.Factory<T>

Method Summary

Modifier and Type	Method	Description
Object	getElementAt(int i)
int	getLength()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getLength

public int getLength()

Specified by:

getLength in interface Context

Returns:

the length (i.e., the number of elements) of this context.

getElementAt

public Object getElementAt(int i)

Specified by:

getElementAt in interface Context

Returns:

the i-th element of this context. Starts from 0.

toString

public String toString()

Overrides:

toString in class Object