Resource: RPrinter

resource RPrinter
  operations
     submitJob ()
        "Submit a job to the printer."

     // should have more specific operations depending on what it printed

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science