public DotToolLayoutEngine( DotToDotPlainConverter converter ) { myConverter = converter; var sessionId = Guid.NewGuid().ToString(); myDotFile = new FileInfo( Path.Combine( Path.GetTempPath(), sessionId + ".dot" ) ); myPlainFile = new FileInfo( Path.Combine( Path.GetTempPath(), sessionId + ".plain" ) ); }
public DotToolLayoutEngine(DotToDotPlainConverter converter) { myConverter = converter; var sessionId = Guid.NewGuid().ToString(); myDotFile = new FileInfo(Path.Combine(Path.GetTempPath(), sessionId + ".dot")); myPlainFile = new FileInfo(Path.Combine(Path.GetTempPath(), sessionId + ".plain")); }
public DotLangDocument( DotToDotPlainConverter converter ) { myConverter = converter; myPlainDocument = new DotPlainDocument(); }