Package org.aspectj.org.eclipse.jdt.internal.core.nd.db

Class ModificationLog.MemoryAccessLog

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.core.nd.db.ModificationLog.MemoryAccessLog

Enclosing class:

ModificationLog

public static class ModificationLog.MemoryAccessLog
extends Object

Contains a log of events related to a specific range of database addresses, in reverse chronological order.

Constructor Summary

Constructors

Constructor	Description
MemoryAccessLog(List<ModificationLog.MemoryOperation> operations)

Method Summary

Modifier and Type	Method	Description
List<ModificationLog.MemoryOperation>	getOperations()	Returns a list of operations, in reverse order of time.
boolean	hasInconsistentMemoryAllocation()	Returns true iff this log contains a double malloc or a double free
ModificationLog.MemoryAccessLog	reduce(int maxWrites)	Search for anomalies in the log and produce a reduced report

Methods inherited from class java.lang.Object

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

Constructor Details

MemoryAccessLog

public MemoryAccessLog(List<ModificationLog.MemoryOperation> operations)

Method Details

getOperations

public List<ModificationLog.MemoryOperation> getOperations()

Returns a list of operations, in reverse order of time.

hasInconsistentMemoryAllocation

public boolean hasInconsistentMemoryAllocation()

Returns true iff this log contains a double malloc or a double free

reduce

public ModificationLog.MemoryAccessLog reduce(int maxWrites)

Search for anomalies in the log and produce a reduced report

Returns:

a log containing the most interesting results