public StateNode(int i, BCTModel parent, Model.CapturedState s)
: base(s, parent) {
dm = parent;
state = s;
index = i;
SetupVars();
}
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);
}
