escjava.pa
Class Traverse

java.lang.Object
  escjava.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)