Package sootup.core.jimple.common.constant

Class BooleanConstant

java.lang.Object

sootup.core.jimple.common.constant.BooleanConstant

All Implemented Interfaces:

EquivTo, Immediate, Value, ComparableConstant<BooleanConstant>, Constant, LogicalConstant<BooleanConstant>, Acceptor<ConstantVisitor>

public class BooleanConstant
extends Object
implements LogicalConstant<BooleanConstant>, ComparableConstant<BooleanConstant>

BooleanConstant didn't exist in old soot, because in Java byte code boolean values are represented as integer values 1 or 0. However, from the source code we have the information if a constant is boolean or not, adding this class is helpful for setting type of boolean variables.

Author:

Linghui Luo

Method Summary

Modifier and Type	Method	Description
<V extends ConstantVisitor> V	accept(@NonNull V v)	Called when this object is visited.
@NonNull BooleanConstant	and(@NonNull BooleanConstant c)
@NonNull BooleanConstant	equalEqual(@NonNull BooleanConstant c)
static BooleanConstant	getFalse()
static BooleanConstant	getInstance(boolean value)
static BooleanConstant	getInstance(int value)
static BooleanConstant	getTrue()
@NonNull Type	getType()	Returns the Soot type of this Value.
@NonNull BooleanConstant	notEqual(@NonNull BooleanConstant c)
@NonNull BooleanConstant	or(@NonNull BooleanConstant c)
String	toString()
@NonNull BooleanConstant	xor(@NonNull BooleanConstant c)

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.jimple.common.constant.Constant

equivHashCode, equivTo, getUses, toString

Methods inherited from interface sootup.core.jimple.basic.EquivTo

equivTo

Methods inherited from interface sootup.core.jimple.basic.Value

accept

Method Details

getInstance

public static BooleanConstant getInstance(boolean value)

getInstance

public static BooleanConstant getInstance(int value)

getTrue

public static BooleanConstant getTrue()

getFalse

public static BooleanConstant getFalse()

getType

public @NonNull Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Specified by:

getType in interface Value

accept

public <V extends ConstantVisitor> V accept(@NonNull V v)

Description copied from interface: Acceptor

Called when this object is visited.

Specified by:

accept in interface Acceptor<ConstantVisitor>

equalEqual

public @NonNull BooleanConstant equalEqual(@NonNull BooleanConstant c)

Specified by:

equalEqual in interface ComparableConstant<BooleanConstant>

notEqual

public @NonNull BooleanConstant notEqual(@NonNull BooleanConstant c)

Specified by:

notEqual in interface ComparableConstant<BooleanConstant>

and

public @NonNull BooleanConstant and(@NonNull BooleanConstant c)

Specified by:

and in interface LogicalConstant<BooleanConstant>

or

public @NonNull BooleanConstant or(@NonNull BooleanConstant c)

Specified by:

or in interface LogicalConstant<BooleanConstant>

xor

public @NonNull BooleanConstant xor(@NonNull BooleanConstant c)

Specified by:

xor in interface LogicalConstant<BooleanConstant>

toString

public String toString()

Overrides:

toString in class Object