DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

start renaming things from GV/ghostview to pdf 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2009-04-03 17:34:40 +00:00
parent 7877b5611c
commit 002e29dcb0
10 changed files with 32 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core.tests/dat/wala.examples.properties.sample
View File

@ -20,7 +20,7 @@
# Default value: none
# Info: Must be absolute path
#####
#ghostview_exe = Your location
#pdfview_exe = Your location
##### DOT executable
# Path to the AT&T Graphview DOT executable

28
com.ibm.wala.core.tests/launchers/GVTypeHierarchy.launch → com.ibm.wala.core.tests/launchers/PDFTypeHierarchy.launch
View File

@ -1,14 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVTypeHierarchy.java"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/>
</listAttribute>
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.ibm.wala.examples.drivers.GVTypeHierarchy"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-classpath c:/temp/testdata/JLex.jar"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.ibm.wala.core.tests"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx800M"/>
</launchConfiguration>
<?xml version="1.0" encoding="UTF-8"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/PDFTypeHierarchy.java"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/>
</listAttribute>
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.ibm.wala.examples.drivers.PDFTypeHierarchy"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-classpath c:/temp/testdata/JLex.jar"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.ibm.wala.core.tests"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx800M"/>
</launchConfiguration>

6
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVCallGraph.java
View File

@ -92,9 +92,9 @@ public class GVCallGraph {
String psFile = p.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + PS_FILE;
String dotExe = p.getProperty(WalaExamplesProperties.DOT_EXE);
DotUtil.dotify(g, null, GVTypeHierarchy.DOT_FILE, psFile, dotExe);
DotUtil.dotify(g, null, PDFTypeHierarchy.DOT_FILE, psFile, dotExe);
String gvExe = p.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = p.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
return GVUtil.launchGV(psFile, gvExe);
} catch (WalaException e) {
@ -137,7 +137,7 @@ public class GVCallGraph {
}
static Graph<CGNode> pruneForAppLoader(CallGraph g) throws WalaException {
return GVTypeHierarchy.pruneGraph(g, new ApplicationLoaderFilter());
return PDFTypeHierarchy.pruneGraph(g, new ApplicationLoaderFilter());
}
/**

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVControlDependenceGraph.java
View File

@ -120,9 +120,9 @@ public class GVControlDependenceGraph {
}
String psFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + GVControlDependenceGraph.PS_FILE;
String dotFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar
+ GVTypeHierarchy.DOT_FILE;
+ PDFTypeHierarchy.DOT_FILE;
String dotExe = wp.getProperty(WalaExamplesProperties.DOT_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
DotUtil.dotify(cdg, GhostviewUtil.makeIRDecorator(ir), dotFile, psFile, dotExe);

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVSDG.java
View File

@ -148,9 +148,9 @@ public class GVSDG {
String dotExe = p.getProperty(WalaExamplesProperties.DOT_EXE);
Graph<Statement> g = pruneSDG(sdg);
DotUtil.dotify(g, makeNodeDecorator(), GVTypeHierarchy.DOT_FILE, psFile, dotExe);
DotUtil.dotify(g, makeNodeDecorator(), PDFTypeHierarchy.DOT_FILE, psFile, dotExe);
String gvExe = p.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = p.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
return GVUtil.launchGV(psFile, gvExe);
} catch (WalaException e) {

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVSlice.java
View File

@ -192,10 +192,10 @@ public class GVSlice {
// create a dot representation.
String psFile = p.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + PS_FILE;
String dotExe = p.getProperty(WalaExamplesProperties.DOT_EXE);
DotUtil.dotify(g, makeNodeDecorator(), GVTypeHierarchy.DOT_FILE, psFile, dotExe);
DotUtil.dotify(g, makeNodeDecorator(), PDFTypeHierarchy.DOT_FILE, psFile, dotExe);
// fire off ghostview
String gvExe = p.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = p.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
return GVUtil.launchGV(psFile, gvExe);
} catch (WalaException e) {

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVWalaIR.java
View File

@ -112,9 +112,9 @@ public class GVWalaIR {
Assertions.UNREACHABLE();
}
String psFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + GVWalaIR.PS_FILE;
String dotFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + GVTypeHierarchy.DOT_FILE;
String dotFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + PDFTypeHierarchy.DOT_FILE;
String dotExe = wp.getProperty(WalaExamplesProperties.DOT_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
return GhostviewUtil.ghostviewIR(cha, ir, psFile, dotFile, dotExe, gvExe);

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVTypeHierarchy.java → com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/PDFTypeHierarchy.java
View File

@ -40,7 +40,7 @@ import com.ibm.wala.viz.GVUtil;
*
* @author sfink
*/
public class GVTypeHierarchy {
public class PDFTypeHierarchy {
public final static String DOT_FILE = "temp.dt";
@ -78,7 +78,7 @@ public class GVTypeHierarchy {
String dotFile = p.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + DOT_FILE;
String pdfFile = p.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + PDF_FILE;
String dotExe = p.getProperty(WalaExamplesProperties.DOT_EXE);
String gvExe = p.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = p.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
DotUtil.dotify(g, null, dotFile, pdfFile, dotExe);
return GVUtil.launchGV(pdfFile, gvExe);

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/SWTCallGraph.java
View File

@ -124,9 +124,9 @@ public class SWTCallGraph {
Assertions.UNREACHABLE();
}
String psFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + GVWalaIR.PS_FILE;
String dotFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + GVTypeHierarchy.DOT_FILE;
String dotFile = wp.getProperty(WalaProperties.OUTPUT_DIR) + File.separatorChar + PDFTypeHierarchy.DOT_FILE;
String dotExe = wp.getProperty(WalaExamplesProperties.DOT_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.PDFVIEW_EXE);
// create and run the viewer
final SWTTreeViewer v = new SWTTreeViewer();

4
com.ibm.wala.core.tests/src/com/ibm/wala/examples/properties/WalaExamplesProperties.java
View File

@ -20,7 +20,7 @@ import com.ibm.wala.util.warnings.WalaException;
public final class WalaExamplesProperties {
public static final String GHOSTVIEW_EXE = "ghostview_exe"; //$NON-NLS-1$
public static final String PDFVIEW_EXE = "pdfview_exe"; //$NON-NLS-1$
public static final String DOT_EXE = "dot_exe"; //$NON-NLS-1$
@ -41,7 +41,7 @@ public final class WalaExamplesProperties {
public static String getWalaCoreTestsHomeDirectory() throws WalaException {
final URL url = WalaExamplesProperties.class.getClassLoader().getResource(PROPERTY_FILENAME);
if (url == null) {
throw new WalaException("failed to find URL for capa.examples.properties");
throw new WalaException("failed to find URL for wala.examples.properties");
}
return new File(FileProvider.filePathFromURL(url)).getParentFile().getParentFile().getAbsolutePath();