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); }
public IEnumerable <ElementNode> GetExpansion(StateNode state, Model.Element elt) { List <ElementNode> result = new List <ElementNode>(); return(result); }
public VariableNode(StateNode par, string realName, Model.Element elt) : base(par, realName, elt) { this.realName = realName; name = new EdgeName(vm.GetUserVariableName(realName)); }
public ElementNode(StateNode st, string name, Model.Element elt) : this(st, new EdgeName(name), elt) { }
public ElementNode(StateNode st, EdgeName name, Model.Element elt) : base(st.dm, name, elt) { this.stateNode = st; this.elt = elt; }
public IEnumerable<ElementNode> GetExpansion(StateNode state, Model.Element elt) { List<ElementNode> result = new List<ElementNode>(); return result; }
public VariableNode(StateNode par, string realName, Model.Element elt) : base(par, realName, elt) { this.realName = realName; name = new EdgeName(vm.GetUserVariableName(realName)); }
public ElementNode(StateNode st, string name, Model.Element elt) : this(st, new EdgeName(name), elt) { }
public ElementNode(StateNode st, EdgeName name, Model.Element elt) : base(st.dm, name, elt) { this.stateNode = st; this.elt = elt; }