scale.alias.steensgaard
Class ValueType

java.lang.Object
  scale.alias.steensgaard.AliasType
      scale.alias.steensgaard.ValueType

public class ValueType
extends AliasType

A class which implements the non-standard type describing values.

$Id: ValueType.java,v 1.16 2005-02-07 21:27:11 burrill Exp $ Copyright 2005 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

In Steensgaard's paper, he refers to this as alpha types. A ValueType contains a location (tau) and function (lamda) type.

See Also:

LocationType, FunctionType

Field Summary

Fields inherited from class scale.alias.steensgaard.AliasType

BOT

Constructor Summary

ValueType()
Create a new value type.

ValueType(ECR location, ECR function)
Create a value type with a given location and function type.

Method Summary

void	cleanup() Remove any un-needed stuff after analysis has been performed.
ECR	getFunction() Return the function type of the value.
ECR	getLocation() Return the location type of the value.
java.lang.String	toStringSpecial() Return a string representing of a value type.

Methods inherited from class scale.alias.steensgaard.AliasType

getNodeID, pointsTo, pointsToSize, toString, toStringClass, toStringShort, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueType

public ValueType()

Create a new value type. The values of the location and function types are ECRs that represent the BOTTOM type.

ValueType

public ValueType(ECR location,
                 ECR function)

Create a value type with a given location and function type.

Parameters:

location - the ECR representing the location type.

function - the ECR representing the function type.

Method Detail

getLocation

public final ECR getLocation()

Return the location type of the value.

Returns:

the location type of the value.

getFunction

public final ECR getFunction()

Return the function type of the value.

Returns:

the function type of the value.

toStringSpecial

public java.lang.String toStringSpecial()

Return a string representing of a value type.

Overrides:

toStringSpecial in class AliasType

Returns:

a string representing of a value type.

cleanup

public void cleanup()

Remove any un-needed stuff after analysis has been performed.

Overrides:

cleanup in class AliasType