FileDocCategorySizeDatePackage
CodePackager.javaAPI DocExample13894Mon Apr 06 18:10:20 BST 1998c17

Pr

public class Pr extends Object

Fields Summary
Constructors Summary
Methods Summary
static voiderror(java.lang.String e)

    System.err.println("ERROR: " + e);
    System.exit(1);