org.classdump.luna.compiler.analysis.types

Class FunctionType

java.lang.Object

org.classdump.luna.compiler.analysis.types.Type

org.classdump.luna.compiler.analysis.types.ConcreteType

org.classdump.luna.compiler.analysis.types.FunctionType

All Implemented Interfaces:

GradualTypeLike<Type>

public class FunctionType
extends ConcreteType

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeSeq	returnTypes
protected AbstractType	supertype
protected TypeSeq	typeSeq

Fields inherited from class org.classdump.luna.compiler.analysis.types.ConcreteType

name

Method Summary

Modifier and Type	Method and Description
TypeSeq	argumentTypes()
boolean	equals(Object o)
int	hashCode()
boolean	isConsistentWith(Type that)
boolean	isSubtypeOf(Type that)
Type	join(Type that)
Type	meet(Type that)
Type	restrict(Type that)
TypeSeq	returnTypes()
String	toExplicitString() Deprecated.
String	toString()

Methods inherited from class org.classdump.luna.compiler.analysis.types.ConcreteType

supertype

Methods inherited from class org.classdump.luna.compiler.analysis.types.Type

compareTo, isConsistentSubtypeOf, unionWith

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

supertype

protected final AbstractType supertype

typeSeq

protected final TypeSeq typeSeq

returnTypes

protected final TypeSeq returnTypes

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class ConcreteType

toExplicitString

@Deprecated
public String toExplicitString()

Deprecated.

argumentTypes

public TypeSeq argumentTypes()

returnTypes

public TypeSeq returnTypes()

isSubtypeOf

public boolean isSubtypeOf(Type that)

Overrides:

isSubtypeOf in class ConcreteType

join

public Type join(Type that)

Overrides:

join in class ConcreteType

meet

public Type meet(Type that)

Overrides:

meet in class ConcreteType

restrict

public Type restrict(Type that)

Overrides:

restrict in class ConcreteType

isConsistentWith

public boolean isConsistentWith(Type that)

Specified by:

isConsistentWith in interface GradualTypeLike<Type>

Overrides:

isConsistentWith in class Type