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

Class ScopeManager

java.lang.Object

de.fraunhofer.aisec.cpg.passes.scopes.ScopeManager

public class ScopeManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ScopeManager(LanguageFrontend lang)

Method Summary

Modifier and Type	Method	Description
void	addBreakStatment(BreakStatement breakStatement)
void	addContinueStatment(ContinueStatement continueStatement)
void	addGlobal(VariableDeclaration global)
void	addLabelStatement(LabelStatement labelStatement)
void	addValueDeclaration(FieldDeclaration fieldDeclaration)
void	addValueDeclaration(FunctionDeclaration functionDeclaration)
void	addValueDeclaration(ParamVariableDeclaration paramDeclaration)
void	addValueDeclaration(VariableDeclaration variableDeclaration)
void	connectToLocal(DeclaredReferenceExpression referenceExpression)
void	enterScope(Node nodeToScope)
void	enterScopeIfExists(Node nodeToScope)
CompoundStatement	getCurrentBlock()
FunctionDeclaration	getCurrentFunction()
java.lang.String	getCurrentNamePrefix()
Scope	getCurrentScope()
Declaration	getDeclarationForName(java.lang.String name)
Scope	getFirstScopeThat(Scope searchScope, java.util.function.Predicate<Scope> predicate)
Scope	getFirstScopeThat(java.util.function.Predicate<Scope> predicate)
java.lang.String	getFullNamePrefix()
java.util.List<ValueDeclaration>	getGlobals()
LabelStatement	getLabelStatement(java.lang.String labelString)
Scope	getScopeOfStatment(Node node)
java.util.List<Scope>	getScopesThat(java.util.function.Predicate<Scope> predicate)
<T> java.util.List<Scope>	getUniqueScopesThat(java.util.function.Predicate<Scope> predicate, java.util.function.Function<Scope,T> uniqueProperty)
boolean	isBreakable(Scope scope)
boolean	isContinuable(Scope scope)
Scope	leaveScope(Node nodeToLeave)	Remove all scopes above the specified one including the specified one.
Scope	leaveScopeIfExists(Node nodeToLeave)
ValueDeclaration	resolve(DeclaredReferenceExpression ref)

Methods inherited from class java.lang.Object

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

Constructor Detail

ScopeManager

public ScopeManager(LanguageFrontend lang)

Method Detail

getCurrentBlock

public CompoundStatement getCurrentBlock()

getCurrentFunction

public FunctionDeclaration getCurrentFunction()

getGlobals

public java.util.List<ValueDeclaration> getGlobals()

getCurrentScope

public Scope getCurrentScope()

addGlobal

public void addGlobal(VariableDeclaration global)

enterScopeIfExists

public void enterScopeIfExists(Node nodeToScope)

leaveScopeIfExists

public Scope leaveScopeIfExists(Node nodeToLeave)

enterScope

public void enterScope(Node nodeToScope)

isBreakable

public boolean isBreakable(Scope scope)

isContinuable

public boolean isContinuable(Scope scope)

leaveScope

public Scope leaveScope(Node nodeToLeave)

Remove all scopes above the specified one including the specified one.

Parameters:

nodeToLeave - - The scope is defined by its astNode

Returns:

the scope is returned for processing

getFirstScopeThat

public Scope getFirstScopeThat(java.util.function.Predicate<Scope> predicate)

getFirstScopeThat

public Scope getFirstScopeThat(Scope searchScope,
                               java.util.function.Predicate<Scope> predicate)

getScopesThat

public java.util.List<Scope> getScopesThat(java.util.function.Predicate<Scope> predicate)

getUniqueScopesThat

public <T> java.util.List<Scope> getUniqueScopesThat(java.util.function.Predicate<Scope> predicate,
                                                     java.util.function.Function<Scope,T> uniqueProperty)

addBreakStatment

public void addBreakStatment(BreakStatement breakStatement)

addContinueStatment

public void addContinueStatment(ContinueStatement continueStatement)

addLabelStatement

public void addLabelStatement(LabelStatement labelStatement)

getLabelStatement

public LabelStatement getLabelStatement(java.lang.String labelString)

addValueDeclaration

public void addValueDeclaration(VariableDeclaration variableDeclaration)

addValueDeclaration

public void addValueDeclaration(ParamVariableDeclaration paramDeclaration)

addValueDeclaration

public void addValueDeclaration(FieldDeclaration fieldDeclaration)

addValueDeclaration

public void addValueDeclaration(FunctionDeclaration functionDeclaration)

getCurrentNamePrefix

public java.lang.String getCurrentNamePrefix()

getFullNamePrefix

public java.lang.String getFullNamePrefix()

resolve

public ValueDeclaration resolve(DeclaredReferenceExpression ref)

getScopeOfStatment

public Scope getScopeOfStatment(Node node)

connectToLocal

public void connectToLocal(DeclaredReferenceExpression referenceExpression)

getDeclarationForName

public Declaration getDeclarationForName(java.lang.String name)