Package moise.tools

Class os2dot

java.lang.Object

moise.tools.os2dot

Direct Known Subclasses:

os2dotGUI

public class os2dot
extends java.lang.Object

Convert OS/OE into DOT code (to plot a graph)

Author:

Jomi

Field Summary

Fields

Modifier and Type	Field	Description
protected java.io.File	osFile
boolean	showConditions
boolean	showFS
boolean	showLinks
boolean	showMissions
boolean	showNS
boolean	showSS

Constructor Summary

Constructors

Constructor	Description
os2dot()

Method Summary

Modifier and Type	Method	Description
java.lang.String	transform(FS fs)
static java.lang.String	transform(Goal g, int pos, SchemeBoard sch)
(package private) java.lang.String	transform(Mission m)
static java.lang.String	transform(Mission m, Scheme spec)
java.lang.String	transform(NS ns)
java.lang.String	transform(OS os)
java.lang.String	transform(Group g, Group gInstance)
(package private) java.lang.String	transform(Role r)
java.lang.String	transform(SS ss, Group grInstance)
java.lang.String	transformRolesDef(SS ss)

Methods inherited from class java.lang.Object

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

Field Detail

showSS

public boolean showSS

showFS

public boolean showFS

showNS

public boolean showNS

showLinks

public boolean showLinks

showMissions

public boolean showMissions

showConditions

public boolean showConditions

osFile

protected java.io.File osFile

Constructor Detail

os2dot

public os2dot()

Method Detail

transform

public java.lang.String transform(OS os)
                           throws java.lang.Exception

Throws:

java.lang.Exception

transform

public java.lang.String transform(SS ss,
                                  Group grInstance)

transformRolesDef

public java.lang.String transformRolesDef(SS ss)

transform

java.lang.String transform(Role r)

transform

public java.lang.String transform(Group g,
                                  Group gInstance)

transform

public java.lang.String transform(FS fs)

transform

java.lang.String transform(Mission m)

transform

public static java.lang.String transform(Mission m,
                                         Scheme spec)

transform

public static java.lang.String transform(Goal g,
                                         int pos,
                                         SchemeBoard sch)

transform

public java.lang.String transform(NS ns)