net.sf.transjvm.util
Class Verifier

java.lang.Object
  net.sf.transjvm.util.Verifier

public class Verifier
extends java.lang.Object

Verifies an expression. Limited in what checks can be done, eg. Inheritance relations between TypeIDs cannot be checked.

Constructor Summary

Verifier()

Method Summary

static void

verify(Expression e) Verifies that e is OK.

Methods inherited from class java.lang.Object

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

Constructor Detail

Verifier

public Verifier()

Method Detail

verify

public static void verify(Expression e)
                   throws java.lang.Exception

Verifies that e is OK.

Throws:

java.lang.Exception - If any part of e is incorrect.