diff --git a/dokka/main/cpg-analysis/navigation.html b/dokka/main/cpg-analysis/navigation.html index f8b369a024..b0bab33ade 100644 --- a/dokka/main/cpg-analysis/navigation.html +++ b/dokka/main/cpg-analysis/navigation.html @@ -472,7 +472,7 @@ -
+
@@ -1482,42 +1482,47 @@ refs
-
+
+ +
+
-
+
-
+ -
+
-
+ -
+ -
+ -
+
@@ -1777,87 +1782,92 @@ plusAssign()
-
+
+ +
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+
t()
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+
@@ -2071,6 +2081,11 @@ DEPENDENCE
+
+ +
@@ -2597,77 +2612,82 @@ ProblemType
-
+ + -
+ -
+ -
+ -
+
- Type + Type
-
+ -
+ -
+
-
+ -
+ - -
+
- -
+
@@ -2877,7 +2897,7 @@ - -
+
@@ -2902,61 +2922,56 @@ astParent
-
- -
-
- Companion -
-
-
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ +
Edge @@ -3107,71 +3122,61 @@ resolveConstructorWithDefaults()
- -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
@@ -3392,9 +3397,9 @@ - @@ -3442,427 +3447,457 @@ DeclarationHandler
-
+ + -
+ -
+ -
+ -
+
-
+ - -
+
-
+
- Ast + Ast
-
+ -
+ -
+
-
+
- Kind + Kind
-
+ -
+
INT
-
+ -
+ -
+ -
+
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ - -
+ -
+ -
+
-
+ -
+
-
+
- -
+ -
+
-
+
+
+ isChannel +
+
+
+ +
+
+
+ isMap +
+
+
+
+ isNil +
+
+ -
+ -
+ -
+ -
+
diff --git a/dokka/main/cpg-console/navigation.html b/dokka/main/cpg-console/navigation.html index f8b369a024..b0bab33ade 100644 --- a/dokka/main/cpg-console/navigation.html +++ b/dokka/main/cpg-console/navigation.html @@ -472,7 +472,7 @@
-
+
@@ -1482,42 +1482,47 @@ refs
-
+ + -
+
-
+ -
+
-
+ -
+ -
+ -
+
@@ -1777,87 +1782,92 @@ plusAssign()
-
+
+ +
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+
t()
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+
@@ -2071,6 +2081,11 @@ DEPENDENCE
+
+ +
@@ -2597,77 +2612,82 @@ ProblemType
-
+ + -
+ -
+ -
+ -
+
- Type + Type
-
+ -
+ -
+
-
+ -
+ - -
+
- -
+
@@ -2877,7 +2897,7 @@ - -
+
@@ -2902,61 +2922,56 @@ astParent
-
- -
-
- Companion -
-
-
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ +
Edge @@ -3107,71 +3122,61 @@ resolveConstructorWithDefaults()
- -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
@@ -3392,9 +3397,9 @@ - @@ -3442,427 +3447,457 @@ DeclarationHandler
-
+ + -
+ -
+ -
+ -
+
-
+ - -
+
-
+
- Ast + Ast
-
+ -
+ -
+
-
+
- Kind + Kind
-
+ -
+
INT
-
+ -
+ -
+ -
+
-
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ -
+ - -
+ -
+ -
+
-
+ -
+
-
+
- -
+ -
+
-
+
+
+ isChannel +
+
+
+ +
+
+
+ isMap +
+
+
+
+ isNil +
+
+ -
+ -
+ -
+ -
+
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/index.html index f77875d41b..9f6169bd44 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/index.html @@ -70,32 +70,32 @@

HasComplexCall

Functions

-
+
- +
Link copied to clipboard
-

A function to fine-tune the results of CallResolver.getInvocationCandidatesFromRecord, which retrieves a list of FunctionDeclaration candidates from a RecordDeclaration.

+

A function to fine-tune the results of CallResolver.getInvocationCandidatesFromRecord, which retrieves a list of FunctionDeclaration candidates from a RecordDeclaration.

- +
- +
Link copied to clipboard
-
abstract fun refineMethodCallResolution(curClass: RecordDeclaration?, possibleContainingTypes: Set<Type>, call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration, callResolver: CallResolver): List<FunctionDeclaration>

