starlink.ColouredAutomata
Class Bridge

java.lang.Object
  starlink.ColouredAutomata.Bridge

public class Bridge
extends java.lang.Object

AutomataEngine.java The core element of the Starlink architecture. This takes XML input files for the automata of each protocol and merged protocol, and provides an engine that executes the required translation behaviour.

Version:

Starlink 0.1

Author:

David Bromberg, Labri, University of Bordeaux

Method Summary

static StateMachine	applyTranslationSpec(java.util.HashMap<java.lang.String,StateMachine> stms, org.jdom.Document spec)
static StateMachine	createStateMachine(org.jdom.Document doc, java.util.HashMap<java.lang.String,StateMachine> stms)
static Bridge	getInstance()
static java.lang.String	getProtocolName(org.jdom.Document doc)
static org.jdom.Document	getSpecFromProtocolName(java.util.List<org.jdom.Document> l, java.lang.String specName)
static java.lang.String	getTranslationName(org.jdom.Document doc)
static org.jdom.Element	getTranslationStartNode(org.jdom.Document doc)
static org.jdom.Document	jDomReadXmlStream(java.io.InputStream in)
static void	printJDom(org.jdom.Document doc)
static void	printJDom(org.jdom.Element elt)
static Protocol	readProtocol(java.io.InputStream in)
static Translation	readTranslation(java.io.InputStream in)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static Bridge getInstance()

readProtocol

public static Protocol readProtocol(java.io.InputStream in)

readTranslation

public static Translation readTranslation(java.io.InputStream in)

jDomReadXmlStream

public static org.jdom.Document jDomReadXmlStream(java.io.InputStream in)

printJDom

public static void printJDom(org.jdom.Element elt)

printJDom

public static void printJDom(org.jdom.Document doc)

getSpecFromProtocolName

public static org.jdom.Document getSpecFromProtocolName(java.util.List<org.jdom.Document> l,
                                                        java.lang.String specName)

getProtocolName

public static java.lang.String getProtocolName(org.jdom.Document doc)

getTranslationName

public static java.lang.String getTranslationName(org.jdom.Document doc)

getTranslationStartNode

public static org.jdom.Element getTranslationStartNode(org.jdom.Document doc)

createStateMachine

public static StateMachine createStateMachine(org.jdom.Document doc,
                                              java.util.HashMap<java.lang.String,StateMachine> stms)

applyTranslationSpec

public static StateMachine applyTranslationSpec(java.util.HashMap<java.lang.String,StateMachine> stms,
                                                org.jdom.Document spec)