Package ghidra.pcode.emu.jit

Record Class JitPassage.SIntBranch

java.lang.Object

java.lang.Record

ghidra.pcode.emu.jit.JitPassage.SIntBranch

Record Components:

from - see JitPassage.Branch.from()

to - see JitPassage.IntBranch.to()

isFall - see JitPassage.Branch.isFall()

All Implemented Interfaces:

JitPassage.Branch, JitPassage.IntBranch, JitPassage.SBranch

Enclosing class:

JitPassage

public static record JitPassage.SIntBranch(PcodeOp from, PcodeOp to, boolean isFall)
extends Record
implements JitPassage.IntBranch, JitPassage.SBranch

An JitPassage.IntBranch as analyzed during one instruction step

Constructor Summary

Constructors

Constructor	Description
SIntBranch(PcodeOp from, PcodeOp to, boolean isFall)	Creates an instance of a SIntBranch record class.

Method Summary

Modifier and Type	Method	Description
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
PcodeOp	from()	Returns the value of the from record component.
final int	hashCode()	Returns a hash code value for this object.
boolean	isFall()	Returns the value of the isFall record component.
PcodeOp	to()	Returns the value of the to record component.
final String	toString()	Returns a string representation of this record class.
JitPassage.RIntBranch	withReach(JitPassage.Reachability reach)	Upgrade this branch to an JitPassage.RIntBranch for inclusion in the passage.

Methods inherited from class java.lang.Object

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

Methods inherited from interface ghidra.pcode.emu.jit.JitPassage.Branch

describeTo

Constructor Details

SIntBranch

public SIntBranch(PcodeOp from,
 PcodeOp to,
 boolean isFall)

Creates an instance of a SIntBranch record class.

Parameters:

from - the value for the from record component

to - the value for the to record component

isFall - the value for the isFall record component

Method Details

withReach

public JitPassage.RIntBranch withReach(JitPassage.Reachability reach)

Upgrade this branch to an JitPassage.RIntBranch for inclusion in the passage.

Parameters:

reach - see JitPassage.RBranch.reach()

Returns:

the branch

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

from

public PcodeOp from()

Returns the value of the from record component.

Specified by:

from in interface JitPassage.Branch

Returns:

the value of the from record component

to

public PcodeOp to()

Returns the value of the to record component.

Specified by:

to in interface JitPassage.IntBranch

Returns:

the value of the to record component

isFall

public boolean isFall()

Returns the value of the isFall record component.

Specified by:

isFall in interface JitPassage.Branch

Returns:

the value of the isFall record component