Package de.fraunhofer.aisec.cpg.graph.statements

Class AssertStatement

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.statements.Statement

de.fraunhofer.aisec.cpg.graph.statements.AssertStatement

All Implemented Interfaces:

DeclarationHolder, Persistable, IVisitable<Node>

public class AssertStatement
extends Statement

Represents an assert statement

Field Summary

Fields inherited from class de.fraunhofer.aisec.cpg.graph.statements.Statement

locals

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

annotations, code, comment, dummy, EMPTY_NAME, file, implicit, location, log, name, nextCFG, nextDFG, nextEOG, prevDFG, prevEOG, TO_STRING_STYLE, typedefs

Constructor Summary

Constructors

Constructor	Description
AssertStatement()

Method Summary

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

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

addDeclaration, getLocals, getLocalsPropertyEdge, removeLocal, setLocals

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

addAnnotations, addNextCFG, addNextCFG, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, getCode, getFile, getId, getLocation, getName, getNextCFG, getNextDFG, getNextEOG, getNextEOGProperties, getNextEOGPropertyEdge, getPrevDFG, getPrevEOG, getPrevEOGProperties, getTypedefs, isDummy, isImplicit, removeNextDFG, removePrevDFG, removePrevEOGEntries, removePrevEOGEntry, setArgumentIndex, setCode, setComment, setDummy, setFile, setImplicit, setLocation, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setPrevEOGProperties, setTypedefs, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder

addIfNotContains, addIfNotContains, addIfNotContains

Methods inherited from interface de.fraunhofer.aisec.cpg.processing.IVisitable

accept

Constructor Detail

AssertStatement

public AssertStatement()

Method Detail

getCondition

public Expression getCondition()

setCondition

public void setCondition(Expression condition)

getMessage

public @Nullable Statement getMessage()

setMessage

public void setMessage(@NonNull Statement message)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Statement

hashCode

public int hashCode()

Overrides:

hashCode in class Statement