daikon.inv
Class DiscardInfo

Object
  DiscardInfo

public final class DiscardInfo
extends Object

A class used for holding a DiscardCode and a string that contains more detailed information about why an Invariant was discarded, as well as the classname and what would be returned by the Invariant's format() method.

Field Summary

Invariant

inv Invariant for which the DiscardInfo applies

Constructor Summary

DiscardInfo(Invariant inv, DiscardCode discardCode, String discardString)

Method Summary

void	add_implied_vis(VarInfo[] vis) Adds an equality string to the discardString for each variable in in vis which is different from the leader
void	add_implied(String reason) Adds the specified string as an additional reason
String	className()
DiscardCode	discardCode()
String	discardFormat()
String	discardString()
String	format()

Methods inherited from class Object

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

Field Detail

inv

public Invariant inv

Invariant for which the DiscardInfo applies

Constructor Detail

DiscardInfo

public DiscardInfo(Invariant inv,
                   DiscardCode discardCode,
                   String discardString)

Method Detail

discardFormat

public String discardFormat()

discardCode

public DiscardCode discardCode()

discardString

public String discardString()

className

public String className()

format

public String format()

add_implied

public void add_implied(String reason)

Adds the specified string as an additional reason

add_implied_vis

public void add_implied_vis(VarInfo[] vis)

Adds an equality string to the discardString for each variable in in vis which is different from the leader