Package pascal.taie.analysis.bugfinder

Class BugInstance

java.lang.Object

pascal.taie.analysis.bugfinder.BugInstance

All Implemented Interfaces:

Comparable<BugInstance>

public class BugInstance
extends Object
implements Comparable<BugInstance>

Constructor Summary

Constructors

Constructor	Description
BugInstance(BugType type, Severity severity, JClass jClass)
BugInstance(BugType type, Severity severity, JMethod jMethod)

Method Summary

Modifier and Type	Method	Description
int	compareTo(BugInstance o)
boolean	equals(Object o)
Severity	getSeverity()
int	getSourceLineEnd()
int	getSourceLineStart()
BugType	getType()
int	hashCode()
BugInstance	setSourceLine(int num)
BugInstance	setSourceLine(int start, int end)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

BugInstance

public BugInstance(BugType type,
 Severity severity,
 JClass jClass)

BugInstance

public BugInstance(BugType type,
 Severity severity,
 JMethod jMethod)

Method Details

getType

public BugType getType()

getSeverity

public Severity getSeverity()

setSourceLine

public BugInstance setSourceLine(int start,
 int end)

setSourceLine

public BugInstance setSourceLine(int num)

getSourceLineStart

public int getSourceLineStart()

getSourceLineEnd

public int getSourceLineEnd()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(BugInstance o)

Specified by:

compareTo in interface Comparable<BugInstance>