forge.program
Class ForgeProcedure

java.lang.Object
  forge.program.ForgeProcedure

All Implemented Interfaces:

ProgramElement

public final class ForgeProcedure
extends java.lang.Object
implements ProgramElement

A procedure in a Forge program.

Author:

Greg Dennis (gdennis@mit.edu)

Method Summary

LocalDecls	inParams() Returns the set of in-parameters.
java.lang.String	name() Returns the name of the procedure.
LocalDecls	outParams() Returns the set of out-parameters.
ForgeProgram	program() Returns the program to which this element belongs.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

program

public ForgeProgram program()

Description copied from interface: ProgramElement

Returns the program to which this element belongs.

Specified by:

program in interface ProgramElement

name

public java.lang.String name()

Returns the name of the procedure.

inParams

public LocalDecls inParams()

Returns the set of in-parameters.

outParams

public LocalDecls outParams()

Returns the set of out-parameters.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object