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

Class WhileStatement

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

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

de.fraunhofer.aisec.cpg.graph.statements.WhileStatement

All Implemented Interfaces:

DeclarationHolder, Persistable, IVisitable<Node>

public class WhileStatement
extends Statement

Represents a conditional loop statement of the form: while(...){...}.

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
WhileStatement()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
Expression	getCondition()
Declaration	getConditionDeclaration()
Statement	getStatement()
int	hashCode()
void	setCondition(Expression condition)
void	setConditionDeclaration(Declaration conditionDeclaration)
void	setStatement(Statement thenStatement)
java.lang.String	toString()

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

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

WhileStatement

public WhileStatement()

Method Detail

getConditionDeclaration

public Declaration getConditionDeclaration()

setConditionDeclaration

public void setConditionDeclaration(Declaration conditionDeclaration)

getCondition

public Expression getCondition()

setCondition

public void setCondition(Expression condition)

getStatement

public Statement getStatement()

setStatement

public void setStatement(Statement thenStatement)

toString

public java.lang.String toString()

Overrides:

toString in class Node

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Statement

hashCode

public int hashCode()

Overrides:

hashCode in class Statement