net.sourceforge.czt.z2b

Class Main

java.lang.Object

net.sourceforge.czt.z2b.Main

public class Main
extends Object

Translate a Z specification from ZML format into B format. It takes a file spec.xml and produces a file spec.mch.

Constructor Summary

Constructors

Constructor and Description
Main()

Method Summary

Modifier and Type	Method and Description
static BWriter	createBWriter(URL inName) Create the output B file.
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

Main

public Main()

Method Detail

main

public static void main(String[] args)

createBWriter

public static BWriter createBWriter(URL inName)
                             throws IOException

Create the output B file. TODO: make this a plugin! It takes a file spec.xml and creates a file spec.mch.

Parameters:

inName - The path to the ZML file. Must end with ".xml", ".zml", ".tex", or ".zed".

Throws:

IOException