com.ibm.wala.demandpa.driver
Class DemandCastChecker

java.lang.Object
  com.ibm.wala.demandpa.driver.DemandCastChecker

public class DemandCastChecker
extends java.lang.Object

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

Constructor Summary

DemandCastChecker()

Method Summary

static void	main(java.lang.String[] args)
static void	runTestCase(java.lang.String mainClass, java.lang.String scopeFile, java.lang.String benchName)

Methods inherited from class java.lang.Object

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

Constructor Detail

DemandCastChecker

public DemandCastChecker()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.IllegalArgumentException,
                        CancelException,
                        java.io.IOException

Parameters:

args -

Throws:

CancelException

java.lang.IllegalArgumentException

java.io.IOException

runTestCase

public static void runTestCase(java.lang.String mainClass,
                               java.lang.String scopeFile,
                               java.lang.String benchName)
                        throws java.lang.IllegalArgumentException,
                               CancelException,
                               java.io.IOException

Throws:

java.lang.IllegalArgumentException

CancelException

java.io.IOException