bpwj: Class ShowProof

Overview

Package

Class

Use

Tree

Index

Help

Building Parsers with Java

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

sjm.examples.engine
Class ShowProof

java.lang.Object
  |
  +--sjm.examples.engine.ShowProof

public class ShowProof
extends java.lang.Object

Show a simple query proving itself.

Constructor Summary

ShowProof()


Method Summary

static Program charges()
          Return a small database of shipping charges.

static Program customers()
          Return a small database of customers.

static void main(java.lang.String[] args)
          Show a simple query proving itself.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ShowProof

public ShowProof()

Method Detail

charges

public static Program charges()

Return a small database of shipping charges.

customers

public static Program customers()

Return a small database of customers.

main

public static void main(java.lang.String[] args)