コード例 #1
0
        public Marking Clone()
        {
            var m = new Marking(happened, included, pending);

            /* Values are treated like immutable values: Their internals never
             * change after construction.
             */
            m.value = this.value;
            return(m);
        }
コード例 #2
0
ファイル: Event.cs プロジェクト: tslaats/Reseda
 public Event(Marking m)
 {
     this.marking    = m;
     this.subProcess = new Process(this);
 }
コード例 #3
0
ファイル: Event.cs プロジェクト: tslaats/Reseda
 public Event()
 {
     this.marking    = new Marking();
     this.subProcess = new Process(this);
 }
コード例 #4
0
ファイル: OutPutEvent.cs プロジェクト: tslaats/Reseda
 public OutputEvent(String name, Marking m) : base(m)
 {
     this.name       = name;
     this.expression = new Unit();
 }
コード例 #5
0
ファイル: InputEvent.cs プロジェクト: tslaats/Reseda
 public InputEvent(String name, Marking m) : base(m)
 {
     this.name = name;
 }
コード例 #6
0
ファイル: InputEvent.cs プロジェクト: tslaats/Reseda
 public InputEvent(String name, DataExpression type, Marking m) : base(m)
 {
     this.name = name;
     this.type = type;
 }