Mercurial > hg > Members > kono > jpf-core

comparison src/main/gov/nasa/jpf/util/event/Event.java @ 9:8de43b2b023f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added choice getters for EventChoiceGenerator added some minor Event functions
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 13 Feb 2015 20:20:15 -0800
parents b920e6b1be83
children b1790909ebb1
comparison
equal deleted inserted replaced
8:54b7125309a9 9:8de43b2b023f
180 } 180 }
181 181
182 return n; 182 return n;
183 } 183 }
184 184
185 public boolean hasAlternatives(){
186 return (alt != null);
187 }
188
189 public List<Event> getAlternatives(){
190 List<Event> list = new ArrayList<Event>();
191 list.add(this);
192 for (Event e = alt; e != null; e = e.alt) {
193 list.add(e);
194 }
195 return list;
196 }
197
198
185 public Event unlinkedClone(){ 199 public Event unlinkedClone(){
186 try { 200 try {
187 Event e = (Event)super.clone(); 201 Event e = (Event)super.clone();
188 e.next = e.prev = e.alt = null; 202 e.next = e.prev = e.alt = null;
189 return e; 203 return e;