soot.JastAddJ

Class GLBTypeFactory

java.lang.Object

soot.JastAddJ.GLBTypeFactory

public class GLBTypeFactory
extends Object

Constructor Summary

Constructors

Constructor and Description
GLBTypeFactory()

Method Summary

Modifier and Type	Method and Description
static TypeDecl	glb(ArrayList typeList)
static void	greatestLowerBounds(ArrayList types) Find the greatest lower bound(s).
static TypeDecl	mostSpecificSuperClass(ArrayList types) See JLS section 4.9 about Intersection Types
static void	removeNullValues(ArrayList types) Remove null values from the given list

Methods inherited from class java.lang.Object

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

Constructor Detail

GLBTypeFactory

public GLBTypeFactory()

Method Detail

glb

public static TypeDecl glb(ArrayList typeList)

mostSpecificSuperClass

public static final TypeDecl mostSpecificSuperClass(ArrayList types)

See JLS section 4.9 about Intersection Types

For each T_i, 1 ≤ i ≤ n, let C_i be the most specific class or array type such that T_i <: C_i Then there must be some T_k <: C_k such that C_k <: C_i for any i, 1 ≤ i ≤ n, or a compile-time error occurs.

Parameters:

types -

Returns:

the most specific class that all elements in types are a subtype of. Or null if no such class exists.

greatestLowerBounds

public static final void greatestLowerBounds(ArrayList types)

Find the greatest lower bound(s).

Parameters:

types -

removeNullValues

public static final void removeNullValues(ArrayList types)

Remove null values from the given list

Parameters:

types -