Uses of Class
escjava.sp.RefInt

Packages that use RefInt

escjava.sp

Uses of RefInt in escjava.sp

Methods in escjava.sp with parameters of type RefInt

private static GuardedCmd	DSA.dsa(GuardedCmd g, VarMap map, VarMapPair out, java.lang.String dynInstPrefix, RefInt preOrderCount, java.util.Hashtable lastVarUse) Parameters preOrderCount and lastVarUse are used to perform a dead-variable analysis on variables, so that merges of variables can be smaller.
private static void	DSA.computeLastVarUses(GuardedCmd g, RefInt preOrderCount, java.util.Hashtable lastVarUse)
private static void	DSA.doPreOrderCount(GuardedCmd g, RefInt preOrderCount)