Package de.fraunhofer.aisec.cpg.passes.scopes

Class LoopScope

java.lang.Object

de.fraunhofer.aisec.cpg.passes.scopes.Scope

de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope

de.fraunhofer.aisec.cpg.passes.scopes.LoopScope

All Implemented Interfaces:

de.fraunhofer.aisec.cpg.passes.scopes.Breakable, de.fraunhofer.aisec.cpg.passes.scopes.Continuable, de.fraunhofer.aisec.cpg.passes.scopes.ScopeTraits

public class LoopScope
extends ValueDeclarationScope
implements de.fraunhofer.aisec.cpg.passes.scopes.Breakable, de.fraunhofer.aisec.cpg.passes.scopes.Continuable

Field Summary

Fields inherited from class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope

log

Fields inherited from class de.fraunhofer.aisec.cpg.passes.scopes.Scope

astNode, children, labelStatements, parent, scopedName

Constructor Summary

Constructors

Constructor	Description
LoopScope(Statement loopStatement)

Method Summary

Modifier and Type	Method	Description
void	addBreakStatement(BreakStatement breakStatement)
void	addContinueStatement(ContinueStatement continueStatement)
java.util.List<BreakStatement>	getBreakStatements()
java.util.List<de.fraunhofer.aisec.cpg.graph.Node>	getConditions()
java.util.List<ContinueStatement>	getContinueStatements()
java.util.List<de.fraunhofer.aisec.cpg.graph.Node>	getStarts()
void	setConditions(java.util.List<de.fraunhofer.aisec.cpg.graph.Node> conditions)
void	setStarts(java.util.List<de.fraunhofer.aisec.cpg.graph.Node> starts)
java.util.List<de.fraunhofer.aisec.cpg.graph.Node>	starts()

Methods inherited from class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope

addDeclaration, addTypedef, getTypedefs, getValueDeclarations, setTypedefs, setValueDeclarations

Methods inherited from class de.fraunhofer.aisec.cpg.passes.scopes.Scope

addLabelStatement, getAstNode, getChildren, getLabelStatements, getParent, getScopedName, setAstNode, setChildren, setLabelStatements, setParent, setScopedName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LoopScope

public LoopScope(Statement loopStatement)

Method Details

getStarts

public java.util.List<de.fraunhofer.aisec.cpg.graph.Node> getStarts()

setStarts

public void setStarts(java.util.List<de.fraunhofer.aisec.cpg.graph.Node> starts)

getConditions

public java.util.List<de.fraunhofer.aisec.cpg.graph.Node> getConditions()

setConditions

public void setConditions(java.util.List<de.fraunhofer.aisec.cpg.graph.Node> conditions)

addBreakStatement

public void addBreakStatement(BreakStatement breakStatement)

Specified by:

addBreakStatement in interface de.fraunhofer.aisec.cpg.passes.scopes.Breakable

addContinueStatement

public void addContinueStatement(ContinueStatement continueStatement)

Specified by:

addContinueStatement in interface de.fraunhofer.aisec.cpg.passes.scopes.Continuable

getBreakStatements

public java.util.List<BreakStatement> getBreakStatements()

Specified by:

getBreakStatements in interface de.fraunhofer.aisec.cpg.passes.scopes.Breakable

getContinueStatements

public java.util.List<ContinueStatement> getContinueStatements()

Specified by:

getContinueStatements in interface de.fraunhofer.aisec.cpg.passes.scopes.Continuable

starts

public java.util.List<de.fraunhofer.aisec.cpg.graph.Node> starts()