public LayoutAlgorithmTraverVisitor(
     NetronAdaptorGraph populator)
 {
     if (populator==null)
         throw new ArgumentNullException("populator");
     this.populator = populator;
 }
 public LayoutAlgorithmTraverVisitor(
     NetronAdaptorGraph populator)
 {
     if (populator == null)
     {
         throw new ArgumentNullException("populator");
     }
     this.populator = populator;
 }
 public LayoutAlgorithmTraverVisitor(
     NetronAdaptorGraph populator,
     int sleep)
 {
     if (populator==null)
         throw new ArgumentNullException("populator");
     if (sleep<0)
         throw new ArgumentException("sleep must be positive");
     this.populator = populator;
     this.sleep = sleep;
 }
        public NetronGraphvizLayouter(
            NetronAdaptorGraph g
            )
        {
            if (g==null)
                throw new ArgumentNullException("g");

            this.graph = g;
            this.layouter = new GraphvizLayout(this.graph.VisitedGraph);

            this.layouter.GraphSize +=new SizeEventHandler(this.GraphSize);
            this.layouter.LayVertex +=new VertexPositionEventHandler(this.LayVertex);
            this.layouter.LayEdge += new EdgeKeysEventHandler(this.LayEdge);
        }
 public LayoutAlgorithmTraverVisitor(
     NetronAdaptorGraph populator,
     int sleep)
 {
     if (populator == null)
     {
         throw new ArgumentNullException("populator");
     }
     if (sleep < 0)
     {
         throw new ArgumentException("sleep must be positive");
     }
     this.populator = populator;
     this.sleep     = sleep;
 }
Esempio n. 6
0
        public NetronGraphvizLayouter(
            NetronAdaptorGraph g
            )
        {
            if (g == null)
            {
                throw new ArgumentNullException("g");
            }

            this.graph    = g;
            this.layouter = new GraphvizLayout(this.graph.VisitedGraph);

            this.layouter.GraphSize += new SizeEventHandler(this.GraphSize);
            this.layouter.LayVertex += new VertexPositionEventHandler(this.LayVertex);
            this.layouter.LayEdge   += new EdgeKeysEventHandler(this.LayEdge);
        }