#ifndef APPLICATION_CLASS
#define APPLICATION_CLASS

// application: an application of a zeno operation to its operands that occurs
// in a particular scope in the source program.  the application represents the
// point in the program where the operation is called, and the point where
// continuations for the operation's consequences need to be specified.

class application
{
public:
  application();
  ~application();

  // this should have a place in source where it occurs,
  // the consequences to be connected at this application?,
  // the connections that got connected at the application.

  // print: prints out the info for the operation application.
  void print() const;

private:

};

#endif