A function that can be used to fine-tune resolution of a method call.

+
abstract fun refineMethodCallResolution(curClass: RecordDeclaration?, possibleContainingTypes: Set<Type>, call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration, callResolver: SymbolResolver): List<FunctionDeclaration>

A function that can be used to fine-tune resolution of a method call.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/refine-invocation-candidates-from-record.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/refine-invocation-candidates-from-record.html index 87d6ce87f4..4f1a6ad2c6 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/refine-invocation-candidates-from-record.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-has-complex-call-resolution/refine-invocation-candidates-from-record.html @@ -59,12 +59,12 @@
-
+

refineInvocationCandidatesFromRecord

-

A function to fine-tune the results of CallResolver.getInvocationCandidatesFromRecord, which retrieves a list of FunctionDeclaration candidates from a RecordDeclaration.

Note: The function itself should NOT set the CallExpression.invokes but rather return a list of possible candidates.

Return

a list of FunctionDeclaration candidates.

+

A function to fine-tune the results of CallResolver.getInvocationCandidatesFromRecord, which retrieves a list of FunctionDeclaration candidates from a RecordDeclaration.

Note: The function itself should NOT set the CallExpression.invokes but rather return a list of possible candidates.

Return

a list of FunctionDeclaration candidates.

-
+

refineMethodCallResolution

-
abstract fun refineMethodCallResolution(curClass: RecordDeclaration?, possibleContainingTypes: Set<Type>, call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration, callResolver: CallResolver): List<FunctionDeclaration>

A function that can be used to fine-tune resolution of a method call.

Note: The function itself should NOT set the CallExpression.invokes but rather return a list of possible candidates.

Return

a list of FunctionDeclaration candidates.

+
abstract fun refineMethodCallResolution(curClass: RecordDeclaration?, possibleContainingTypes: Set<Type>, call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration, callResolver: SymbolResolver): List<FunctionDeclaration>

A function that can be used to fine-tune resolution of a method call.

Note: The function itself should NOT set the CallExpression.invokes but rather return a list of possible candidates.

Return

a list of FunctionDeclaration candidates.

-
+

handleSuperCall

-
abstract fun handleSuperCall(callee: MemberExpression, curClass: RecordDeclaration, scopeManager: ScopeManager, recordMap: Map<Name, RecordDeclaration>): Boolean
+
abstract fun handleSuperCall(callee: MemberExpression, curClass: RecordDeclaration, scopeManager: ScopeManager): Boolean

Functions

-
+
- +
Link copied to clipboard
-
abstract fun handleSuperCall(callee: MemberExpression, curClass: RecordDeclaration, scopeManager: ScopeManager, recordMap: Map<Name, RecordDeclaration>): Boolean
+
abstract fun handleSuperCall(callee: MemberExpression, curClass: RecordDeclaration, scopeManager: ScopeManager): Boolean
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-frontend/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-frontend/index.html index 5c95ec212b..00a225fae4 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-frontend/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-frontend/index.html @@ -827,7 +827,7 @@

Functions

-
fun LanguageFrontend<*, *>.memberCall(localName: CharSequence, member: Expression, isStatic: Boolean = false, init: MemberCallExpression.() -> Unit? = null): MemberCallExpression

Creates a new CallExpression (or MemberCallExpression) in the Fluent Node DSL with the given localName and adds it to the nearest enclosing Holder. Depending on whether it is a StatementHolder it is added to the list of StatementHolder.statements or in case of an ArgumentHolder, the function ArgumentHolder.addArgument is invoked.

+
fun LanguageFrontend<*, *>.memberCall(localName: CharSequence, base: Expression, isStatic: Boolean = false, init: MemberCallExpression.() -> Unit? = null): MemberCallExpression

Creates a new CallExpression (or MemberCallExpression) in the Fluent Node DSL with the given localName and adds it to the nearest enclosing Holder. Depending on whether it is a StatementHolder it is added to the list of StatementHolder.statements or in case of an ArgumentHolder, the function ArgumentHolder.addArgument is invoked.

@@ -2047,6 +2047,21 @@

Functions

+ +
+
+
+ + +
Link copied to clipboard
+
+
+ +
+
+
@@ -2207,7 +2222,7 @@

Functions

