Package pascal.taie.analysis.pta.toolkit

Class CollectionMethods

java.lang.Object

pascal.taie.analysis.pta.toolkit.CollectionMethods

public class CollectionMethods
extends Object

Computes collection methods in the program.

Constructor Summary

Constructors

Constructor	Description
CollectionMethods(ClassHierarchy hierarchy)

Method Summary

Modifier and Type	Method	Description
Set<JMethod>	get()

Methods inherited from class java.lang.Object

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

Constructor Details

CollectionMethods

public CollectionMethods(ClassHierarchy hierarchy)

Method Details

get

public Set<JMethod> get()

Returns:

set of collection methods in the program.