ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.pa
Class Traverse

java.lang.Object
  extended byescjava.pa.Traverse

public class Traverse
extends java.lang.Object


Constructor Summary
Traverse()
           
 
Method Summary
static void compute(GuardedCmd g, InitialState initState, Translate tr)
           
(package private) static GuardedCmd computeHelper(GuardedCmd g, GuardedCmd context, Set env)
           
private static void desugarLoops(GuardedCmd g, Translate tr)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Traverse

public Traverse()
Method Detail

compute

public static void compute(GuardedCmd g,
                           InitialState initState,
                           Translate tr)

desugarLoops

private static void desugarLoops(GuardedCmd g,
                                 Translate tr)

computeHelper

static GuardedCmd computeHelper(GuardedCmd g,
                                GuardedCmd context,
                                Set env)

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage