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" ) );
        }
Beispiel #2
0
        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();
        }