Class DemandCastChecker

java.lang.Object

com.ibm.wala.examples.drivers.DemandCastChecker

public class DemandCastChecker
extends Object

Uses a demand-driven points-to analysis to check the safety of downcasts.

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor	Description
DemandCastChecker()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
static void	runTestCase(String mainClass, String scopeFile, String benchName)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DemandCastChecker

public DemandCastChecker()

Method Details

main

public static void main(String[] args)
                 throws IllegalArgumentException,
IOException

Throws:

IllegalArgumentException

IOException

runTestCase

public static void runTestCase(String mainClass,
 String scopeFile,
 String benchName)
                        throws IllegalArgumentException,
IOException

Throws:

IllegalArgumentException

IOException