uk.ac.ucl.cs.emofocl.emofdoc.html
Class HTMLEMOFDoc

java.lang.Object
  uk.ac.ucl.cs.emofocl.emofdoc.html.HTMLEMOFDoc

public class HTMLEMOFDoc
extends Object

Constructor Summary

HTMLEMOFDoc()

Method Summary

static void	gen(Specification top, PrintStream out)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

HTMLEMOFDoc

public HTMLEMOFDoc()

Method Detail

main

public static void main(String[] args)

gen

public static void gen(Specification top,
                       PrintStream out)