org.extendj.ast
class GLBTypeFactory

General Info

Type Hierarchy:

java.lang.Object
  org.extendj.ast.GLBTypeFactory

Description

Source

Declared in /home/jesper/git/extendj/java5/frontend/GLBTypeFactory.jadd at line 64

Aspect

GreatestLowerBoundFactory

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

Constructors

public GLBTypeFactory()

Methods

public static TypeDecl glb(java.util.ArrayList typeList)

public static final TypeDecl mostSpecificSuperClass(java.util.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.

public static final void greatestLowerBounds(java.util.ArrayList types)

Find the greatest lower bound(s).

Parameters:

types -

public static final void removeNullValues(java.util.ArrayList types)

Remove null values from the given list

Parameters:

types -

Inherited Members

Methods inherited from class java.lang.Object

clone

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

wait

wait