public StateNode(int i, BCTModel parent, Model.CapturedState s) : base(s, parent) { dm = parent; state = s; index = i; SetupVars(); }
public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts) { var dm = new BCTModel(m, opts); foreach (var s in m.States) { var sn = new StateNode(dm.states.Count, dm, s); dm.states.Add(sn); } dm.FinishStates(); return dm; }
public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts) { var dm = new BCTModel(m, opts); foreach (var s in m.States) { var sn = new StateNode(dm.states.Count, dm, s); dm.states.Add(sn); } dm.FinishStates(); return(dm); }