public ColouredPlaceModifyForm(IVertexWrapper vertexWrapper)
        {
            this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper;
            this.startName = VertexWrapper.Name;

            InitializeComponent();
        }
 public override void CopyTo(IVertexWrapper vertexWrapper)
 {
     base.CopyTo(vertexWrapper);
     TransitionWrapper wrapper = vertexWrapper as TransitionWrapper;
     wrapper.Angle = this.Angle;
 }
        public ColouredTransitionModifyForm(IVertexWrapper vertexWrapper)
        {
            this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper;

            InitializeComponent();
        }
Esempio n. 4
0
 public virtual void CopyTo(IVertexWrapper vertexWrapper)
 {
     WFVertexWrapper wrapper = vertexWrapper as WFVertexWrapper;
     wrapper.Coords = this.Coords;
     wrapper.SizeF = this.SizeF;
     wrapper.vertexValue = this.vertexValue;
     wrapper.graphWrapper = this.graphWrapper;
 }
 public override void CopyTo(IVertexWrapper vertexWrapper)
 {
     base.CopyTo(vertexWrapper);
     MarkedPlaceWrapper wrapper = vertexWrapper as MarkedPlaceWrapper;
     wrapper.TokenSize = this.TokenSize;
 }
Esempio n. 6
0
        public VertexModifyForm(IVertexWrapper vertexWrapper)
        {
            this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper;

            InitializeComponent();
        }