-
fun LanguageFrontend<*, *>.thenStmt(needsScope: Boolean = true, init: Block.() -> Unit): Block

Creates a new CompoundStatement in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself. ======= Creates a new Block in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself. main

+
fun LanguageFrontend<*, *>.thenStmt(needsScope: Boolean = true, init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

@@ -2312,7 +2327,7 @@

Functions

-

<<<<<<< HEAD Configures the DoStatement.condition in the Fluent Node DSL of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

Configures the WhileStatement.condition in the Fluent Node DSL of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

+

Configures the DoStatement.condition in the Fluent Node DSL of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

Configures the WhileStatement.condition in the Fluent Node DSL of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-trait/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-trait/index.html index 1fd76aa976..8c18507205 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-trait/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language-trait/index.html @@ -63,7 +63,7 @@

LanguageTrait

-
interface LanguageTrait

A language trait is a feature or trait that is common to a group of programming languages. Any Language that supports them should implement the desired trait interface. Examples could be the support of pointers, support for templates or generics.

Currently, this interface has no methods. However, in the future, this could be used to execute language/frontend-specific code for the particular trait. This could help to fine-tune the CallResolver for specific languages.

Inheritors

+
interface LanguageTrait

A language trait is a feature or trait that is common to a group of programming languages. Any Language that supports them should implement the desired trait interface. Examples could be the support of pointers, support for templates or generics.

Currently, this interface has no methods. However, in the future, this could be used to execute language/frontend-specific code for the particular trait. This could help to fine-tune the CallResolver for specific languages.

Inheritors

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/index.html index d8d531dcce..7d43583657 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/index.html @@ -1368,17 +1368,17 @@

Functions

- +
- +
Link copied to clipboard
-
open fun isDerivedFrom(type: Type, superType: Type): Boolean
+
open fun isDerivedFrom(type: Type, superType: Type, hint: HasType?, superHint: HasType?): Boolean

This function checks, if type is derived from superType. Optionally, the nodes that hold the respective type can be supplied as hint and superHint.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/is-derived-from.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/is-derived-from.html index 43a5d9ea30..8c1d828adf 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/is-derived-from.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.frontends/-language/is-derived-from.html @@ -59,12 +59,12 @@
-
+

isDerivedFrom

-
open fun isDerivedFrom(type: Type, superType: Type): Boolean
+
open fun isDerivedFrom(type: Type, superType: Type, hint: HasType?, superHint: HasType?): Boolean

This function checks, if type is derived from superType. Optionally, the nodes that hold the respective type can be supplied as hint and superHint.

-
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the WhileStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new CompoundStatement in the Fluent Node DSL and sets it to the DoStatement.statement of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

+
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the WhileStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the DoStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

@@ -694,7 +694,7 @@

Functions

-
fun LanguageFrontend<*, *>.memberCall(localName: CharSequence, member: Expression, isStatic: Boolean = false, init: MemberCallExpression.() -> Unit? = null): MemberCallExpression

Creates a new CallExpression (or MemberCallExpression) in the Fluent Node DSL with the given localName and adds it to the nearest enclosing Holder. Depending on whether it is a StatementHolder it is added to the list of StatementHolder.statements or in case of an ArgumentHolder, the function ArgumentHolder.addArgument is invoked.

+
fun LanguageFrontend<*, *>.memberCall(localName: CharSequence, base: Expression, isStatic: Boolean = false, init: MemberCallExpression.() -> Unit? = null): MemberCallExpression

Creates a new CallExpression (or MemberCallExpression) in the Fluent Node DSL with the given localName and adds it to the nearest enclosing Holder. Depending on whether it is a StatementHolder it is added to the list of StatementHolder.statements or in case of an ArgumentHolder, the function ArgumentHolder.addArgument is invoked.

@@ -819,6 +819,21 @@

Functions

+ +
+
+
+ + +
Link copied to clipboard
+
+
+ +
+
+
@@ -949,7 +964,7 @@

Functions

-
fun LanguageFrontend<*, *>.thenStmt(needsScope: Boolean = true, init: Block.() -> Unit): Block

Creates a new CompoundStatement in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself. ======= Creates a new Block in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself. main

+
fun LanguageFrontend<*, *>.thenStmt(needsScope: Boolean = true, init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the IfStatement.thenStatement of the nearest enclosing IfStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

@@ -1054,7 +1069,7 @@

Functions

-

<<<<<<< HEAD Configures the DoStatement.condition in the Fluent Node DSL of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

Configures the WhileStatement.condition in the Fluent Node DSL of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

+

Configures the DoStatement.condition in the Fluent Node DSL of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

Configures the WhileStatement.condition in the Fluent Node DSL of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.builder/loop-body.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.builder/loop-body.html index 47ec8fbe03..ee68491910 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.builder/loop-body.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.builder/loop-body.html @@ -64,7 +64,7 @@

loopBody

-
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the WhileStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.


fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new CompoundStatement in the Fluent Node DSL and sets it to the DoStatement.statement of the nearest enclosing DoStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

+
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block
fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the WhileStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.


fun LanguageFrontend<*, *>.loopBody(init: Block.() -> Unit): Block

Creates a new Block in the Fluent Node DSL and sets it to the DoStatement.statement of the nearest enclosing WhileStatement. The init block can be used to create further sub-nodes as well as configuring the created node itself.

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+
open override val resolutionStartNodes: List<Node>
+
+
+
+
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-enum-declaration/super-types.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-record-declaration/resolution-start-nodes.html similarity index 80% rename from dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-enum-declaration/super-types.html rename to dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-record-declaration/resolution-start-nodes.html index 5661b9ce8a..09d6b5dbc5 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-enum-declaration/super-types.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/-record-declaration/resolution-start-nodes.html @@ -2,7 +2,7 @@ - superTypes + resolutionStartNodes + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ +
+

resolutionStartNodes

+
+
open override val resolutionStartNodes: List<Node>
+
+ +
+
+
+ + + diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/index.html index 04425288e5..5504a57468 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.declarations/index.html @@ -139,7 +139,7 @@

Types

@@ -169,7 +169,7 @@

Types

-

Represents the declaration or definition of a function.

+

Represents the declaration or definition of a function.

@@ -229,7 +229,7 @@

Types

-

Declares the scope of a namespace and appends its own name to the current namespace-prefix to form a new namespace prefix. While RecordDeclarations in C++ and Java have their own namespace, namespace declarations can be declared multiple times. At the beginning of a Java-file, a namespace declaration is used to represent the package name as namespace. In its explicit appearance a namespace declaration can contain FunctionDeclaration and RecordDeclaration similar to a RecordDeclaration and the semantic difference between NamespaceDeclaration and RecordDeclaration lies in the non-instantiability of a namespace.

+

Declares the scope of a namespace and appends its own name to the current namespace-prefix to form a new namespace prefix. While RecordDeclarations in C++ and Java have their own namespace, namespace declarations can be declared multiple times. At the beginning of a Java-file, a namespace declaration is used to represent the package name as namespace. In its explicit appearance a namespace declaration can contain FunctionDeclaration and RecordDeclaration similar to a RecordDeclaration and the semantic difference between NamespaceDeclaration and RecordDeclaration lies in the non-instantiability of a namespace.

@@ -274,7 +274,7 @@

Types

-

Represents a C++ union/struct/class or Java class

+

Represents a C++ union/struct/class or Java class

@@ -319,7 +319,7 @@

Types

-

The top most declaration, representing a translation unit, for example a file.

+

The top most declaration, representing a translation unit, for example a file.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/-d-y-n-a-m-i-c_-i-n-v-o-k-e/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/-d-y-n-a-m-i-c_-i-n-v-o-k-e/index.html new file mode 100644 index 0000000000..f5044fef36 --- /dev/null +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/-d-y-n-a-m-i-c_-i-n-v-o-k-e/index.html @@ -0,0 +1,116 @@ + + + + + DYNAMIC_INVOKE + + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ +
+

DYNAMIC_INVOKE

+ +
+
+
+
+
+

Properties

+
+
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
+
+
+
+
+
+ +
+
+
+ + + diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/index.html index 8843616578..2ba6c9b96d 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.edge/-properties/index.html @@ -175,6 +175,21 @@

Entries

+ +
+
+
+ + +
Link copied to clipboard
+
+
+ +
+
+
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/callee.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/callee.html index 1d3daf70f2..674003ec87 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/callee.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/callee.html @@ -64,7 +64,7 @@

callee

-

The expression that is being "called". This is currently not yet used in the CallResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the VariableUsageResolver.

+

The expression that is being "called". This is currently not yet used in the SymbolResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the SymbolResolver.

-

The expression that is being "called". This is currently not yet used in the CallResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the VariableUsageResolver.

+

The expression that is being "called". This is currently not yet used in the SymbolResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the SymbolResolver.

@@ -369,7 +369,7 @@

Properties

-

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

+

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/invoke-edges.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/invoke-edges.html index ec6aaae5c4..2058f7d576 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/invoke-edges.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-call-expression/invoke-edges.html @@ -64,7 +64,7 @@

invokeEdges

-

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

+

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

-

The expression that is being "called". This is currently not yet used in the CallResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the VariableUsageResolver.

+

The expression that is being "called". This is currently not yet used in the SymbolResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the SymbolResolver.

@@ -294,7 +294,7 @@

Properties

@@ -414,7 +414,7 @@

Properties

-

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

+

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-constructor-call-expression/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-constructor-call-expression/index.html index c8b9888302..dfe2edb5c3 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-constructor-call-expression/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-constructor-call-expression/index.html @@ -219,7 +219,7 @@

Properties

-

The expression that is being "called". This is currently not yet used in the CallResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the VariableUsageResolver.

+

The expression that is being "called". This is currently not yet used in the SymbolResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the SymbolResolver.

@@ -384,7 +384,7 @@

Properties

-

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

+

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-member-call-expression/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-member-call-expression/index.html index eee89f69dc..247a6564e0 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-member-call-expression/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements.expressions/-member-call-expression/index.html @@ -234,7 +234,7 @@

Properties

-

The expression that is being "called". This is currently not yet used in the CallResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the VariableUsageResolver.

+

The expression that is being "called". This is currently not yet used in the SymbolResolver but will be in the future. In most cases, this is a Reference and its Reference.refersTo is intentionally left empty. It is not filled by the SymbolResolver.

@@ -384,7 +384,7 @@

Properties

-

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

+

Connection to its FunctionDeclaration. This will be populated by the CallResolver. This will have an effect on the type

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/index.html index 868b798db2..93e38697ad 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/index.html @@ -63,7 +63,7 @@
@@ -794,6 +794,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+
open override val resolutionStartNodes: List<Node>
+
+
+
+
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/resolution-start-nodes.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/resolution-start-nodes.html new file mode 100644 index 0000000000..b3c02dc8f7 --- /dev/null +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/-catch-clause/resolution-start-nodes.html @@ -0,0 +1,77 @@ + + + + + resolutionStartNodes + + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ +
+

resolutionStartNodes

+
+
open override val resolutionStartNodes: List<Node>
+
+ +
+
+
+ + + diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/index.html index 0104688f1f..04b851fc57 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.statements/index.html @@ -139,7 +139,7 @@

Types

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-auto-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-auto-type/index.html index ceaf4b0da5..75babd4ffc 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-auto-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-auto-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1383,17 +1398,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-boolean-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-boolean-type/index.html index 5b3736704d..6deb45fa35 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-boolean-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-boolean-type/index.html @@ -794,6 +794,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1458,17 +1473,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-floating-point-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-floating-point-type/index.html index d29a0f3b4e..e40fd91337 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-floating-point-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-floating-point-type/index.html @@ -794,6 +794,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1458,17 +1473,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-pointer-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-pointer-type/index.html index 0f37122c48..7f41192056 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-pointer-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-pointer-type/index.html @@ -749,6 +749,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1428,17 +1443,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-type/index.html index 57a01e6eea..6b01538608 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-function-type/index.html @@ -753,6 +753,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1432,17 +1447,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-incomplete-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-incomplete-type/index.html index 4e76423c38..8b86a5efdf 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-incomplete-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-incomplete-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1383,17 +1398,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-integer-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-integer-type/index.html index 6b82f74cf4..03957deac6 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-integer-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-integer-type/index.html @@ -794,6 +794,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1458,17 +1473,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-numeric-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-numeric-type/index.html index 19d52db14b..3f2af0f48d 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-numeric-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-numeric-type/index.html @@ -813,6 +813,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1477,17 +1492,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-object-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-object-type/index.html index a8658b0d87..3d8edc49d0 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-object-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-object-type/index.html @@ -764,6 +764,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1428,17 +1443,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-parameterized-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-parameterized-type/index.html index 8ab033006a..446363011f 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-parameterized-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-parameterized-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1383,17 +1398,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-pointer-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-pointer-type/index.html index 82c624511e..c8423c4a42 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-pointer-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-pointer-type/index.html @@ -783,6 +783,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1447,17 +1462,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-problem-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-problem-type/index.html index f6b274528b..489295f9d2 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-problem-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-problem-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1383,17 +1398,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-reference-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-reference-type/index.html index a9f52a5b03..038f94d20c 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-reference-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-reference-type/index.html @@ -734,6 +734,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1398,17 +1413,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-string-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-string-type/index.html index 158003c7e2..d23244ce74 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-string-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-string-type/index.html @@ -764,6 +764,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1428,17 +1443,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-tuple-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-tuple-type/index.html index 4f6ed49953..651dbfeb12 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-tuple-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-tuple-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1398,17 +1413,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-type/index.html index 842a41b27e..534a27888a 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-type/index.html @@ -768,6 +768,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1432,17 +1447,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-unknown-type/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-unknown-type/index.html index 2b9f3d91b2..f434291684 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-unknown-type/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/-unknown-type/index.html @@ -719,6 +719,21 @@

Properties

+ +
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
@@ -1383,17 +1398,17 @@

Functions

- +
- +
Link copied to clipboard
-
fun Type.isDerivedFrom(superType: Type): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

+
fun Type.isDerivedFrom(superType: Type, hint: HasType? = null, superHint: HasType? = null): Boolean

Checks, if this Type is either derived from or equals to superType. This is forwarded to the Language of the Type and can be overridden by the individual languages.

diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/index.html index 68bcb36c91..fb6020e3b4 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/index.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/index.html @@ -65,7 +65,7 @@

Package-level declarations

-
+

Types

@@ -386,6 +386,25 @@

Types

+
+

Properties

+
+
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
+
+
diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/record-declaration.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/record-declaration.html new file mode 100644 index 0000000000..a60596cb2c --- /dev/null +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph.types/record-declaration.html @@ -0,0 +1,77 @@ + + + + + recordDeclaration + + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ +
+

recordDeclaration

+
+ +
+ +
+
+
+ + + diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/index.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/index.html new file mode 100644 index 0000000000..e4eaaf678b --- /dev/null +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/index.html @@ -0,0 +1,101 @@ + + + + + ResolutionStartHolder + + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ +
+

ResolutionStartHolder

+

This interface needs to be implemented by Nodes in the graph, wo serve as an entry-point to resolution, so that we can follow the EOG path from these nodes and resolve all symbols accordingly in the SymbolResolver.

In some cases, the Node that implements this interface will add itself, for example in a FunctionDeclaration, so that we can use all functions as an entry-point to symbol resolution. In other cases, certain child nodes might be added to resolutionStartNodes, for example to add all top-level declarations in a TranslationUnitDeclaration.

The common denominator is that all the nodes contained in resolutionStartNodes start an EOG path, i.e,. they should have a valid Node.nextEOG, but an empty Node.prevEOG.

Inheritors

+
+
+
+
+
+

Properties

+
+
+
+
+ + +
Link copied to clipboard
+
+
+
+ +
+
+
+
+
+
+
+
+
+ +
+
+
+ + + diff --git a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.passes/-call-resolver/-call-resolver.html b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/resolution-start-nodes.html similarity index 78% rename from dokka/main/cpg-core/de.fraunhofer.aisec.cpg.passes/-call-resolver/-call-resolver.html rename to dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/resolution-start-nodes.html index e5b86e9ce5..a129ad908b 100644 --- a/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.passes/-call-resolver/-call-resolver.html +++ b/dokka/main/cpg-core/de.fraunhofer.aisec.cpg.graph/-resolution-start-holder/resolution-start-nodes.html @@ -2,7 +2,7 @@ - CallResolver + resolutionStartNodes + strategy + - - - - - - - - - - - - - + + + + + + + + + + + + +
@@ -59,12 +59,12 @@
-
- +
+
-

superTypeEdges

+

strategy

- +