org.norecess.citkit.types
Class TypeExpression

java.lang.Object
  org.norecess.citkit.types.TypeExpression

public class TypeExpression
extends java.lang.Object

Saves both a type and an expression. Since I don't currently have a need to save the expression, I've made a second constructor that needs only a type.

Author:

jdfrens

Constructor Summary

TypeExpression(HobbesType type)

TypeExpression(HobbesType type, HobbesTIR expression)

Method Summary

HobbesTIR	getExpression()
HobbesType	getType()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeExpression

public TypeExpression(HobbesType type,
                      HobbesTIR expression)

TypeExpression

public TypeExpression(HobbesType type)

Method Detail

getType

public HobbesType getType()

getExpression

public HobbesTIR getExpression()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object