GLBTypeFactory (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.JastAddJ.GLBTypeFactory

public class GLBTypeFactory
extends Object

Constructor Summary

Constructors
Constructor Description

GLBTypeFactory()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	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 -