Java Unique.uniqueIdStates Examples

Example #1

File: Unique.java Project: YashwanthAsh/ICSE-2012-CTD

 public static Unique getInstace() {
   if (instance == null) {
     instance = new Unique();
     instance.uniqueIdStates = new Vector<Long>();
     instance.uniqueIdTransitions = new Vector<Long>();
   }
   return instance;
 }

Example #2

File: Unique.java Project: YashwanthAsh/ICSE-2012-CTD

 public void setUniqueIdStates(Vector<Long> uniqueIdStates) {
   instance.uniqueIdStates = uniqueIdStates;
 }

Example #3

File: Unique.java Project: YashwanthAsh/ICSE-2012-CTD

 public void reset() {
   instance = new Unique();
   instance.uniqueIdStates = new Vector<Long>();
   instance.uniqueIdTransitions = new Vector<Long>();
 }