コード例 #1
0
ファイル: BCTProvider.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 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;
 }
コード例 #2
0
ファイル: BaseProvider.cs プロジェクト: xrq-phys/dafny 
        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);
        }
コード例 #3
0
ファイル: BaseProvider.cs プロジェクト: xrq-phys/dafny 
        public IEnumerable <ElementNode> GetExpansion(StateNode state, Model.Element elt)
        {
            List <ElementNode> result = new List <ElementNode>();

            return(result);
        }
コード例 #4
0
ファイル: BaseProvider.cs プロジェクト: xrq-phys/dafny 
 public VariableNode(StateNode par, string realName, Model.Element elt)
     : base(par, realName, elt)
 {
     this.realName = realName;
     name          = new EdgeName(vm.GetUserVariableName(realName));
 }
コード例 #5
0
ファイル: BaseProvider.cs プロジェクト: xrq-phys/dafny 
 public ElementNode(StateNode st, string name, Model.Element elt)
     : this(st, new EdgeName(name), elt)
 {
 }
コード例 #6
0
ファイル: BaseProvider.cs プロジェクト: xrq-phys/dafny 
 public ElementNode(StateNode st, EdgeName name, Model.Element elt)
     : base(st.dm, name, elt)
 {
     this.stateNode = st;
     this.elt       = elt;
 }
コード例 #7
0
ファイル: BCTProvider.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public IEnumerable<ElementNode> GetExpansion(StateNode state, Model.Element elt) {
   List<ElementNode> result = new List<ElementNode>();
   return result;
 }
コード例 #8
0
ファイル: BCTProvider.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public VariableNode(StateNode par, string realName, Model.Element elt)
   : base(par, realName, elt) {
   this.realName = realName;
   name = new EdgeName(vm.GetUserVariableName(realName));
 }
コード例 #9
0
ファイル: BCTProvider.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public ElementNode(StateNode st, string name, Model.Element elt)
   : this(st, new EdgeName(name), elt) { }
コード例 #10
0
ファイル: BCTProvider.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public ElementNode(StateNode st, EdgeName name, Model.Element elt)
   : base(st.dm, name, elt) {
   this.stateNode = st;
   this.elt = elt;
 }