Class BranchEvent

java.lang.Object

edu.berkeley.cs.jqf.instrument.tracing.events.TraceEvent

edu.berkeley.cs.jqf.instrument.tracing.events.BranchEvent

public class BranchEvent
extends TraceEvent

Author:

Rohan Padhye

Field Summary

Fields

Modifier and Type	Field	Description
protected final int	arm	The branch arm that is taken.

Fields inherited from class edu.berkeley.cs.jqf.instrument.tracing.events.TraceEvent

containingMethod, iid, lineNumber

Constructor Summary

Constructors

Constructor	Description
BranchEvent(int iid, MemberRef containingMethod, int lineNumber, int arm)

Method Summary

Modifier and Type	Method	Description
void	applyVisitor(TraceEventVisitor v)
int	getArm()
String	toString()

Methods inherited from class edu.berkeley.cs.jqf.instrument.tracing.events.TraceEvent

getContainingClass, getContainingMethodDesc, getContainingMethodName, getFileName, getIid, getLineNumber

Methods inherited from class java.lang.Object

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

Field Details

arm

protected final int arm

The branch arm that is taken. For simple conditional branches, 0 is the false branch and 1 is the true branch. For switch-cases, the arm is the index of the case statement (default arm = -1)

Constructor Details

BranchEvent

public BranchEvent(int iid,
 MemberRef containingMethod,
 int lineNumber,
 int arm)

Method Details

getArm

public int getArm()

toString

public String toString()

Overrides:

toString in class Object

applyVisitor

public void applyVisitor(TraceEventVisitor v)

Specified by:

applyVisitor in class TraceEvent