com.ibm.wala.cast.ir.ssa

Class AstAssertInstruction

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.cast.ir.ssa.AstAssertInstruction

public class AstAssertInstruction
extends com.ibm.wala.ssa.SSAInstruction

An assert statement, as found in a variety of languages. It has a use which is the value being asserted to be true. Additionally, there is flag which denotes whether the assertion is from a specification (the usual case) or is an assertion introduced by "compilation" of whatever sort (e.g. to add assertions regarding loop conditions needed by bounded model checking).

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAInstruction.IVisitor, com.ibm.wala.ssa.SSAInstruction.Visitor

Field Summary

Fields inherited from class com.ibm.wala.ssa.SSAInstruction

NO_INDEX

Constructor Summary

Constructors

Constructor and Description
AstAssertInstruction(int iindex, int value, boolean fromSpecification)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.ssa.SSAInstruction	copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts, int[] defs, int[] uses)
java.util.Collection<com.ibm.wala.types.TypeReference>	getExceptionTypes()
int	getNumberOfUses()
int	getUse(int i)
int	hashCode()
boolean	isFallThrough()
boolean	isFromSpecification()
java.lang.String	toString(com.ibm.wala.ssa.SymbolTable symbolTable)
void	visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Methods inherited from class com.ibm.wala.ssa.SSAInstruction

equals, getDef, getDef, getNumberOfDefs, getValueString, hasDef, iIndex, isPEI, setInstructionIndex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AstAssertInstruction

public AstAssertInstruction(int iindex,
                            int value,
                            boolean fromSpecification)

Method Detail

getNumberOfUses

public int getNumberOfUses()

Overrides:

getNumberOfUses in class com.ibm.wala.ssa.SSAInstruction

getUse

public int getUse(int i)

Overrides:

getUse in class com.ibm.wala.ssa.SSAInstruction

copyForSSA

public com.ibm.wala.ssa.SSAInstruction copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts,
                                                  int[] defs,
                                                  int[] uses)

Specified by:

copyForSSA in class com.ibm.wala.ssa.SSAInstruction

toString

public java.lang.String toString(com.ibm.wala.ssa.SymbolTable symbolTable)

Specified by:

toString in class com.ibm.wala.ssa.SSAInstruction

visit

public void visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Specified by:

visit in class com.ibm.wala.ssa.SSAInstruction

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.ssa.SSAInstruction

getExceptionTypes

public java.util.Collection<com.ibm.wala.types.TypeReference> getExceptionTypes()

Overrides:

getExceptionTypes in class com.ibm.wala.ssa.SSAInstruction

isFallThrough

public boolean isFallThrough()

Specified by:

isFallThrough in class com.ibm.wala.ssa.SSAInstruction

isFromSpecification

public boolean isFromSpecification()