forge.program
Interface ProgramElement

All Known Subinterfaces:
CFGElement, ForgeConstant, ForgeConstant.Tuple, ForgeConstant.Unary, ForgeExpression, ForgeExpression.Leaf, ForgeExpression.Modifiable, ForgeType, ForgeType.Tuple, ForgeType.Unary, LocalDecls
All Known Implementing Classes:
AssignStmt, BinaryExpression, Binding, BooleanAtom, BooleanDomain, BooleanLiteral, BranchStmt, CallStmt, CFGStmt, ConditionalExpression, CreateStmt, ExitStmt, ForgeAtom, ForgeBounds, ForgeCFG, ForgeCFG.Impl, ForgeCFG.Spec, ForgeDomain, ForgeLiteral, ForgeProcedure, ForgeVariable, GlobalVariable, InstanceAtom, InstanceDomain, InstanceLiteral, IntegerAtom, IntegerDomain, IntegerLiteral, LocalDecls.EmptyDecls, LocalDecls.MultiDecls, LocalVariable, OldExpression, ProjectionExpression, QuantifyExpression, ReferenceStmt, RelationalModel, RelationFactory, SpecStmt, Step, Step.Branch, Step.Call, Step.Update, StmtSet, Trace, UnaryExpression, UpdateStmt

public interface ProgramElement

Belongs to a program.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 ForgeProgram program()
          Returns the program to which this element belongs.
 

Method Detail

program

ForgeProgram program()
Returns the program to which this element belongs.