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

Class SwitchStatement

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

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

de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement

All Implemented Interfaces:

DeclarationHolder, Persistable, IVisitable<Node>

public class SwitchStatement
extends Statement

Represents a Java or C++ switch statement of the switch (selector) {...} that can include case and default statements. Break statements break out of the switch and labeled breaks in JAva are handled properly.

Field Summary

Fields

Modifier and Type	Field	Description
Expression	selector	Selector that determines the case/default statement of the subsequent execution

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
Statement	getInitializerStatement()
Expression	getSelector()
Declaration	getSelectorDeclaration()
Statement	getStatement()
int	hashCode()
void	setInitializerStatement(Statement initializerStatement)
void	setSelector(Expression selector)
void	setSelectorDeclaration(Declaration selectorDeclaration)
void	setStatement(Statement statement)

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

Field Detail

selector

public Expression selector

Selector that determines the case/default statement of the subsequent execution

Constructor Detail

SwitchStatement

public SwitchStatement()

Method Detail

getInitializerStatement

public Statement getInitializerStatement()

setInitializerStatement

public void setInitializerStatement(Statement initializerStatement)

getSelectorDeclaration

public Declaration getSelectorDeclaration()

setSelectorDeclaration

public void setSelectorDeclaration(Declaration selectorDeclaration)

getSelector

public Expression getSelector()

setSelector

public void setSelector(Expression selector)

getStatement

public Statement getStatement()

setStatement

public void setStatement(Statement statement)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Statement

hashCode

public int hashCode()

Overrides:

hashCode in class Statement