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(V v)	Called when this object is visited.
BooleanConstant	and(BooleanConstant c)
BooleanConstant	equalEqual(BooleanConstant c)
static BooleanConstant	getFalse()
static BooleanConstant	getInstance(boolean value)
static BooleanConstant	getInstance(int value)
static BooleanConstant	getTrue()
Type	getType()	Returns the Soot type of this Value.
BooleanConstant	notEqual(BooleanConstant c)
BooleanConstant	or(BooleanConstant c)
String	toString()
BooleanConstant	xor(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

@Nonnull
public 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

@Nonnull
public BooleanConstant equalEqual(@Nonnull
 BooleanConstant c)

Specified by:

equalEqual in interface ComparableConstant<BooleanConstant>

notEqual

@Nonnull
public BooleanConstant notEqual(@Nonnull
 BooleanConstant c)

Specified by:

notEqual in interface ComparableConstant<BooleanConstant>

and

@Nonnull
public BooleanConstant and(@Nonnull
 BooleanConstant c)

Specified by:

and in interface LogicalConstant<BooleanConstant>

or

@Nonnull
public BooleanConstant or(@Nonnull
 BooleanConstant c)

Specified by:

or in interface LogicalConstant<BooleanConstant>

xor

@Nonnull
public BooleanConstant xor(@Nonnull
 BooleanConstant c)

Specified by:

xor in interface LogicalConstant<BooleanConstant>

toString

public String toString()

Overrides:

toString in class Object