undo some deprecation of source file utilities, for now.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2009-07-13 17:43:36 +00:00
parent ef43073709
commit 65f2fa4922
2 changed files with 10 additions and 10 deletions

View File

@ -99,19 +99,19 @@ public interface IClass extends IClassHierarchyDweller {
/**
* @return String holding the name of the source file that defined this class, or null if none found
* @throws NoSuchElementException if this class was generated from more than one source file
* @deprecated The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the APIs in IClassLoader.
* The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the APIs in IClassLoader.
* SJF .. we should think about this deprecation. postponing deprecation for now.
*/
@Deprecated
String getSourceFileName() throws NoSuchElementException;
/**
* @return String representing the source file holding this class, or null if not found
* @throws NoSuchElementException if this class was generated from more than one source file
* @deprecated The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the APIs in IClassLoader.
* The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the APIs in IClassLoader.
* SJF .. we should think about this deprecation. postponing deprecation for now.
*/
@Deprecated
InputStream getSource() throws NoSuchElementException;
/**

View File

@ -87,23 +87,23 @@ public interface IClassLoader {
* @param klass the class for which information is desired.
* @return name of source file corresponding to the class, or null if not available
* @throws NoSuchElementException if this class was generated from more than one source file
* @deprecated The assumption that a class is generated from a single source file is java
* The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the version that takes
* a method and an offset, since that is now the granularity at which source file information
* will be recorded.
* SJF .. we should think about this deprecation. postponing deprecation for now.
*/
@Deprecated
public abstract String getSourceFileName(IClass klass) throws NoSuchElementException;
/**
* @return input stream representing the source file for a class, or null if not available
* @throws NoSuchElementException if this class was generated from more than one source file
* @deprecated The assumption that a class is generated from a single source file is java
* The assumption that a class is generated from a single source file is java
* specific, and will change in the future. In place of this API, use the version that takes
* a method and an offset, since that is now the granularity at which source file information
* will be recorded.
* SJF .. we should think about this deprecation. postponing deprecation for now.
*/
@Deprecated
public abstract InputStream getSource(IClass klass) throws NoSuchElementException;
/**