harpoon.Analysis.Tree
Class DerivationChecker

java.lang.Object
  harpoon.Analysis.Tree.DerivationChecker

public class DerivationChecker
extends Object

A DerivationChecker checks that all subtrees in a Tree.Code have proper derivations.

Version:

$Id: DerivationChecker.java,v 1.3 2002/02/26 22:42:47 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

Method Summary

static void	check(HCode hcode) Check the given HCode for Derivation errors.
static HCodeFactory	codeFactory(HCodeFactory hcf) Create an HCodeFactory that will check the derivations of every "converted" HCode.

Methods inherited from class java.lang.Object

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

Method Detail

codeFactory

public static HCodeFactory codeFactory(HCodeFactory hcf)

Create an HCodeFactory that will check the derivations of every "converted" HCode.

check

public static void check(HCode hcode)

Check the given HCode for Derivation errors.