ptolemy.actor.lib
Class Expression.OutputTypeFunction

java.lang.Object
  ptolemy.data.type.MonotonicFunction
      ptolemy.actor.lib.Expression.OutputTypeFunction

All Implemented Interfaces:

InequalityTerm

Enclosing class:

Expression

private class Expression.OutputTypeFunction
extends MonotonicFunction

Field Summary

private ParseTreeTypeInference	_typeInference
private ParseTreeFreeVariableCollector	_variableCollector

Constructor Summary

private

Expression.OutputTypeFunction()

Method Summary

java.lang.Object	getValue() Return the function result.
InequalityTerm[]	getVariables() Return the type variable in this inequality term.
java.lang.String	getVerboseString() Override the base class to give a description of this term.

Methods inherited from class ptolemy.data.type.MonotonicFunction

getAssociatedObject, initialize, isSettable, isValueAcceptable, setValue, toString

Methods inherited from class java.lang.Object

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

Field Detail

_typeInference

private ParseTreeTypeInference _typeInference

_variableCollector

private ParseTreeFreeVariableCollector _variableCollector

Constructor Detail

Expression.OutputTypeFunction

private Expression.OutputTypeFunction()

Method Detail

getValue

public java.lang.Object getValue()
                          throws IllegalActionException

Return the function result.

Specified by:

getValue in interface InequalityTerm

Specified by:

getValue in class MonotonicFunction

Returns:

A Type.

Throws:

IllegalActionException - If inferring types for the expression fails.

See Also:

MonotonicFunction.setValue(Object)

getVariables

public InequalityTerm[] getVariables()

Return the type variable in this inequality term. If the type of input ports are not declared, return an one element array containing the inequality term representing the type of the port; otherwise, return an empty array.

Specified by:

getVariables in interface InequalityTerm

Specified by:

getVariables in class MonotonicFunction

Returns:

An array of InequalityTerm.

getVerboseString

public java.lang.String getVerboseString()

Override the base class to give a description of this term.

Overrides:

getVerboseString in class MonotonicFunction

Returns:

A description of this term.