Options to print prettier graphs...
[repair.git] / Repair / RepairCompiler / MCC / LineCount.java
1 package MCC;
2
3 import java.util.*;
4
5 public class LineCount {
6
7     private static Vector lineBreaks = new Vector();
8
9     public static void reset() {
10         lineBreaks = new Vector();
11     }
12
13     public static void addLineBreak (int pos) {
14         lineBreaks.addElement(new Integer(pos));
15     }
16
17     public static int getLine (int pos) {
18         int i;
19         int a;
20
21         for (i = 0; i < lineBreaks.size(); i++) {
22             a = ((Integer) lineBreaks.elementAt(i)).intValue();
23             if (pos < a) {
24                 return (i + 1);
25             }
26         }
27
28         return (i + 1);
29     }
30
31     public static int getColumn (int pos) {
32         int i = 0;
33         int a = 0;
34
35         for (i = lineBreaks.size() - 1; i >= 0 ; i--) {
36             a = ((Integer) lineBreaks.elementAt(i)).intValue();
37             if (pos > a) {
38                 return pos - a;
39             }
40         }
41
42         return pos - a ;
43     }
44
45 }