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
-
-
Constructor Summary
Constructors Constructor Description AssertStatement()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object o)ExpressiongetCondition()@Nullable StatementgetMessage()inthashCode()voidsetCondition(Expression condition)voidsetMessage(@NonNull Statement message)-
Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node
addNextDFG, addPrevDFG, disconnectFromGraph, getArgumentIndex, getCode, getFile, getId, getName, getNextCFG, getNextDFG, getNextEOG, getPrevDFG, getPrevEOG, getRegion, isDummy, isImplicit, removeNextDFG, removePrevDFG, setArgumentIndex, setCode, setComment, setDummy, setFile, setImplicit, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setRegion, toString
-
-
-
-
Method Detail
-
getCondition
public Expression getCondition()
-
setCondition
public void setCondition(Expression condition)
-
getMessage
public @Nullable Statement getMessage()
-
setMessage
public void setMessage(@NonNull Statement message)
-
-