toolbus
Class JavaTif

java.lang.Object
  toolbus.JavaTif

public class JavaTif
extends java.lang.Object

Field Summary

private java.util.Map<aterm.ATermAppl,SpecOrderVector>	doEvents
private java.util.Map<aterm.ATermAppl,SpecOrderVector>	evalEvents
private aterm.ATermFactory	factory
private boolean	hasRecAckEvent
private java.util.Map<aterm.ATermAppl,SpecOrderVector>	otherEvents
private java.lang.String	package_name
private boolean	swingTool
private aterm.ATermList	tifs
private java.lang.String	tool_bridge
private java.lang.String	tool_class
private java.lang.String	tool_interface

Constructor Summary

JavaTif(java.lang.String pkg_name, java.lang.String tool_interface, java.lang.String tool_class, java.lang.String tool_bridge, boolean swingTool)

Method Summary

private static java.lang.String	capitalize(java.lang.String str, boolean fc)
private void	genBridge()
private void	genBridgeHeader(java.io.PrintWriter out)
private void	genCheckInputSignature(java.io.PrintWriter out)
private void	genConstructor(java.io.PrintWriter out)
private void	genHandler(java.io.PrintWriter out)
private void	genHeader(java.io.PrintWriter out)
private void	genInitPatterns(java.io.PrintWriter out)
private void	genInitSigTable(java.io.PrintWriter out)
private void	genMethods(java.io.PrintWriter out, boolean gen_impl)
private void	genNotInInputSignature(java.io.PrintWriter out)
private void	genPatternAttribs(java.io.PrintWriter out)
private void	genSigTable(java.io.PrintWriter out)
private void	genTif()
private void	genTifHeader(java.io.PrintWriter out)
private void	genTool()
static void	main(java.lang.String[] args)
private aterm.ATermAppl	normalize(aterm.ATermAppl appl)
private void	populateMap(aterm.ATermList signature)
private void	populateMaps(aterm.ATermList inputSignature, aterm.ATermList outputSignature, aterm.ATermList otherSignature, java.lang.String tool)
private void	readTifs(java.lang.String tifsfile, java.lang.String tool)
(package private) static void	usage()

Methods inherited from class java.lang.Object

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

Field Detail

tifs

private aterm.ATermList tifs

factory

private final aterm.ATermFactory factory

doEvents

private final java.util.Map<aterm.ATermAppl,SpecOrderVector> doEvents

evalEvents

private final java.util.Map<aterm.ATermAppl,SpecOrderVector> evalEvents

otherEvents

private final java.util.Map<aterm.ATermAppl,SpecOrderVector> otherEvents

hasRecAckEvent

private boolean hasRecAckEvent

package_name

private final java.lang.String package_name

tool_interface

private final java.lang.String tool_interface

tool_class

private final java.lang.String tool_class

tool_bridge

private final java.lang.String tool_bridge

swingTool

private final boolean swingTool

Constructor Detail

JavaTif

public JavaTif(java.lang.String pkg_name,
               java.lang.String tool_interface,
               java.lang.String tool_class,
               java.lang.String tool_bridge,
               boolean swingTool)

Method Detail

usage

static void usage()

main

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

Throws:

java.io.IOException

populateMap

private void populateMap(aterm.ATermList signature)

populateMaps

private void populateMaps(aterm.ATermList inputSignature,
                          aterm.ATermList outputSignature,
                          aterm.ATermList otherSignature,
                          java.lang.String tool)

capitalize

private static java.lang.String capitalize(java.lang.String str,
                                           boolean fc)

readTifs

private void readTifs(java.lang.String tifsfile,
                      java.lang.String tool)
               throws java.io.IOException

Throws:

java.io.IOException

genTif

private void genTif()
             throws java.io.IOException

Throws:

java.io.IOException

genTifHeader

private void genTifHeader(java.io.PrintWriter out)

genTool

private void genTool()
              throws java.io.IOException

Throws:

java.io.IOException

genSigTable

private void genSigTable(java.io.PrintWriter out)

genHeader

private void genHeader(java.io.PrintWriter out)

genPatternAttribs

private void genPatternAttribs(java.io.PrintWriter out)

genConstructor

private void genConstructor(java.io.PrintWriter out)

genInitSigTable

private void genInitSigTable(java.io.PrintWriter out)

genInitPatterns

private void genInitPatterns(java.io.PrintWriter out)

genHandler

private void genHandler(java.io.PrintWriter out)

genMethods

private void genMethods(java.io.PrintWriter out,
                        boolean gen_impl)

genCheckInputSignature

private void genCheckInputSignature(java.io.PrintWriter out)

genNotInInputSignature

private void genNotInInputSignature(java.io.PrintWriter out)

genBridge

private void genBridge()
                throws java.io.IOException

Throws:

java.io.IOException

genBridgeHeader

private void genBridgeHeader(java.io.PrintWriter out)

normalize

private aterm.ATermAppl normalize(aterm.ATermAppl appl)