From a99cfd6018361e99a7e5f9cef2bb6b7e78fd1ade Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Tue, 15 Jan 2008 15:05:55 +0000
Subject: [PATCH] delete IProgramCounter

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/dat/dictionary.txt          |  2 ++
 .../ibm/wala/classLoader/IProgramCounter.java | 34 -------------------
 .../ibm/wala/classLoader/ProgramCounter.java  |  7 +++-
 3 files changed, 8 insertions(+), 35 deletions(-)
 delete mode 100644 com.ibm.wala.core/src/com/ibm/wala/classLoader/IProgramCounter.java

diff --git a/com.ibm.wala.core/dat/dictionary.txt b/com.ibm.wala.core/dat/dictionary.txt
index d4ff435fb..61fc54bfe 100644
--- a/com.ibm.wala.core/dat/dictionary.txt
+++ b/com.ibm.wala.core/dat/dictionary.txt
@@ -136,3 +136,5 @@ ref
 adonovan
 malformed
 analyses
+monitorenter
+monitorexit
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IProgramCounter.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/IProgramCounter.java
deleted file mode 100644
index f484362c8..000000000
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IProgramCounter.java
+++ /dev/null
@@ -1,34 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2002 - 2006 IBM Corporation.
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors:
- *     IBM Corporation - initial API and implementation
- *******************************************************************************/
-
-package com.ibm.wala.classLoader;
-
-/**
- * An interface for something that carries a location in bytecode
- * 
- * @author sfink
- */
-public interface IProgramCounter {
-  /**
-   * A constant indicating no source line number information is available.
-   */
-  public static final int NO_SOURCE_LINE_NUMBER = -1;
-
-  /**
-   * Return the program counter (index into the method's bytecode) 
-   * for this call site.
-   * @return the program counter (index into the method's bytecode) 
-   * for this call site.
-   *
-   */
-  public abstract int getProgramCounter();
-
-}
\ No newline at end of file
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ProgramCounter.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ProgramCounter.java
index 577765ae5..292695729 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ProgramCounter.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ProgramCounter.java
@@ -18,8 +18,13 @@ import com.ibm.wala.util.debug.Assertions;
  * 
  * @author sfink
  */
-public class ProgramCounter implements IProgramCounter {
+public class ProgramCounter  {
 
+  /**
+   * A constant indicating no source line number information is available.
+   */
+  public static final int NO_SOURCE_LINE_NUMBER = -1;
+  
   /**
    * Index into bytecode describing this instruction
    */