src-3.0/JavaGUI/MarkedArea.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//package javaGUI;                                 
  public class MarkedArea 
  {
    public int begin;
    public int end;
    public LinPosition position;
    public String words;

    MarkedArea(int b, int e, LinPosition p, String w)
    {
      begin = b;
      end = e;
      position = p;
      words = w;
    }
    
  }