Package sootup.core.jimple.common.constant

Interface LogicalConstant<L extends LogicalConstant<L>>

All Superinterfaces:

Acceptor<ConstantVisitor>, Constant, EquivTo, Immediate, JimpleIR, Value

All Known Subinterfaces:

ShiftableConstant<A>

All Known Implementing Classes:

BooleanConstant, IntConstant, LongConstant

public interface LogicalConstant<L extends LogicalConstant<L>>
extends Constant

A Constant that supports and(LogicalConstant), or(LogicalConstant) and xor(LogicalConstant)

Method Summary

Modifier and Type	Method	Description
@NonNull L	and(@NonNull L c)
@NonNull L	or(@NonNull L c)
@NonNull L	xor(@NonNull L c)

Methods inherited from interface sootup.core.jimple.visitor.Acceptor

accept

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

collectUses, equivHashCode, equivTo, toString

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

equivTo

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

accept, getType, getUses

Method Details

and

@NonNull L and(@NonNull L c)

or

@NonNull L or(@NonNull L c)

xor

@NonNull L xor(@NonNull L c)