- EarlyReadEliminationPhase.java
- EffectList.java
- EffectsBlockState.java
- EffectsClosure.java
- EffectsPhase.java
- GraphEffectList.java
- ObjectState.java
- PEReadEliminationBlockState.java
- PEReadEliminationClosure.java
- PartialEscapeBlockState.java
- PartialEscapeClosure.java
- PartialEscapePhase.java
- ReadEliminationBlockState.java
- ReadEliminationClosure.java
- VirtualUtil.java
- VirtualizerToolImpl.java