1 //
2 // Body of ProgArgs interface.
3 // This file implements the code of the ProgArgs.cp file.
4 // kjg December 1999.
5 //
6 // The reason that this module is implemented as a Java class is
7 // that the name CPmain has special meaning to the compiler, so
8 // it must be imported secretly in the implementation.
9 //
14 public class ProgArgs
15 {
18 {
21 else
23 }
26 {
33 i++) {
35 }
37 i--;
39 }
40 }
43 {
49 i++) {
51 }
53 i--;
55 }