forge.program
Class ForgeProcedure

java.lang.Object
  extended by 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