tcra.programmatic
Class MethodArgument

java.lang.Object
  tcra.programmatic.MethodArgument

public class MethodArgument
extends java.lang.Object

MethodArgument provides a way to represent an argument to a specification's method.

Constructor Summary

MethodArgument(java.lang.String name, ProgrammingType type)
Class constructor specifying the name, programming type, and formal mathematical type of the argument.

Method Summary

java.lang.String	getName() Get this argument's name.
ProgrammingType	getType() Get this argument's programming type.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodArgument

public MethodArgument(java.lang.String name,
                      ProgrammingType type)

Class constructor specifying the name, programming type, and formal mathematical type of the argument.

Parameters:

name - the name of the argument as would be seen in code

type - the programming type of the argument

Method Detail

getName

public java.lang.String getName()

Get this argument's name.

Returns:

String Argument name.

getType

public ProgrammingType getType()

Get this argument's programming type. The programming type is the type of the argument if it was in code.

Returns:

ProgrammingType Argument's source code type.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object