Package edu.umd.cs.findbugs.workflow
Class MineBugHistory.Version
java.lang.Object
edu.umd.cs.findbugs.workflow.MineBugHistory.Version
- Enclosing class:
MineBugHistory
-
Field Details
-
sequence
long sequence -
tuple
int[] tuple
-
-
Constructor Details
-
Version
Version(long sequence)
-
-
Method Details
-
getSequence
public long getSequence()- Returns:
- Returns the sequence.
-
increment
void increment(int key) -
get
int get(int key)
-