src/edu/berkeley/sbp/Input.java

   1 // Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
   2
   3 package edu.berkeley.sbp;
   4 import java.io.*;
   5 import java.util.*;
   6 import java.lang.reflect.*;
   7 import java.lang.ref.*;
   8 import edu.berkeley.sbp.*;
   9 import edu.berkeley.sbp.util.*;
  10
  11 /** <font color=purple>a stream of <tt>Token</tt>s to be parsed</font> */
  12 public interface Input<Token> {
  13
  14     /** returns the token just beyond the current location and advances beyond it */
  15     public Token           next() throws IOException;
  16
  17     /** returns the location the input stream is currently at */
  18     public Location<Token> getLocation();
  19
  20     /** should return a short string describing where the input is coming from */
  21     public String getName();
  22
  23     /**
  24      *  <b>Optional:</b> <i>If possible</i>, this method will return a
  25      *  <60 char long rendering of the input region (for example, if
  26      *  the input is a region of characters, it would be those
  27      *  characters, possibly with ellipses in the middle to truncate
  28      *  the length) -- otherwise, returns null.
  29      */
  30     public abstract String showRegion(Region<Token> r);
  31
  32     /** <font color=purple>a location (position) in the input stream -- <i>between tokens</i></font> */
  33     public static interface Location<Token> extends Comparable<Location> {
  34
  35         /** return the region between this location and <tt>loc</tt> */
  36         public Region<Token> createRegion(Location<Token> loc);
  37
  38         public String toString();
  39
  40         /** the location following this one */
  41         public Location next();
  42
  43         /** the location preceding this one */
  44         public Location prev();
  45     }
  46
  47     /** <font color=purple>a contiguous set of <tt>Location</tt>s</font> */
  48     public static interface Region<Token> /* implements Topology<Location<Tok>> */ {
  49
  50         /**
  51          *  the toString() method of Region should return a <80char
  52          *  "rendition" of the input region, if possible
  53          */
  54         public abstract String toString();
  55
  56         /** The location of the start of this region */
  57         public abstract Location<Token> getStart();
  58
  59         /** The location of the end of this region */
  60         public abstract Location<Token> getEnd();
  61
  62     }
  63
  64 }
  65
  66