Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

jml2b
Class astprint

java.lang.Object
  extended byjml2b.astprint
public class astprint
extends java.lang.Object

Simple class that prints Java/JML classes.

Author:
A. Requet

Constructor Summary
astprint()
           
 
Method Summary
static void displayUsage()
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

astprint

public astprint()
Method Detail

displayUsage

public static void displayUsage()

main

public static void main(java.lang.String[] args)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD