diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7394:94f032472c28

changed PEA interface: * prepare for more fine-grained object states (thread local, ...) * merge Virtualizable and EscapeAnalyzable interfaces * make MaterializeObjectNode an ArrayLengthProvider
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 16 Jan 2013 15:15:32 +0100
parents dfcb73ac6ba2
children 427e797ab18e
line wrap: on
line diff