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

Constructor Summary

HandleFieldAssignment(Method[] methods)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HandleFieldAssignment

public HandleFieldAssignment(Method[] methods)