Package de.fraunhofer.aisec.cpg.graph

Class AssertStatement

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.Statement

de.fraunhofer.aisec.cpg.graph.AssertStatement

public class AssertStatement
extends Statement

Represents an assert statement

Field Summary

Fields inherited from class de.fraunhofer.aisec.cpg.graph.Node

code, comment, dummy, file, log, name, nextCFG, nextDFG, nextEOG, prevDFG, prevEOG, region, TO_STRING_STYLE

Constructor Summary

Constructors

Constructor	Description
AssertStatement()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
Expression	getCondition()
Statement	getMessage()
int	hashCode()
void	setCondition(Expression condition)
void	setMessage(Statement message)

Methods inherited from class de.fraunhofer.aisec.cpg.graph.Statement

getLocals, setLocals

Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node

addNextDFG, addPrevDFG, getArgumentIndex, getCode, getFile, getId, getName, getNextCFG, getNextDFG, getNextEOG, getPrevDFG, getPrevEOG, getRegion, isDummy, removeNextDFG, removePrevDFG, setArgumentIndex, setCode, setComment, setDummy, setFile, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setRegion, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AssertStatement

public AssertStatement()

Method Detail

getCondition

public Expression getCondition()

setCondition

public void setCondition(Expression condition)

getMessage

public Statement getMessage()

setMessage

public void setMessage(Statement message)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Statement

hashCode

public int hashCode()

Overrides:

hashCode in class Statement