ptolemy.domains.modal.kernel
Class AbstractActionsAttribute.TypeFunction

java.lang.Object
  ptolemy.data.type.MonotonicFunction
      ptolemy.domains.modal.kernel.AbstractActionsAttribute.TypeFunction

All Implemented Interfaces:

InequalityTerm

Enclosing class:

AbstractActionsAttribute

private class AbstractActionsAttribute.TypeFunction
extends MonotonicFunction

Field Summary

private java.lang.String	_name
private ParseTreeTypeInference	_typeInference
private ParseTreeFreeVariableCollector	_variableCollector

Constructor Summary

AbstractActionsAttribute.TypeFunction(java.lang.String name)
Create a new type function.

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

_name

private java.lang.String _name

_typeInference

private ParseTreeTypeInference _typeInference

_variableCollector

private ParseTreeFreeVariableCollector _variableCollector

Constructor Detail

AbstractActionsAttribute.TypeFunction

public AbstractActionsAttribute.TypeFunction(java.lang.String name)

Create a new type function. This function represents a constraint on the type of the destination with the given name.

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.