Package util

Class ScheduleDotWriter

java.lang.Object

grph.io.AbstractGraphWriter

grph.io.AbstractGraphTextWriter

grph.io.DotWriter

util.ScheduleDotWriter

public class ScheduleDotWriter
extends grph.io.DotWriter

Overrides the Grph library dot writer in order to write the additional Grph tags (ie. processor, vertex weight) to an output dotfile. It also removes all the unnecessary styles.

Author:

Matt

Field Summary

Fields inherited from class grph.io.AbstractGraphWriter

extension_writer

Constructor Summary

Constructors

Constructor	Description
ScheduleDotWriter()

Method Summary

Modifier and Type	Method	Description
java.lang.String	createDotText(grph.Grph graph, boolean writeEdgeLabels)	Overrides the createDotText method in order to output the correctly formatted dotfile IF a ScheduleGraph is inputted, otherwise use super method.

Methods inherited from class grph.io.AbstractGraphTextWriter

printGraph, writeGraph

Methods inherited from class grph.io.AbstractGraphWriter

findWriter, getExtensions, writeGraph, writeGraph

Methods inherited from class grph.io.DotWriter

main, printGraph, printGraph, to

Methods inherited from class java.lang.Object

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

Constructor Detail

ScheduleDotWriter

public ScheduleDotWriter()

Method Detail

createDotText

public java.lang.String createDotText(grph.Grph graph,
                                      boolean writeEdgeLabels)

Overrides the createDotText method in order to output the correctly formatted dotfile IF a ScheduleGraph is inputted, otherwise use super method.

Overrides:

createDotText in class grph.io.DotWriter