iotestcaselexer.java

Python Development Environment (Python IDE plugin for Eclipse). Features editor, code completion, re

/* The following code was generated by JFlex 1.4.1 on 16.12.06 22:57 */

package org.python.pydev.refactoring.tests.core;

import java.io.IOException;

/**
 * This class is a scanner generated by <a href="http://www.jflex.de/">JFlex</a> 1.4.1 on 16.12.06 22:57 from the specification file
 * <tt>F:/Studienarbeit/workspace/org.python.pydev.refactoring/tests/org/python/pydev/refactoring/tests/core/IOTestCaseLexer.flex</tt>
 */
class IOTestCaseLexer {

	/** This character denotes the end of file */
	public static final int YYEOF = -1;

	/** initial size of the lookahead buffer */
	private static final int ZZ_BUFFERSIZE = 16384;

	/** lexical states */
	public static final int CONFIG = 2;

	public static final int YYINITIAL = 0;

	public static final int RESULT = 1;

	/**
	 * Translates characters to character classes
	 */
	private static final char[] ZZ_CMAP = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
			0, 0, 0, 1, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
			0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 2,
			0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };

	/**
	 * Translates DFA states to action switch labels.
	 */
	private static final int[] ZZ_ACTION = zzUnpackAction();

	private static final String ZZ_ACTION_PACKED_0 = "\1\1\1\2\1\3\2\1\2\4\2\2\2\5\3\3" + "\2\6\1\1\1\2\2\3\3\1\2\2\2\3\3\7"
			+ "\2\10\2\11\2\12";

	private static int[] zzUnpackAction() {
		int[] result = new int[36];
		int offset = 0;
		offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
		return result;
	}

	private static int zzUnpackAction(String packed, int offset, int[] result) {
		int i = 0; /* index in packed string */
		int j = offset; /* index in unpacked array */
		int l = packed.length();
		while (i < l) {
			int count = packed.charAt(i++);
			int value = packed.charAt(i++);
			do
				result[j++] = value;
			while (--count > 0);
		}
		return j;
	}

	/**
	 * Translates a state to a row index in the transition table
	 */
	private static final int[] ZZ_ROWMAP = zzUnpackRowMap();

	private static final String ZZ_ROWMAP_PACKED_0 = "\0\0\0\10\0\20\0\30\0\40\0\50\0\60\0\70"
			+ "\0\100\0\50\0\110\0\120\0\130\0\140\0\50\0\150" + "\0\160\0\170\0\200\0\210\0\220\0\230\0\240\0\250"
			+ "\0\260\0\270\0\300\0\120\0\50\0\310\0\50\0\320" + "\0\50\0\330\0\50\0\340";

	private static int[] zzUnpackRowMap() {
		int[] result = new int[36];
		int offset = 0;
		offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
		return result;
	}

	private static int zzUnpackRowMap(String packed, int offset, int[] result) {
		int i = 0; /* index in packed string */
		int j = offset; /* index in unpacked array */
		int l = packed.length();
		while (i < l) {
			int high = packed.charAt(i++) << 16;
			result[j++] = high | packed.charAt(i++);
		}
		return j;
	}

	/**
	 * The transition table of the DFA
	 */
	private static final int[] ZZ_TRANS = zzUnpackTrans();

	private static final String ZZ_TRANS_PACKED_0 = "\1\4\1\5\4\4\1\6\1\7\1\10\1\11\4\10" + "\1\12\1\13\1\14\1\15\3\14\1\16\1\17\1\20"
			+ "\6\4\2\0\1\4\1\21\4\4\20\0\1\6\1\0" + "\6\10\2\0\1\10\1\22\4\10\10\0\1\12\1\0" + "\6\14\2\0\1\14\1\23\4\14\2\0\5\14\1\24"
			+ "\10\0\1\17\1\0\2\4\1\25\1\26\1\27\1\4" + "\2\0\2\10\1\30\1\31\2\10\2\0\2\14\1\32" + "\1\14\1\33\1\14\2\0\5\14\1\34\2\0\6\25"
			+ "\1\35\1\36\6\26\1\37\1\40\6\27\1\41\1\42" + "\6\30\1\43\1\44\6\31\1\37\1\40\6\32\1\43"
			+ "\1\44\6\33\1\41\1\42\6\0\1\35\7\0\1\37" + "\7\0\1\41\7\0\1\43\1\0";

	private static int[] zzUnpackTrans() {
		int[] result = new int[232];
		int offset = 0;
		offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
		return result;
	}

	private static int zzUnpackTrans(String packed, int offset, int[] result) {
		int i = 0; /* index in packed string */
		int j = offset; /* index in unpacked array */
		int l = packed.length();
		while (i < l) {
			int count = packed.charAt(i++);
			int value = packed.charAt(i++);
			value--;
			do
				result[j++] = value;
			while (--count > 0);
		}
		return j;
	}

	/* error codes */
	private static final int ZZ_UNKNOWN_ERROR = 0;

	private static final int ZZ_NO_MATCH = 1;

	private static final int ZZ_PUSHBACK_2BIG = 2;

	/* error messages for the codes above */
	private static final String ZZ_ERROR_MSG[] = { "Unkown internal scanner error", "Error: could not match input",
			"Error: pushback value was too large" };

	/**
	 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
	 */
	private static final int[] ZZ_ATTRIBUTE = zzUnpackAttribute();

	private static final String ZZ_ATTRIBUTE_PACKED_0 = "\5\1\1\11\3\1\1\11\4\1\1\11\15\1\1\11" + "\1\1\1\11\1\1\1\11\1\1\1\11\1\1";

	private static int[] zzUnpackAttribute() {
		int[] result = new int[36];
		int offset = 0;
		offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
		return result;
	}

	private static int zzUnpackAttribute(String packed, int offset, int[] result) {
		int i = 0; /* index in packed string */
		int j = offset; /* index in unpacked array */
		int l = packed.length();
		while (i < l) {
			int count = packed.charAt(i++);
			int value = packed.charAt(i++);
			do
				result[j++] = value;
			while (--count > 0);
		}
		return j;
	}

	/** the input device */
	private java.io.Reader zzReader;

	/** the current state of the DFA */
	private int zzState;

	/** the current lexical state */
	private int zzLexicalState = YYINITIAL;

	/**
	 * this buffer contains the current text to be matched and is the source of the yytext() string
	 */
	private char zzBuffer[] = new char[ZZ_BUFFERSIZE];

	/** the textposition at the last accepting state */
	private int zzMarkedPos;

	/** the textposition at the last state to be included in yytext */
	private int zzPushbackPos;

	/** the current text position in the buffer */
	private int zzCurrentPos;

	/** startRead marks the beginning of the yytext() string in the buffer */
	private int zzStartRead;

	/**
	 * endRead marks the last character in the buffer, that has been read from input
	 */
	private int zzEndRead;

	/** number of newlines encountered up to the start of the matched text */
	private int yyline;

	/**
	 * the number of characters from the last newline up to the start of the matched text
	 */

	/**
	 * zzAtBOL == true <=> the scanner is currently at the beginning of a line
	 */

	/** zzAtEOF == true <=> the scanner is at the EOF */
	private boolean zzAtEOF;

	/* user code: */
	StringBuffer sourceLines;

	StringBuffer resultLines;

	StringBuffer configLines;

	public String getSource() {
		return sourceLines.toString().trim();
	}

	public String getResult() {
		return resultLines.toString().trim();
	}

	public String getConfig() {
		return configLines.toString().trim();
	}

	public void scan() throws IOException {
		while (!this.zzAtEOF)
			this.yylex();
	}

	/**
	 * Creates a new scanner There is also a java.io.InputStream version of this constructor.
	 * 
	 * @param in
	 *            the java.io.Reader to read input from.
	 */
	IOTestCaseLexer(java.io.Reader in) {
		sourceLines = new StringBuffer();
		resultLines = new StringBuffer();
		configLines = new StringBuffer();
		this.zzReader = in;
	}

	/**
	 * Creates a new scanner. There is also java.io.Reader version of this constructor.
	 * 
	 * @param in
	 *            the java.io.Inputstream to read input from.
	 */
	IOTestCaseLexer(java.io.InputStream in) {
		this(new java.io.InputStreamReader(in));
	}

	/**
	 * Refills the input buffer.
	 * 
	 * @return <code>false</code>, iff there was new input.
	 * 
	 * @exception java.io.IOException
	 *                if any I/O-Error occurs
	 */
	private boolean zzRefill() throws java.io.IOException {

		/* first: make room (if you can) */
		if (zzStartRead > 0) {
			System.arraycopy(zzBuffer, zzStartRead, zzBuffer, 0, zzEndRead - zzStartRead);

			/* translate stored positions */
			zzEndRead -= zzStartRead;
			zzCurrentPos -= zzStartRead;
			zzMarkedPos -= zzStartRead;
			zzPushbackPos -= zzStartRead;
			zzStartRead = 0;
		}

		/* is the buffer big enough? */
		if (zzCurrentPos >= zzBuffer.length) {
			/* if not: blow it up */
			char newBuffer[] = new char[zzCurrentPos * 2];
			System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
			zzBuffer = newBuffer;
		}

		/* finally: fill the buffer with new input */
		int numRead = zzReader.read(zzBuffer, zzEndRead, zzBuffer.length - zzEndRead);

		if (numRead < 0) {
			return true;
		} else {
			zzEndRead += numRead;
			return false;
		}
	}

	/**
	 * Closes the input stream.
	 */
	public final void yyclose() throws java.io.IOException {
		zzAtEOF = true; /* indicate end of file */
		zzEndRead = zzStartRead; /* invalidate buffer */

		if (zzReader != null)
			zzReader.close();
	}

	/**
	 * Resets the scanner to read from a new input stream. Does not close the old reader.
	 * 
	 * All internal variables are reset, the old input stream <b>cannot</b> be reused (internal buffer is discarded and lost). Lexical
	 * state is set to <tt>ZZ_INITIAL</tt>.
	 * 
	 * @param reader