From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 25 Oct 2013 01:08:12 +0000 (-0700)
Subject: more
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8fcaf1ba65c288366e19df78a7223895385cf355;p=cdsspec-compiler.git

more
---

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/IDExtractor.java b/src/edu/uci/eecs/specCompiler/codeGenerator/IDExtractor.java
deleted file mode 100644
index d2326ce..0000000
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/IDExtractor.java
+++ /dev/null
@@ -1,120 +0,0 @@
-package edu.uci.eecs.specCompiler.codeGenerator;
-
-public class IDExtractor {
-	private String code;
-	private int index = 0;
-	
-	private int idBeginIdx, idEndIdx;
-
-	public IDExtractor(String code) {
-		this.code = code;
-		this.index = 0;
-	}
-	
-	public IDExtractor(String code, int beginIdx) {
-		this.code = code;
-		this.index = beginIdx;
-	}
-	
-	public void reset(int beginIdx) {
-		this.index = beginIdx;
-	}
-
-	public void reset() {
-		this.index = 0;
-	}
-	
-	public int getIDBeginIdx() {
-		return this.idBeginIdx;
-	}
-	
-	public int getIDEndIdx() {
-		return this.idEndIdx;
-	}
-	
-	public int lineNumOfID() {
-		int cnt = 0;
-		for (int i = 0; i < idBeginIdx; i++) {
-			if (code.charAt(i) == '\n')
-				cnt++;
-		}
-		return cnt;
-	}
-	
-	public int lineBeginIdxOfID() {
-		int i;
-		for (i = idBeginIdx - 1; i >= 0; i--) {
-			if (code.charAt(i) == '\n')
-				break;
-		}
-		return i + 1;
-	}
-	
-	public int lineEndIdxOfID() {
-		int i = 0;
-		for (i = idEndIdx + 1; i < code.length(); i++) {
-			if (code.charAt(i) == '\n') {
-				break;
-			}
-		}
-		return i - 1;
-	}
-	
-	public String getPrevID() {
-		int beginIdx = index;
-		int endIdx = index;
-		char ch;
-		while (true) {
-			ch = code.charAt(endIdx);
-			if ((ch == '_' || (ch >= 'a' && ch <= 'z') || ch >= 'A'
-					&& ch <= 'Z')) {
-				break;
-			}
-			endIdx--;
-		}
-		beginIdx = endIdx;
-		while (true) {
-			ch = code.charAt(beginIdx);
-			if (!((ch == '_' || (ch >= 'a' && ch <= 'z') || ch >= 'A'
-					&& ch <= 'Z'))) {
-				break;
-			}
-			beginIdx--;
-		}
-		index = beginIdx;
-		if (beginIdx > endIdx)
-			return null;
-		idBeginIdx = beginIdx + 1;
-		idEndIdx = endIdx;
-		return code.substring(beginIdx + 1, endIdx + 1);
-	}
-
-	public String getNextID() {
-		int beginIdx = index;
-		int endIdx = index;
-		char ch;
-		while (true) {
-			ch = code.charAt(beginIdx);
-			if ((ch == '_' || (ch >= 'a' && ch <= 'z') || ch >= 'A'
-					&& ch <= 'Z')) {
-				break;
-			}
-			beginIdx++;
-		}
-		endIdx = beginIdx;
-		while (true) {
-			ch = code.charAt(endIdx);
-			if (!((ch == '_' || (ch >= 'a' && ch <= 'z') || ch >= 'A'
-					&& ch <= 'Z'))) {
-				break;
-			}
-			endIdx++;
-		}
-		index = endIdx;
-		if (beginIdx > endIdx)
-			return null;
-		idBeginIdx = beginIdx;
-		idEndIdx = endIdx - 1;
-		return code.substring(beginIdx, endIdx);
-	}
-}