com.uppaal.model.system
Class SystemEdge

java.lang.Object
  com.uppaal.model.system.SystemEdge

public class SystemEdge
extends Object

Constructor Summary

SystemEdge(Process process, int index, String name, Edge edge)

Method Summary

Edge	getEdge()
String	getFormatedName()
int	getIndex()
String	getName()
Process	getProcess()
String	getProcessName()
void	writeXTRFormat(Writer writer)

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemEdge

public SystemEdge(Process process,
                  int index,
                  String name,
                  Edge edge)

Method Detail

getProcess

public Process getProcess()

getProcessName

public String getProcessName()

getIndex

public int getIndex()

getName

public String getName()

getFormatedName

public String getFormatedName()

getEdge

public Edge getEdge()

writeXTRFormat

public void writeXTRFormat(Writer writer)
                    throws IOException

Throws:

IOException