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 java.lang.Object

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.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 Detail

MemoryAccessLog

public MemoryAccessLog(java.util.List<ModificationLog.MemoryOperation> operations)

Method Detail

getOperations

public java.util.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