Module dev.civl.mc

Package dev.civl.mc.log.IF

Class CIVLLogEntry

java.lang.Object

dev.civl.gmc.LogEntry

dev.civl.mc.log.IF.CIVLLogEntry

All Implemented Interfaces:

Comparable<dev.civl.gmc.LogEntry>

public class CIVLLogEntry
extends dev.civl.gmc.LogEntry

This represents an entry in the error log of CIVL. LogEntry's are stored in a collection that is ordered by the compareTo method and where the equals method determines redundancy in terms of error reports. Currently these two methods consult the CIVLConfiguration to determine what equivalence should be applied to error states. States that do not share the same problem kind are always inequivalent. There are three alternative criteria that are applied: LOC : require error locations in each proc to be the same for equivalence CALLSTACK : require call stacks in each proc to be the same for equivalence FULL : require the full trace, as expressed by the path condition, to be the same for equivalence Additional equivalences are easy to implement by accessing components of the state.

Constructor Summary

Constructors

Constructor	Description
CIVLLogEntry(CIVLConfiguration civlConfig, dev.civl.gmc.GMCConfiguration gmcConfig, CIVLExecutionException problem, dev.civl.sarl.IF.SymbolicUniverse universe)

Method Summary

Modifier and Type	Method	Description
int	compareTo(dev.civl.gmc.LogEntry that)
boolean	equals(Object obj)
void	printBody(PrintStream out)
CIVLExecutionException	problem()

Methods inherited from class dev.civl.gmc.LogEntry

getConfiguration, getId, getLength, getTraceFile, print

Methods inherited from class java.lang.Object

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

Constructor Details

CIVLLogEntry

public CIVLLogEntry(CIVLConfiguration civlConfig,
 dev.civl.gmc.GMCConfiguration gmcConfig,
 CIVLExecutionException problem,
 dev.civl.sarl.IF.SymbolicUniverse universe)

Method Details

problem

public CIVLExecutionException problem()

printBody

public void printBody(PrintStream out)

Specified by:

printBody in class dev.civl.gmc.LogEntry

compareTo

public int compareTo(dev.civl.gmc.LogEntry that)

Specified by:

compareTo in interface Comparable<dev.civl.gmc.LogEntry>

Specified by:

compareTo in class dev.civl.gmc.LogEntry

equals

public boolean equals(Object obj)

Specified by:

equals in class dev.civl.gmc.LogEntry