dk.brics.string.intermediate.operations
Class HandleFieldAssignment
java.lang.Object
dk.brics.string.intermediate.operations.HandleFieldAssignment
public class HandleFieldAssignment
- extends Object
To get a sound analysis for fields containing mutable types,
we must use a flow insensitive analysis or use the hack
implemented by this class.
If fields containing mutable fields are handled in another
way, then this phase can safely be removed
- Author:
- Bįršur
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
HandleFieldAssignment
public HandleFieldAssignment(Method[] methods)
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.