public WFVertexWrapper(IGraphWrapper graphWrapper,IVertex vertex) { this.graphWrapper = graphWrapper; vertexValue = vertex.Value; if ( graphWrapper.Graph != vertex.Graph ) throw new Exception( "Invalid argument - vertex or graphWrapper. Method - WFVertexWrapper.constructor(IGraphWrapper,IVertex)" ); }
public MyFitnessPalXMLWrapper(string ConfigFileName, int Days, IGraphWrapper graphWrapper) { config = new LoadConfig(ConfigFileName); loginDetails = (LoginDetails)config.GetContents(typeof(LoginDetails)); cookieDetails = (CookieDetails)config.BinaryDeserialize(typeof(CookieDetails)); login = new Login(loginDetails, cookieDetails); Loader = new XMLMyFitnessLoader(login); MyFitnesses = new MyFitnessList(); this.graphWrapper = graphWrapper; this.Days = Days; }
public override void CopyTo(IGraphWrapper graphWrapper) { base.CopyTo(graphWrapper); (graphWrapper as PetriNetGraphWrapper).DefaultPlaceSize = this.DefaultPlaceSize; (graphWrapper as PetriNetGraphWrapper).DefaultTransitionSize = this.DefaultTransitionSize; (graphWrapper as ColouredPetriGraphWrapper).ColorsDescription = new List<Tuple<string, string, string>>(this.ColorsDescription); (graphWrapper as ColouredPetriGraphWrapper).VariablesDescription = new List<Tuple<string, string>>(this.VariablesDescription); (graphWrapper as ColouredPetriGraphWrapper).FunctionsDescription = new List<string>(this.FunctionsDescription); ColouredPetriGraphWrapper.SetDefaultEventHandlers(graphWrapper as ColouredPetriGraphWrapper); }
public WFArcWrapper(IGraphWrapper graphWrapper, IEdge edge) { if(edge.Graph != graphWrapper.Graph) throw new Exception("Invalid argument - edge or graphWrapper. Method - WFArcWrapper.constructor(IGraphWrapper,IEdge)"); this.SelectedPointWidth = 10; this.graphWrapper = graphWrapper; this.vertices = edge.Vertices; this.splinePointsIndexes = new List<int>(); }
public override void CopyTo(IGraphWrapper graphWrapper) { base.CopyTo(graphWrapper); SemanticGraphWrapper.SetDefaultEventHandlers(graphWrapper as SemanticGraphWrapper); }
public TransitionWrapper(IGraphWrapper graphWrapper, Transition transition) : base(graphWrapper, transition) { }
public ColouredPlaceWrapper(IGraphWrapper graphWrapper, ColouredPlace place) : base(graphWrapper, place) { }
public MarkedPlaceWrapper(IGraphWrapper graphWrapper, MarkedPlace markedPlace) : base(graphWrapper, markedPlace) { TokenSize = new Size(5, 5); }
public virtual void CopyTo(IGraphWrapper graphWrapper) { graphWrapper.ArcWrappers = new List<IArcWrapper>(this.ArcWrappers); graphWrapper.VertexWrappers = new List<IVertexWrapper>(this.VertexWrappers); this.Graph.CopyTo(graphWrapper.Graph); graphWrapper.VertexWrappers.ForEach(v => v.graphWrapper = graphWrapper); foreach (var arcWrapper in graphWrapper.ArcWrappers) { arcWrapper.Edge = graphWrapper.Graph[arcWrapper.Edge.Vertices[0].Value, arcWrapper.Edge.Vertices[1].Value]; arcWrapper.graphWrapper = graphWrapper; } (graphWrapper as WFGraphWrapper).counter = this.counter; (graphWrapper as WFGraphWrapper).DefaultVertexSize = new Size(this.DefaultVertexSize.Width, this.DefaultVertexSize.Height); WFGraphWrapper.SetDefaultEventHandlers(graphWrapper as WFGraphWrapper); }
public PlaceWrapper(IGraphWrapper graphWrapper, Place place) : base(graphWrapper, place) { }
public NamedArcWrapper(IGraphWrapper graphWrapper, NamedArc arc) : base(graphWrapper, arc) { }
public override void CopyTo(IGraphWrapper graphWrapper) { base.CopyTo(graphWrapper); (graphWrapper as PetriNetGraphWrapper).DefaultPlaceSize = this.DefaultPlaceSize; (graphWrapper as PetriNetGraphWrapper).DefaultTransitionSize = this.DefaultTransitionSize; PetriNetGraphWrapper.SetDefaultEventHandlers(graphWrapper as PetriNetGraphWrapper); }
public override void CopyTo(IGraphWrapper graphWrapper) { base.CopyTo(graphWrapper); MarkedPetriGraphWrapper.SetDefaultEventHandlers(graphWrapper as MarkedPetriGraphWrapper); }