package grader.Main;


import java.util.Collection;

/**
 *
 * 
        The workspace text selection is defined as the starting and editing
        character positions in current workspace text context.
     * 
 * @author 
 * @version 
 *
 **/

public class Selection {

     /** Default Constructor **/
     public Selection() {

     }

     protected int start_position;

     protected int end_position;

     protected String context;

}