jist.runtime
Class RewriterVerify

java.lang.Object
  jist.runtime.RewriterVerify

public final class RewriterVerify
extends java.lang.Object

Perform the basic Java class verification checks.

Since:

JIST1.0

Version:

$Id: RewriterVerify.java,v 1.4 2004/04/06 16:07:44 barr Exp $

Author:

Rimon Barr <barr+jist@cs.cornell.edu>

Constructor Summary

RewriterVerify()

Method Summary

static void	checkme(java.lang.String name) Check a given class for errors.
static void	main(java.lang.String[] args) Small utility program to verify classes provided on the command line.

Methods inherited from class java.lang.Object

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

Constructor Detail

RewriterVerify

public RewriterVerify()

Method Detail

checkme

public static void checkme(java.lang.String name)

Check a given class for errors.

Parameters:

name - class name

main

public static void main(java.lang.String[] args)

Small utility program to verify classes provided on the command line. Very useful for when the JVM just throws you a VerificationError exception without any explanation.

Parameters:

args - list of class files to verify