Package de.fraunhofer.aisec.cpg.helpers

Class SubgraphWalker.ScopedWalker

java.lang.Object

de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker

Enclosing class:

SubgraphWalker

public static class SubgraphWalker.ScopedWalker
extends java.lang.Object

Handles declaration scope monitoring for iterative traversals. If this is not required, use SubgraphWalker.IterativeGraphWalker for less overhead.

Declaration scopes are similar to ScopeManager scopes: ValueDeclarations located inside a scope (i.e. are children of the scope root) are visible to any children of the scope root. Scopes can be layered, where declarations from parent scopes are visible to the children but not the other way around.

Constructor Summary

Constructors

Constructor	Description
ScopedWalker(LanguageFrontend lang)

Method Summary

Modifier and Type	Method	Description
void	clearCallbacks()
void	collectDeclarations(Node current)
java.util.List<ValueDeclaration>	getAllDeclarationsForScope(Node scope)
@Nullable RecordDeclaration	getCurrentClass()
java.util.Optional<? extends ValueDeclaration>	getDeclarationForScope(Node scope, java.util.function.Predicate<ValueDeclaration> predicate)
void	iterate(Node root)	Wraps SubgraphWalker.IterativeGraphWalker to handle declaration scopes.
void	registerHandler(TriConsumer<RecordDeclaration,Node,Node> handler)
void	registerHandler(java.util.function.BiConsumer<Node,RecordDeclaration> handler)

Methods inherited from class java.lang.Object

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

Constructor Detail

ScopedWalker

public ScopedWalker(LanguageFrontend lang)

Method Detail

clearCallbacks

public void clearCallbacks()

registerHandler

public void registerHandler(TriConsumer<RecordDeclaration,Node,Node> handler)

registerHandler

public void registerHandler(java.util.function.BiConsumer<Node,RecordDeclaration> handler)

iterate

public void iterate(Node root)

Wraps SubgraphWalker.IterativeGraphWalker to handle declaration scopes.

Parameters:

root - The node where AST descent is started

getCurrentClass

public @Nullable RecordDeclaration getCurrentClass()

collectDeclarations

public void collectDeclarations(Node current)

getAllDeclarationsForScope

public java.util.List<ValueDeclaration> getAllDeclarationsForScope(Node scope)

getDeclarationForScope

public java.util.Optional<? extends ValueDeclaration> getDeclarationForScope(Node scope,
                                                                             java.util.function.Predicate<ValueDeclaration> predicate)