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

Class TrieContext.Factory<T>

java.lang.Object

pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory<T>

All Implemented Interfaces:

ContextFactory<T>

Enclosing class:

TrieContext

public static class TrieContext.Factory<T>
extends Object
implements ContextFactory<T>

Constructor Summary

Constructors

Constructor	Description
Factory()

Method Summary

Modifier and Type	Method	Description
TrieContext	append(Context parent, T elem, int limit)	Constructs a context by appending a context element to a parent context.
TrieContext	getEmptyContext()
Context	make(T elem)
TrieContext	make(T... elems)
TrieContext	makeLastK(Context context, int k)

Methods inherited from class java.lang.Object

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

Constructor Details

Factory

public Factory()

Method Details

getEmptyContext

public TrieContext getEmptyContext()

Specified by:

getEmptyContext in interface ContextFactory<T>

Returns:

the empty context.

make

public Context make(T elem)

Specified by:

make in interface ContextFactory<T>

Returns:

the context with one element.

make

public TrieContext make(T... elems)

Specified by:

make in interface ContextFactory<T>

Returns:

the context that consists of given elements.

makeLastK

public TrieContext makeLastK(Context context,
 int k)

Specified by:

makeLastK in interface ContextFactory<T>

Returns:

a context with last k elements of given context.

append

public TrieContext append(Context parent,
 T elem,
 int limit)

Description copied from interface: ContextFactory

Constructs a context by appending a context element to a parent context. The length of the resulting context will be restricted by given limit.

Specified by:

append in interface ContextFactory<T>

Returns:

the resulting context.