org.clafer.ast.analysis

Class Type

java.lang.Object

org.clafer.ast.analysis.Type

public class Type
extends Object

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
Type(Set<AstClafer> unionType)
Type(Set<AstClafer> unionType, AstClafer commonSupertype)

Method Summary

Methods

Modifier and Type	Method and Description
static Type	basicType(AstClafer type)
boolean	equals(Object obj)
AstClafer	getBasicType()
AstClafer	getCommonSuperType()
Set<AstClafer>	getUnionType()
int	hashCode()
boolean	isBasicType()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Type

public Type(Set<AstClafer> unionType,
    AstClafer commonSupertype)

Type

public Type(Set<AstClafer> unionType)

Method Detail

getUnionType

public Set<AstClafer> getUnionType()

getCommonSuperType

public AstClafer getCommonSuperType()

isBasicType

public boolean isBasicType()

getBasicType

public AstClafer getBasicType()

basicType

public static Type basicType(AstClafer type)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object