diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/ConstructExpression.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/ConstructExpression.kt index a934139350..c156cc55a4 100644 --- a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/ConstructExpression.kt +++ b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/ConstructExpression.kt @@ -48,8 +48,8 @@ class ConstructExpression : CallExpression() { @PopulatedByPass(SymbolResolver::class) var constructor: ConstructorDeclaration? = null get() = - if (anoymousClass != null) { - anoymousClass?.constructors?.firstOrNull() + if (anonymousClass != null) { + anonymousClass?.constructors?.firstOrNull() } else { field } @@ -62,14 +62,14 @@ class ConstructExpression : CallExpression() { } } - @AST var anoymousClass: RecordDeclaration? = null + @AST var anonymousClass: RecordDeclaration? = null /** The [Declaration] of the type this expression instantiates. */ @PopulatedByPass(SymbolResolver::class) var instantiates: Declaration? = null get() = - if (anoymousClass != null) { - anoymousClass + if (anonymousClass != null) { + anonymousClass } else { field } diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/EvaluationOrderGraphPass.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/EvaluationOrderGraphPass.kt index ef660fde53..6f122042c1 100644 --- a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/EvaluationOrderGraphPass.kt +++ b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/EvaluationOrderGraphPass.kt @@ -739,7 +739,7 @@ open class EvaluationOrderGraphPass(ctx: TranslationContext) : TranslationUnitPa } pushToEOG(node) - if (node.anoymousClass != null) { + if (node.anonymousClass != null) { // Generate the EOG inside the anonymous class. It's not linked to the EOG of the outer // part. val tmpCurrentEOG = currentPredecessors.toMutableList() @@ -750,7 +750,7 @@ open class EvaluationOrderGraphPass(ctx: TranslationContext) : TranslationUnitPa currentPredecessors.clear() intermediateNodes.clear() - createEOG(node.anoymousClass) + createEOG(node.anonymousClass) nextEdgeProperties.clear() currentPredecessors.clear() diff --git a/cpg-language-java/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/java/ExpressionHandler.kt b/cpg-language-java/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/java/ExpressionHandler.kt index 18d6fb511d..0e316f5831 100644 --- a/cpg-language-java/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/java/ExpressionHandler.kt +++ b/cpg-language-java/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/java/ExpressionHandler.kt @@ -842,7 +842,7 @@ class ExpressionHandler(lang: JavaLanguageFrontend) : ) } anonymousRecord.addConstructor(constructorDeclaration) - ctor.anoymousClass = anonymousRecord + ctor.anonymousClass = anonymousRecord frontend.scopeManager.addDeclaration(constructorDeclaration) frontend.scopeManager.leaveScope(anonymousRecord) diff --git a/cpg-neo4j/src/main/kotlin/de/fraunhofer/aisec/cpg_vis_neo4j/Schema.kt b/cpg-neo4j/src/main/kotlin/de/fraunhofer/aisec/cpg_vis_neo4j/Schema.kt index 22e7684064..b478bf94a7 100644 --- a/cpg-neo4j/src/main/kotlin/de/fraunhofer/aisec/cpg_vis_neo4j/Schema.kt +++ b/cpg-neo4j/src/main/kotlin/de/fraunhofer/aisec/cpg_vis_neo4j/Schema.kt @@ -366,7 +366,8 @@ class Schema { } if (inheritedRels[entityLabel]?.isNotEmpty() == true) { - out.println("
Inherited Relationships") + out.println("
") + out.println("??? info \"Inherited Relationships\"") out.println() removeLabelDuplicates(inheritedRels[entityLabel])?.forEach { inherited -> var current = classInfo @@ -379,6 +380,7 @@ class Schema { } hierarchy[current]?.first?.let { current = it } } + out.print(" ") out.println( getBoxWithClass( "inherited-relationship", @@ -386,7 +388,7 @@ class Schema { ) ) } - out.println("
") + out.println("") out.println() } @@ -403,12 +405,13 @@ class Schema { out.println() } if (inheritedProperties[entityLabel]?.isNotEmpty() == true) { - out.println("
Inherited Properties") + out.println("
") + out.println("??? info \"Inherited Properties\"") removeLabelDuplicates(inheritedProperties[entityLabel])?.forEach { - out.println("${it.second} : ${it.first}") + out.println(" ${it.second} : ${it.first}") out.println() } - out.println("
") + out.println("") out.println() } } diff --git a/docs/docs/CPG/impl/passes.md b/docs/docs/CPG/impl/passes.md index a6903983f3..17239b641f 100755 --- a/docs/docs/CPG/impl/passes.md +++ b/docs/docs/CPG/impl/passes.md @@ -47,9 +47,9 @@ constructs have to be respected. For example, the `EvaluationOrderGraphPass` uses an internal handle structure. When extending this pass, it is necessary to add handlers of new Node types to -the internal handler map. If a developer needs to override an exisiting handler, +the internal handler map. If a developer needs to override an existing handler, the handle has to be implemented with the same signature to use the polymorphism -feature. Additionally the mapping of `node type -> handler` needs to be replaced +feature. Additionally, the mapping of `node type -> handler` needs to be replaced by a new entry `node type -> overridden` handler. ## Ordering Passes @@ -66,4 +66,6 @@ following annotations for the passes: * `ExecuteLast` -- The annotated pass is executed as the last pass if possible. * `RequiredFrontend(frontend: KClass)` -- The annotated pass is only executed if the frontend has been used. - +* `RequiresLanguageTrait(trait: KClass)` -- The annotated pass + is only executed if the `language` of the `TranslationUnit` which is currently studied + implements the given `trait`. diff --git a/docs/docs/CPG/specs/dfg-function-summaries.md b/docs/docs/CPG/specs/dfg-function-summaries.md index a2871cb353..d889eae224 100644 --- a/docs/docs/CPG/specs/dfg-function-summaries.md +++ b/docs/docs/CPG/specs/dfg-function-summaries.md @@ -1,6 +1,6 @@ # Specification: Data Flow Graph - Function Summaries -For functions and methods which are part of the analyzed codebase, the CPG can track data flows interprocedurally to some extent. +For functions and methods which are part of the analyzed codebase, the CPG can track data flows inter-procedurally to some extent. However, for all functions and methods which cannot be analyzed, we have no information available. For this case, we provide the user a way to specify custom summaries of the data flows through the function. To do so, you need to fill a JSON or YAML file as follows: @@ -27,84 +27,84 @@ An example of a file could look as follows: === "JSON" - ```json - [ - { - "functionDeclaration": { - "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage", - "methodName": "java.util.List.addAll", - "signature": ["int", "java.util.Object"] + ```json + [ + { + "functionDeclaration": { + "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage", + "methodName": "java.util.List.addAll", + "signature": ["int", "java.util.Object"] + }, + "dataFlows": [ + { + "from": "param1", + "to": "base", + "dfgType": "full" + } + ] }, - "dataFlows": [ - { - "from": "param1", - "to": "base", - "dfgType": "full" - } - ] - }, - { - "functionDeclaration": { - "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage", - "methodName": "java.util.List.addAll", - "signature": ["java.util.Object"] + { + "functionDeclaration": { + "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage", + "methodName": "java.util.List.addAll", + "signature": ["java.util.Object"] + }, + "dataFlows": [ + { + "from": "param0", + "to": "base", + "dfgType": "full" + } + ] }, - "dataFlows": [ - { - "from": "param0", - "to": "base", - "dfgType": "full" - } - ] - }, - { - "functionDeclaration": { - "language": "de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage", - "methodName": "memcpy" - }, - "dataFlows": [ - { - "from": "param1", - "to": "param0", - "dfgType": "full" - } - ] - } - ] - ``` + { + "functionDeclaration": { + "language": "de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage", + "methodName": "memcpy" + }, + "dataFlows": [ + { + "from": "param1", + "to": "param0", + "dfgType": "full" + } + ] + } + ] + ``` === "YAML" - ```yml - - functionDeclaration: - language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage - methodName: java.util.List.addAll - signature: - - int - - java.util.Object - dataFlows: - - from: param1 - to: base - dfgType: full - - - functionDeclaration: - language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage - methodName: java.util.List.addAll - signature: - - java.util.Object - dataFlows: - - from: param0 - to: base - dfgType: full - - - functionDeclaration: - language: de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage - methodName: memcpy - dataFlows: - - from: param1 - to: param0 - dfgType: full - ``` + ```yaml + - functionDeclaration: + language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage + methodName: java.util.List.addAll + signature: + - int + - java.util.Object + dataFlows: + - from: param1 + to: base + dfgType: full + + - functionDeclaration: + language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage + methodName: java.util.List.addAll + signature: + - java.util.Object + dataFlows: + - from: param0 + to: base + dfgType: full + + - functionDeclaration: + language: de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage + methodName: memcpy + dataFlows: + - from: param1 + to: param0 + dfgType: full + ``` This file configures the following edges: diff --git a/docs/docs/CPG/specs/dfg.md b/docs/docs/CPG/specs/dfg.md index 44f8bcfb26..8f004005ce 100755 --- a/docs/docs/CPG/specs/dfg.md +++ b/docs/docs/CPG/specs/dfg.md @@ -2,10 +2,6 @@ The Data Flow Graph (DFG) is built as edges between nodes. Each node has a set of incoming data flows (`prevDFG`) and outgoing data flows (`nextDFG`). In the following, we summarize how different types of nodes construct the respective data flows. -{:style="background:#dddddd"} -[Statement](#estatement) - -[Statement](#estatement) ## CallExpression @@ -48,7 +44,7 @@ Scheme: Interesting fields: -* `expression: Expression`: The inner expression which has to be casted +* `expression: Expression`: The inner expression which has to be cast The value of the `expression` flows to the cast expression. Scheme: @@ -73,38 +69,29 @@ For this reason, if the assignment's ast parent is not a `Block` (i.e., a block If the `lhs` consists of multiple variables (or a tuple), we try to split up the `rhs` by the index. If we can't do this, the whole `rhs` flows to all variables in `lhs`. Scheme: -```mermaid -flowchart LR - node([AssignExpression]) -.- rhs(rhs); - rhs -- DFG --> lhs; - node([AssignExpression]) -.- lhs(lhs); -``` -```mermaid -flowchart LR - node([AssignExpression]) -.- lhs(lhs); - node([AssignExpression]) -.- rhs(rhs); - rhs -- DFG --> lhs; - rhs -- DFG --> node; -``` - -```mermaid -flowchart LR - A[assignment.rhs] -- DFG --> assignment.lhs; - subgraph S[If the ast parent is not a Block] - direction LR - assignment.rhs -- DFG --> assignment; - end - A --> S; -``` - -If size of `lhs` and `rhs` is equal: -```mermaid -flowchart LR - node([AssignExpression]) -.- rhs("rhs[i]"); - rhs -- "for all i: DFG[i]" --> lhs; - node([AssignExpression]) -.- lhs("lhs[i]"); -``` +* Standard case: + ```mermaid + flowchart LR + node([AssignExpression]) -.- rhs(rhs); + rhs -- DFG --> lhs; + node([AssignExpression]) -.- lhs(lhs); + ``` +* If the assignment happens inside another statement/expression (not inside a `Block`): + ```mermaid + flowchart LR + node([AssignExpression]) -.- lhs(lhs); + node([AssignExpression]) -.- rhs(rhs); + rhs -- DFG --> lhs; + rhs -- DFG --> node; + ``` +* Since `lhs` and `rhs` can consist of multiple values, if size of `lhs` and `rhs` is equal, we actually make the DFG-edges for each indexed value: + ```mermaid + flowchart LR + node([AssignExpression]) -.- rhs("rhs[i]"); + rhs -- "for all i: DFG[i]" --> lhs; + node([AssignExpression]) -.- lhs("lhs[i]"); + ``` ### Case 2: Compound assignment (`operatorCode: *=, /=, %=, +=, -=, <<=, >>=, &=, ^=, |=` ) @@ -420,7 +407,7 @@ Scheme: returnValue -.- node; ``` ## Branching Statements -Specific statements lead to a branch in the control flow of a program. A value that influences the branching decision can lead to an implicit data flow via the branching and we therefore draw a dfg edge from the condition, to the branching node. +Specific statements lead to a branch in the control flow of a program. A value that influences the branching decision can lead to an implicit data flow via the branching, and we therefore draw a dfg edge from the condition, to the branching node. ### ForEachStatement @@ -431,7 +418,7 @@ Interesting fields: The value of the iterable flow to the `VariableDeclaration` in the `variable`. Since some languages allow arbitrary logic, we differentiate between two cases: -### Case 1. The `variable` is a `DeclarationStatement`. +#### Case 1. The `variable` is a `DeclarationStatement`. This is the case for most languages where we can have only a variable in this place (e.g., `for(e in list)`). Here, we get the declaration(s) in the statement and add the DFG from the iterable to this declaration. @@ -445,7 +432,7 @@ Scheme: iterable -- for all i: DFG --> declarations ``` -### Case 2. The `variable` is another type of `Statement`. +#### Case 2. The `variable` is another type of `Statement`. In this case, we assume that the last VariableDeclaration is the one used for looping. We add a DFG edge only to this declaration. @@ -511,7 +498,7 @@ Scheme: Interesting fields: * `condition: Statement`: The condition that is evaluated before making the branching decision -* `conditionDeclaration: Statement`: A declaration containing the condition in the initialize, used instead of the condition. +* `conditionDeclaration: Statement`: A declaration with an initializer containing the condition which can be used instead of the condition. Scheme: ```mermaid diff --git a/docs/docs/CPG/specs/eog.md b/docs/docs/CPG/specs/eog.md index d27fae5eb5..b20f26daee 100644 --- a/docs/docs/CPG/specs/eog.md +++ b/docs/docs/CPG/specs/eog.md @@ -48,7 +48,7 @@ Note that, in the following graphics we will often draw an EOG edge to an abstra The EOG path through that subtree will depend on the node types of that tree and mostly start connecting one of the AST leaf nodes. ## FunctionDeclaration -A function declaration is the start of an intra-procedural EOG and contains its end. Therefore there is no incoming or outgoing edge to `previous` or `next` eog nodes that are not in its AST subtree. The EOG connects the code body, as well as the default values of parameters if they exist. +A function declaration is the start of an intra-procedural EOG and contains its end. Therefore, there is no incoming or outgoing edge to `previous` or `next` eog nodes that are not in its AST subtree. The EOG connects the code body, as well as the default values of parameters if they exist. Interesting fields: @@ -69,7 +69,7 @@ flowchart LR ``` ## StatementHolder -StatementHolder is an interface for any node that is not a function and contains code that should be connected with an EOG. The following classes implement this interface: `NamespaceDeclaration`, `TranslationUnitDeclaration`, `RecordDeclaration` and `Block`. The Node implementing the interface is the start of one or multiple EOGs. Note that code inside such a holder can be static or non static (bound to an instance of a record). Therefore, two separate EOGs may be built. +StatementHolder is an interface for any node that is not a function and contains code that should be connected with an EOG. The following classes implement this interface: `NamespaceDeclaration`, `TranslationUnitDeclaration`, `RecordDeclaration` and `Block`. The Node implementing the interface is the start of one or multiple EOGs. Note that code inside such a holder can be static or non-static (bound to an instance of a record). Therefore, two separate EOGs may be built. Interesting fields: diff --git a/docs/docs/CPG/specs/graph.md b/docs/docs/CPG/specs/graph.md index f05b76461e..295113d9ff 100644 --- a/docs/docs/CPG/specs/graph.md +++ b/docs/docs/CPG/specs/graph.md @@ -120,23 +120,24 @@ isInferred : boolean ### Relationships [LOCALS](#StatementLOCALS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### LOCALS ```mermaid @@ -145,38 +146,39 @@ flowchart LR Statement--"LOCALS*"-->StatementLOCALS[VariableDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## AssertStatement **Labels**:[Node](#enode) @@ -186,25 +188,26 @@ isInferred : boolean ### Relationships [MESSAGE](#AssertStatementMESSAGE) [CONDITION](#AssertStatementCONDITION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### MESSAGE ```mermaid @@ -219,38 +222,39 @@ flowchart LR AssertStatement--"CONDITION¹"-->AssertStatementCONDITION[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## DoStatement **Labels**:[Node](#enode) @@ -260,25 +264,26 @@ isInferred : boolean ### Relationships [CONDITION](#DoStatementCONDITION) [STATEMENT](#DoStatementSTATEMENT) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CONDITION ```mermaid @@ -293,38 +298,39 @@ flowchart LR DoStatement--"STATEMENT¹"-->DoStatementSTATEMENT[Statement]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Expression **Labels**:[Node](#enode) @@ -357,25 +363,26 @@ isInferred : boolean ### Relationships [TYPE](#ExpressionTYPE) [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### TYPE ```mermaid @@ -390,38 +397,39 @@ flowchart LR Expression--"ASSIGNED_TYPES*"-->ExpressionASSIGNED_TYPES[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## RangeExpression **Labels**:[Node](#enode) @@ -433,29 +441,30 @@ isInferred : boolean [CEILING](#RangeExpressionCEILING) [THIRD](#RangeExpressionTHIRD) [FLOOR](#RangeExpressionFLOOR) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CEILING ```mermaid @@ -478,38 +487,39 @@ RangeExpression--"FLOOR¹"-->RangeExpressionFLOOR[Express ### Properties operatorCode : String -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## NewExpression **Labels**:[Node](#enode) @@ -520,29 +530,30 @@ isInferred : boolean ### Relationships [INITIALIZER](#NewExpressionINITIALIZER) [TEMPLATE_PARAMETERS](#NewExpressionTEMPLATE_PARAMETERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZER ```mermaid @@ -557,38 +568,39 @@ flowchart LR NewExpression--"TEMPLATE_PARAMETERS*"-->NewExpressionTEMPLATE_PARAMETERS[Node]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## LambdaExpression **Labels**:[Node](#enode) @@ -599,29 +611,30 @@ isInferred : boolean ### Relationships [MUTABLE_VARIABLES](#LambdaExpressionMUTABLE_VARIABLES) [FUNCTION](#LambdaExpressionFUNCTION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### MUTABLE_VARIABLES ```mermaid @@ -638,38 +651,39 @@ LambdaExpression--"FUNCTION¹"-->LambdaExpressionFUNCTION[Statement]:::ou ### Properties isStaticBlock : boolean -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## DistinctLanguageBlock **Labels**:[Node](#enode) @@ -834,67 +852,69 @@ isInferred : boolean [DistinctLanguageBlock](#edistinctlanguageblock) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[STATEMENTS](#BlockSTATEMENTS) + [STATEMENTS](#BlockSTATEMENTS) -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -isStaticBlock : boolean + isStaticBlock : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## CallExpression **Labels**:[Node](#enode) @@ -912,29 +932,30 @@ isInferred : boolean [TEMPLATE_INSTANTIATION](#CallExpressionTEMPLATE_INSTANTIATION) [ARGUMENTS](#CallExpressionARGUMENTS) [TEMPLATE_PARAMETERS](#CallExpressionTEMPLATE_PARAMETERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CALLEE ```mermaid @@ -969,38 +990,39 @@ CallExpression--"TEMPLATE_PARAMETERS*"-->CallExpressionTEMPLATE_PARAMETERS[Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean - +
## ConstructExpression **Labels**:[Node](#enode) @@ -1012,40 +1034,41 @@ isInferred : boolean ### Relationships [INSTANTIATES](#ConstructExpressionINSTANTIATES) [CONSTRUCTOR](#ConstructExpressionCONSTRUCTOR) -[ANOYMOUS_CLASS](#ConstructExpressionANOYMOUS_CLASS) -
Inherited Relationships +[ANONYMOUS_CLASS](#ConstructExpressionANONYMOUS_CLASS) +
+??? info "Inherited Relationships" -[CALLEE](#CallExpressionCALLEE) + [CALLEE](#CallExpressionCALLEE) -[INVOKES](#CallExpressionINVOKES) + [INVOKES](#CallExpressionINVOKES) -[TEMPLATE_INSTANTIATION](#CallExpressionTEMPLATE_INSTANTIATION) + [TEMPLATE_INSTANTIATION](#CallExpressionTEMPLATE_INSTANTIATION) -[ARGUMENTS](#CallExpressionARGUMENTS) + [ARGUMENTS](#CallExpressionARGUMENTS) -[TEMPLATE_PARAMETERS](#CallExpressionTEMPLATE_PARAMETERS) + [TEMPLATE_PARAMETERS](#CallExpressionTEMPLATE_PARAMETERS) -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INSTANTIATES ```mermaid @@ -1059,47 +1082,48 @@ flowchart LR classDef outer fill:#fff,stroke:#ddd,stroke-dasharray:5 5; classDef special fill:#afa,stroke:#5a5,stroke-dasharray:5 5; ConstructExpression--"CONSTRUCTOR¹"-->ConstructExpressionCONSTRUCTOR[ConstructorDeclaration]:::outer ``` -#### ANOYMOUS_CLASS +#### ANONYMOUS_CLASS ```mermaid flowchart LR classDef outer fill:#fff,stroke:#ddd,stroke-dasharray:5 5; classDef special fill:#afa,stroke:#5a5,stroke-dasharray:5 5; -ConstructExpression--"ANOYMOUS_CLASS¹"-->ConstructExpressionANOYMOUS_CLASS[RecordDeclaration]:::outer +ConstructExpression--"ANONYMOUS_CLASS¹"-->ConstructExpressionANONYMOUS_CLASS[RecordDeclaration]:::outer ``` ### Properties -
Inherited Properties -template : boolean +
+??? info "Inherited Properties" + template : boolean -code : String + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -
+ ## MemberCallExpression **Labels**:[Node](#enode) @@ -1109,77 +1133,79 @@ endColumn : int [MemberCallExpression](#emembercallexpression) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[CALLEE](#CallExpressionCALLEE) + [CALLEE](#CallExpressionCALLEE) -[INVOKES](#CallExpressionINVOKES) + [INVOKES](#CallExpressionINVOKES) -[TEMPLATE_INSTANTIATION](#CallExpressionTEMPLATE_INSTANTIATION) + [TEMPLATE_INSTANTIATION](#CallExpressionTEMPLATE_INSTANTIATION) -[ARGUMENTS](#CallExpressionARGUMENTS) + [ARGUMENTS](#CallExpressionARGUMENTS) -[TEMPLATE_PARAMETERS](#CallExpressionTEMPLATE_PARAMETERS) + [TEMPLATE_PARAMETERS](#CallExpressionTEMPLATE_PARAMETERS) -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties isStatic : boolean -
Inherited Properties -template : boolean +
+??? info "Inherited Properties" + template : boolean -code : String + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## NewArrayExpression **Labels**:[Node](#enode) @@ -1190,29 +1216,30 @@ isInferred : boolean ### Relationships [INITIALIZER](#NewArrayExpressionINITIALIZER) [DIMENSIONS](#NewArrayExpressionDIMENSIONS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZER ```mermaid @@ -1227,38 +1254,39 @@ flowchart LR NewArrayExpression--"DIMENSIONS*"-->NewArrayExpressionDIMENSIONS[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## KeyValueExpression **Labels**:[Node](#enode) @@ -1269,29 +1297,30 @@ isInferred : boolean ### Relationships [VALUE](#KeyValueExpressionVALUE) [KEY](#KeyValueExpressionKEY) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### VALUE ```mermaid @@ -1306,38 +1335,39 @@ flowchart LR KeyValueExpression--"KEY¹"-->KeyValueExpressionKEY[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## AssignExpression **Labels**:[Node](#enode) @@ -1349,29 +1379,30 @@ isInferred : boolean [DECLARATIONS](#AssignExpressionDECLARATIONS) [LHS](#AssignExpressionLHS) [RHS](#AssignExpressionRHS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DECLARATIONS ```mermaid @@ -1396,38 +1427,39 @@ usedAsExpression : boolean operatorCode : String -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## CastExpression **Labels**:[Node](#enode) @@ -1438,29 +1470,30 @@ isInferred : boolean ### Relationships [CAST_TYPE](#CastExpressionCAST_TYPE) [EXPRESSION](#CastExpressionEXPRESSION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CAST_TYPE ```mermaid @@ -1475,38 +1508,39 @@ flowchart LR CastExpression--"EXPRESSION¹"-->CastExpressionEXPRESSION[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## TypeExpression **Labels**:[Node](#enode) @@ -1515,63 +1549,65 @@ isInferred : boolean [TypeExpression](#etypeexpression) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Reference **Labels**:[Node](#enode) @@ -1586,29 +1622,30 @@ isInferred : boolean [REFERS_TO](#ReferenceREFERS_TO) [ALIASES](#ReferenceALIASES) [RESOLUTION_HELPER](#ReferenceRESOLUTION_HELPER) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### REFERS_TO ```mermaid @@ -1633,38 +1670,39 @@ access : AccessValues isStaticAccess : boolean -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## MemberExpression **Labels**:[Node](#enode) @@ -1675,35 +1713,36 @@ isInferred : boolean ### Relationships [BASE](#MemberExpressionBASE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[REFERS_TO](#ReferenceREFERS_TO) + [REFERS_TO](#ReferenceREFERS_TO) -[ALIASES](#ReferenceALIASES) + [ALIASES](#ReferenceALIASES) -[RESOLUTION_HELPER](#ReferenceRESOLUTION_HELPER) + [RESOLUTION_HELPER](#ReferenceRESOLUTION_HELPER) -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### BASE ```mermaid @@ -1714,42 +1753,43 @@ MemberExpression--"BASE¹"-->MemberExpressionBASE[Express ### Properties operatorCode : String -
Inherited Properties -access : AccessValues +
+??? info "Inherited Properties" + access : AccessValues -code : String + code : String -isStaticAccess : boolean + isStaticAccess : boolean -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## BinaryOperator **Labels**:[Node](#enode) @@ -1763,29 +1803,30 @@ isInferred : boolean ### Relationships [LHS](#BinaryOperatorLHS) [RHS](#BinaryOperatorRHS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### LHS ```mermaid @@ -1802,38 +1843,39 @@ BinaryOperator--"RHS¹"-->BinaryOperatorRHS[ExpressionInherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean - +
## ShortCircuitOperator **Labels**:[Node](#enode) @@ -1843,69 +1885,71 @@ isInferred : boolean [ShortCircuitOperator](#eshortcircuitoperator) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[LHS](#BinaryOperatorLHS) + [LHS](#BinaryOperatorLHS) -[RHS](#BinaryOperatorRHS) + [RHS](#BinaryOperatorRHS) -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -operatorCode : String + operatorCode : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ConditionalExpression **Labels**:[Node](#enode) @@ -1917,29 +1961,30 @@ isInferred : boolean [ELSE_EXPRESSION](#ConditionalExpressionELSE_EXPRESSION) [CONDITION](#ConditionalExpressionCONDITION) [THEN_EXPRESSION](#ConditionalExpressionTHEN_EXPRESSION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ELSE_EXPRESSION ```mermaid @@ -1960,38 +2005,39 @@ flowchart LR ConditionalExpression--"THEN_EXPRESSION¹"-->ConditionalExpressionTHEN_EXPRESSION[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## InitializerListExpression **Labels**:[Node](#enode) @@ -2001,29 +2047,30 @@ isInferred : boolean ### Relationships [INITIALIZERS](#InitializerListExpressionINITIALIZERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZERS ```mermaid @@ -2032,38 +2079,39 @@ flowchart LR InitializerListExpression--"INITIALIZERS*"-->InitializerListExpressionINITIALIZERS[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## DeleteExpression **Labels**:[Node](#enode) @@ -2073,29 +2121,30 @@ isInferred : boolean ### Relationships [OPERAND](#DeleteExpressionOPERAND) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### OPERAND ```mermaid @@ -2104,38 +2153,39 @@ flowchart LR DeleteExpression--"OPERAND¹"-->DeleteExpressionOPERAND[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## SubscriptExpression **Labels**:[Node](#enode) @@ -2146,29 +2196,30 @@ isInferred : boolean ### Relationships [ARRAY_EXPRESSION](#SubscriptExpressionARRAY_EXPRESSION) [SUBSCRIPT_EXPRESSION](#SubscriptExpressionSUBSCRIPT_EXPRESSION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ARRAY_EXPRESSION ```mermaid @@ -2183,38 +2234,39 @@ flowchart LR SubscriptExpression--"SUBSCRIPT_EXPRESSION¹"-->SubscriptExpressionSUBSCRIPT_EXPRESSION[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ProblemExpression **Labels**:[Node](#enode) @@ -2223,67 +2275,69 @@ isInferred : boolean [ProblemExpression](#eproblemexpression) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties problem : String problemType : ProblemType -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Literal **Labels**:[Node](#enode) @@ -2292,65 +2346,67 @@ isInferred : boolean [Literal](#eliteral) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties value : Object -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## TypeIdExpression **Labels**:[Node](#enode) @@ -2360,29 +2416,30 @@ isInferred : boolean ### Relationships [REFERENCED_TYPE](#TypeIdExpressionREFERENCED_TYPE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### REFERENCED_TYPE ```mermaid @@ -2393,38 +2450,39 @@ TypeIdExpression--"REFERENCED_TYPE¹"-->TypeIdExpressionREFERENCED_TYPE[Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean - +
## ExpressionList **Labels**:[Node](#enode) @@ -2434,29 +2492,30 @@ isInferred : boolean ### Relationships [SUBEXPR](#ExpressionListSUBEXPR) -
Inherited Relationships +
+??? info "Inherited Relationships" -[TYPE](#ExpressionTYPE) + [TYPE](#ExpressionTYPE) -[ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) + [ASSIGNED_TYPES](#ExpressionASSIGNED_TYPES) -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### SUBEXPR ```mermaid @@ -2465,38 +2524,39 @@ flowchart LR ExpressionList--"SUBEXPR*"-->ExpressionListSUBEXPR[Statement]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## CaseStatement **Labels**:[Node](#enode) @@ -2505,25 +2565,26 @@ isInferred : boolean ### Relationships [CASE_EXPRESSION](#CaseStatementCASE_EXPRESSION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CASE_EXPRESSION ```mermaid @@ -2532,38 +2593,39 @@ flowchart LR CaseStatement--"CASE_EXPRESSION¹"-->CaseStatementCASE_EXPRESSION[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ReturnStatement **Labels**:[Node](#enode) @@ -2572,25 +2634,26 @@ isInferred : boolean ### Relationships [RETURN_VALUES](#ReturnStatementRETURN_VALUES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### RETURN_VALUES ```mermaid @@ -2599,38 +2662,39 @@ flowchart LR ReturnStatement--"RETURN_VALUES*"-->ReturnStatementRETURN_VALUES[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## IfStatement **Labels**:[Node](#enode) @@ -2643,25 +2707,26 @@ isInferred : boolean [THEN_STATEMENT](#IfStatementTHEN_STATEMENT) [CONDITION](#IfStatementCONDITION) [ELSE_STATEMENT](#IfStatementELSE_STATEMENT) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### CONDITION_DECLARATION ```mermaid @@ -2696,38 +2761,39 @@ IfStatement--"ELSE_STATEMENT¹"-->IfStatementELSE_STATEMENT[Statement]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## CatchClause **Labels**:[Node](#enode) @@ -2832,25 +2900,26 @@ isInferred : boolean ### Relationships [BODY](#CatchClauseBODY) [PARAMETER](#CatchClausePARAMETER) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### BODY ```mermaid @@ -2865,38 +2934,39 @@ flowchart LR CatchClause--"PARAMETER¹"-->CatchClausePARAMETER[VariableDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## SwitchStatement **Labels**:[Node](#enode) @@ -2908,25 +2978,26 @@ isInferred : boolean [SELECTOR_DECLARATION](#SwitchStatementSELECTOR_DECLARATION) [STATEMENT](#SwitchStatementSTATEMENT) [SELECTOR](#SwitchStatementSELECTOR) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZER_STATEMENT ```mermaid @@ -2953,38 +3024,39 @@ flowchart LR SwitchStatement--"SELECTOR¹"-->SwitchStatementSELECTOR[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## GotoStatement **Labels**:[Node](#enode) @@ -2993,25 +3065,26 @@ isInferred : boolean ### Relationships [TARGET_LABEL](#GotoStatementTARGET_LABEL) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### TARGET_LABEL ```mermaid @@ -3022,38 +3095,39 @@ GotoStatement--"TARGET_LABEL¹"-->GotoStatementTARGET_LABEL[Statement]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ContinueStatement **Labels**:[Node](#enode) @@ -3142,61 +3218,63 @@ isInferred : boolean [ContinueStatement](#econtinuestatement) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties label : String -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## DefaultStatement **Labels**:[Node](#enode) @@ -3204,59 +3282,61 @@ isInferred : boolean [DefaultStatement](#edefaultstatement) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## SynchronizedStatement **Labels**:[Node](#enode) @@ -3266,25 +3346,26 @@ isInferred : boolean ### Relationships [EXPRESSION](#SynchronizedStatementEXPRESSION) [BLOCK](#SynchronizedStatementBLOCK) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### EXPRESSION ```mermaid @@ -3299,38 +3380,39 @@ flowchart LR SynchronizedStatement--"BLOCK¹"-->SynchronizedStatementBLOCK[Block]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## TryStatement **Labels**:[Node](#enode) @@ -3342,25 +3424,26 @@ isInferred : boolean [FINALLY_BLOCK](#TryStatementFINALLY_BLOCK) [TRY_BLOCK](#TryStatementTRY_BLOCK) [CATCH_CLAUSES](#TryStatementCATCH_CLAUSES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### RESOURCES ```mermaid @@ -3387,38 +3470,39 @@ flowchart LR TryStatement--"CATCH_CLAUSES*"-->TryStatementCATCH_CLAUSES[CatchClause]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ForEachStatement **Labels**:[Node](#enode) @@ -3429,25 +3513,26 @@ isInferred : boolean [ITERABLE](#ForEachStatementITERABLE) [STATEMENT](#ForEachStatementSTATEMENT) [VARIABLE](#ForEachStatementVARIABLE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ITERABLE ```mermaid @@ -3468,38 +3553,39 @@ flowchart LR ForEachStatement--"VARIABLE¹"-->ForEachStatementVARIABLE[Statement]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## LabelStatement **Labels**:[Node](#enode) @@ -3508,25 +3594,26 @@ isInferred : boolean ### Relationships [SUB_STATEMENT](#LabelStatementSUB_STATEMENT) -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### SUB_STATEMENT ```mermaid @@ -3537,38 +3624,39 @@ LabelStatement--"SUB_STATEMENT¹"-->LabelStatementSUB_STATEMENT[Declaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## EmptyStatement **Labels**:[Node](#enode) @@ -3705,59 +3797,61 @@ isInferred : boolean [EmptyStatement](#eemptystatement) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[LOCALS](#StatementLOCALS) + [LOCALS](#StatementLOCALS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Declaration **Labels**:[Node](#enode) @@ -3775,57 +3869,59 @@ isInferred : boolean [IncludeDeclaration](#eincludedeclaration) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ValueDeclaration **Labels**:[Node](#enode) @@ -3846,23 +3942,24 @@ isInferred : boolean [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) [USAGE](#ValueDeclarationUSAGE) [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ALIASES ```mermaid @@ -3895,38 +3992,39 @@ flowchart LR ValueDeclaration--"TYPE_OBSERVERS*"-->ValueDeclarationTYPE_OBSERVERS[Node]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## VariableDeclaration **Labels**:[Node](#enode) @@ -3941,33 +4039,34 @@ isInferred : boolean ### Relationships [INITIALIZER](#VariableDeclarationINITIALIZER) [TEMPLATE_PARAMETERS](#VariableDeclarationTEMPLATE_PARAMETERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZER ```mermaid @@ -3986,38 +4085,39 @@ isImplicitInitializerAllowed : boolean isArray : boolean -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## TupleDeclaration **Labels**:[Node](#enode) @@ -4028,37 +4128,38 @@ isInferred : boolean ### Relationships [ELEMENTS](#TupleDeclarationELEMENTS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[INITIALIZER](#VariableDeclarationINITIALIZER) + [INITIALIZER](#VariableDeclarationINITIALIZER) -[TEMPLATE_PARAMETERS](#VariableDeclarationTEMPLATE_PARAMETERS) + [TEMPLATE_PARAMETERS](#VariableDeclarationTEMPLATE_PARAMETERS) -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ELEMENTS ```mermaid @@ -4067,42 +4168,43 @@ flowchart LR TupleDeclaration--"ELEMENTS*"-->TupleDeclarationELEMENTS[VariableDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -isImplicitInitializerAllowed : boolean + isImplicitInitializerAllowed : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -isArray : boolean + isArray : boolean -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## FieldDeclaration **Labels**:[Node](#enode) @@ -4113,37 +4215,38 @@ isInferred : boolean ### Relationships [DEFINES](#FieldDeclarationDEFINES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[INITIALIZER](#VariableDeclarationINITIALIZER) + [INITIALIZER](#VariableDeclarationINITIALIZER) -[TEMPLATE_PARAMETERS](#VariableDeclarationTEMPLATE_PARAMETERS) + [TEMPLATE_PARAMETERS](#VariableDeclarationTEMPLATE_PARAMETERS) -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DEFINES ```mermaid @@ -4156,42 +4259,43 @@ modifiers : List isDefinition : boolean -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -isImplicitInitializerAllowed : boolean + isImplicitInitializerAllowed : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -isArray : boolean + isArray : boolean -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -
+ ## ProblemDeclaration **Labels**:[Node](#enode) @@ -4200,71 +4304,73 @@ endColumn : int [ProblemDeclaration](#eproblemdeclaration) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties problem : String problemType : ProblemType -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## EnumConstantDeclaration **Labels**:[Node](#enode) @@ -4274,33 +4380,34 @@ isInferred : boolean ### Relationships [INITIALIZER](#EnumConstantDeclarationINITIALIZER) -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INITIALIZER ```mermaid @@ -4309,38 +4416,39 @@ flowchart LR EnumConstantDeclaration--"INITIALIZER¹"-->EnumConstantDeclarationINITIALIZER[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## FunctionDeclaration **Labels**:[Node](#enode) @@ -4359,33 +4467,34 @@ isInferred : boolean [DEFINES](#FunctionDeclarationDEFINES) [RETURN_TYPES](#FunctionDeclarationRETURN_TYPES) [PARAMETERS](#FunctionDeclarationPARAMETERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### THROWS_TYPES ```mermaid @@ -4432,38 +4541,39 @@ FunctionDeclaration--"PARAMETERS*"-->FunctionDeclarationPARAMETERS[Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -isDefinition : boolean + isDefinition : boolean -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int - +
## ConstructorDeclaration **Labels**:[Node](#enode) @@ -4579,89 +4691,91 @@ endColumn : int [ConstructorDeclaration](#econstructordeclaration) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[RECORD_DECLARATION](#MethodDeclarationRECORD_DECLARATION) + [RECORD_DECLARATION](#MethodDeclarationRECORD_DECLARATION) -[RECEIVER](#MethodDeclarationRECEIVER) + [RECEIVER](#MethodDeclarationRECEIVER) -[THROWS_TYPES](#FunctionDeclarationTHROWS_TYPES) + [THROWS_TYPES](#FunctionDeclarationTHROWS_TYPES) -[OVERRIDES](#FunctionDeclarationOVERRIDES) + [OVERRIDES](#FunctionDeclarationOVERRIDES) -[BODY](#FunctionDeclarationBODY) + [BODY](#FunctionDeclarationBODY) -[RECORDS](#FunctionDeclarationRECORDS) + [RECORDS](#FunctionDeclarationRECORDS) -[DEFINES](#FunctionDeclarationDEFINES) + [DEFINES](#FunctionDeclarationDEFINES) -[RETURN_TYPES](#FunctionDeclarationRETURN_TYPES) + [RETURN_TYPES](#FunctionDeclarationRETURN_TYPES) -[PARAMETERS](#FunctionDeclarationPARAMETERS) + [PARAMETERS](#FunctionDeclarationPARAMETERS) -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -isStatic : boolean +
+??? info "Inherited Properties" + isStatic : boolean -code : String + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -isDefinition : boolean + isDefinition : boolean -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -
+ ## TypeParameterDeclaration **Labels**:[Node](#enode) @@ -4671,33 +4785,34 @@ endColumn : int ### Relationships [DEFAULT](#TypeParameterDeclarationDEFAULT) -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DEFAULT ```mermaid @@ -4706,38 +4821,39 @@ flowchart LR TypeParameterDeclaration--"DEFAULT¹"-->TypeParameterDeclarationDEFAULT[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## ParameterDeclaration **Labels**:[Node](#enode) @@ -4747,33 +4863,34 @@ isInferred : boolean ### Relationships [DEFAULT](#ParameterDeclarationDEFAULT) -
Inherited Relationships +
+??? info "Inherited Relationships" -[ALIASES](#ValueDeclarationALIASES) + [ALIASES](#ValueDeclarationALIASES) -[TYPE](#ValueDeclarationTYPE) + [TYPE](#ValueDeclarationTYPE) -[ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) + [ASSIGNED_TYPES](#ValueDeclarationASSIGNED_TYPES) -[USAGE](#ValueDeclarationUSAGE) + [USAGE](#ValueDeclarationUSAGE) -[TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) + [TYPE_OBSERVERS](#ValueDeclarationTYPE_OBSERVERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DEFAULT ```mermaid @@ -4784,38 +4901,39 @@ ParameterDeclaration--"DEFAULT¹"-->ParameterDeclarationDEFAULT[Declaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## RecordTemplateDeclaration **Labels**:[Node](#enode) @@ -4894,25 +5014,26 @@ isInferred : boolean ### Relationships [REALIZATION](#RecordTemplateDeclarationREALIZATION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[PARAMETERS](#TemplateDeclarationPARAMETERS) + [PARAMETERS](#TemplateDeclarationPARAMETERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### REALIZATION ```mermaid @@ -4921,38 +5042,39 @@ flowchart LR RecordTemplateDeclaration--"REALIZATION*"-->RecordTemplateDeclarationREALIZATION[RecordDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## FunctionTemplateDeclaration **Labels**:[Node](#enode) @@ -4962,25 +5084,26 @@ isInferred : boolean ### Relationships [REALIZATION](#FunctionTemplateDeclarationREALIZATION) -
Inherited Relationships +
+??? info "Inherited Relationships" -[PARAMETERS](#TemplateDeclarationPARAMETERS) + [PARAMETERS](#TemplateDeclarationPARAMETERS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### REALIZATION ```mermaid @@ -4989,38 +5112,39 @@ flowchart LR FunctionTemplateDeclaration--"REALIZATION*"-->FunctionTemplateDeclarationREALIZATION[FunctionDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## RecordDeclaration **Labels**:[Node](#enode) @@ -5040,23 +5164,24 @@ isInferred : boolean [SUPER_TYPE_DECLARATIONS](#RecordDeclarationSUPER_TYPE_DECLARATIONS) [STATEMENTS](#RecordDeclarationSTATEMENTS) [METHODS](#RecordDeclarationMETHODS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### IMPORTS ```mermaid @@ -5119,38 +5244,39 @@ importStatements : List staticImportStatements : List -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -
+ ## EnumDeclaration **Labels**:[Node](#enode) @@ -5160,41 +5286,42 @@ endColumn : int ### Relationships [ENTRIES](#EnumDeclarationENTRIES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[IMPORTS](#RecordDeclarationIMPORTS) + [IMPORTS](#RecordDeclarationIMPORTS) -[CONSTRUCTORS](#RecordDeclarationCONSTRUCTORS) + [CONSTRUCTORS](#RecordDeclarationCONSTRUCTORS) -[FIELDS](#RecordDeclarationFIELDS) + [FIELDS](#RecordDeclarationFIELDS) -[TEMPLATES](#RecordDeclarationTEMPLATES) + [TEMPLATES](#RecordDeclarationTEMPLATES) -[STATIC_IMPORTS](#RecordDeclarationSTATIC_IMPORTS) + [STATIC_IMPORTS](#RecordDeclarationSTATIC_IMPORTS) -[RECORDS](#RecordDeclarationRECORDS) + [RECORDS](#RecordDeclarationRECORDS) -[SUPER_TYPE_DECLARATIONS](#RecordDeclarationSUPER_TYPE_DECLARATIONS) + [SUPER_TYPE_DECLARATIONS](#RecordDeclarationSUPER_TYPE_DECLARATIONS) -[STATEMENTS](#RecordDeclarationSTATEMENTS) + [STATEMENTS](#RecordDeclarationSTATEMENTS) -[METHODS](#RecordDeclarationMETHODS) + [METHODS](#RecordDeclarationMETHODS) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ENTRIES ```mermaid @@ -5203,44 +5330,45 @@ flowchart LR EnumDeclaration--"ENTRIES*"-->EnumDeclarationENTRIES[EnumConstantDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -file : String + file : String -isInferred : boolean + isInferred : boolean -kind : String + kind : String -argumentIndex : int + argumentIndex : int -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -importStatements : List + importStatements : List -staticImportStatements : List + staticImportStatements : List -
+ ## TypedefDeclaration **Labels**:[Node](#enode) @@ -5250,23 +5378,24 @@ staticImportStatements : List ### Relationships [TYPE](#TypedefDeclarationTYPE) [ALIAS](#TypedefDeclarationALIAS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### TYPE ```mermaid @@ -5281,38 +5410,39 @@ flowchart LR TypedefDeclaration--"ALIAS¹"-->TypedefDeclarationALIAS[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## NamespaceDeclaration **Labels**:[Node](#enode) @@ -5322,23 +5452,24 @@ isInferred : boolean ### Relationships [DECLARATIONS](#NamespaceDeclarationDECLARATIONS) [STATEMENTS](#NamespaceDeclarationSTATEMENTS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DECLARATIONS ```mermaid @@ -5355,38 +5486,39 @@ NamespaceDeclaration--"STATEMENTS*"-->NamespaceDeclarationSTATEMENTS[Declaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## TranslationUnitDeclaration **Labels**:[Node](#enode) @@ -5463,23 +5597,24 @@ isInferred : boolean [NAMESPACES](#TranslationUnitDeclarationNAMESPACES) [STATEMENTS](#TranslationUnitDeclarationSTATEMENTS) [INCLUDES](#TranslationUnitDeclarationINCLUDES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### DECLARATIONS ```mermaid @@ -5506,38 +5641,39 @@ flowchart LR TranslationUnitDeclaration--"INCLUDES*"-->TranslationUnitDeclarationINCLUDES[IncludeDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## UsingDeclaration **Labels**:[Node](#enode) @@ -5545,59 +5681,61 @@ isInferred : boolean [UsingDeclaration](#eusingdeclaration) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties qualifiedName : String -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## IncludeDeclaration **Labels**:[Node](#enode) @@ -5607,23 +5745,24 @@ isInferred : boolean ### Relationships [INCLUDES](#IncludeDeclarationINCLUDES) [PROBLEMS](#IncludeDeclarationPROBLEMS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INCLUDES ```mermaid @@ -5640,38 +5779,39 @@ IncludeDeclaration--"PROBLEMS*"-->IncludeDeclarationPROBLEMS[RecordDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## NumericType **Labels**:[Node](#enode) @@ -5976,71 +6124,73 @@ typeOrigin : Origin [BooleanType](#ebooleantype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[GENERICS](#ObjectTypeGENERICS) + [GENERICS](#ObjectTypeGENERICS) -[RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) + [RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties modifier : Modifier bitWidth : Integer -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## IntegerType **Labels**:[Node](#enode) @@ -6050,71 +6200,73 @@ typeOrigin : Origin [IntegerType](#eintegertype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[GENERICS](#ObjectTypeGENERICS) + [GENERICS](#ObjectTypeGENERICS) -[RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) + [RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -modifier : Modifier + modifier : Modifier -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -bitWidth : Integer + bitWidth : Integer -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## FloatingPointType **Labels**:[Node](#enode) @@ -6124,71 +6276,73 @@ typeOrigin : Origin [FloatingPointType](#efloatingpointtype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[GENERICS](#ObjectTypeGENERICS) + [GENERICS](#ObjectTypeGENERICS) -[RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) + [RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -modifier : Modifier + modifier : Modifier -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -bitWidth : Integer + bitWidth : Integer -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## BooleanType **Labels**:[Node](#enode) @@ -6198,71 +6352,73 @@ typeOrigin : Origin [BooleanType](#ebooleantype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[GENERICS](#ObjectTypeGENERICS) + [GENERICS](#ObjectTypeGENERICS) -[RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) + [RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -modifier : Modifier + modifier : Modifier -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -bitWidth : Integer + bitWidth : Integer -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## StringType **Labels**:[Node](#enode) @@ -6271,67 +6427,69 @@ typeOrigin : Origin [StringType](#estringtype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[GENERICS](#ObjectTypeGENERICS) + [GENERICS](#ObjectTypeGENERICS) -[RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) + [RECORD_DECLARATION](#ObjectTypeRECORD_DECLARATION) -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## ParameterizedType **Labels**:[Node](#enode) @@ -6339,63 +6497,65 @@ typeOrigin : Origin [ParameterizedType](#eparameterizedtype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## PointerType **Labels**:[Node](#enode) @@ -6404,25 +6564,26 @@ typeOrigin : Origin ### Relationships [ELEMENT_TYPE](#PointerTypeELEMENT_TYPE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ELEMENT_TYPE ```mermaid @@ -6433,42 +6594,43 @@ PointerType--"ELEMENT_TYPE¹"-->PointerTypeELEMENT_TYPE[TypeInherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin - +
## AutoType **Labels**:[Node](#enode) @@ -6476,63 +6638,65 @@ typeOrigin : Origin [AutoType](#eautotype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## FunctionPointerType **Labels**:[Node](#enode) @@ -6542,25 +6706,26 @@ typeOrigin : Origin ### Relationships [PARAMETERS](#FunctionPointerTypePARAMETERS) [RETURN_TYPE](#FunctionPointerTypeRETURN_TYPE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### PARAMETERS ```mermaid @@ -6575,42 +6740,43 @@ flowchart LR FunctionPointerType--"RETURN_TYPE¹"-->FunctionPointerTypeRETURN_TYPE[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## TupleType **Labels**:[Node](#enode) @@ -6619,25 +6785,26 @@ typeOrigin : Origin ### Relationships [TYPES](#TupleTypeTYPES) -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### TYPES ```mermaid @@ -6646,42 +6813,43 @@ flowchart LR TupleType--"TYPES*"-->TupleTypeTYPES[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## IncompleteType **Labels**:[Node](#enode) @@ -6689,63 +6857,65 @@ typeOrigin : Origin [IncompleteType](#eincompletetype) ### Relationships -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## ReferenceType **Labels**:[Node](#enode) @@ -6754,25 +6924,26 @@ typeOrigin : Origin ### Relationships [ELEMENT_TYPE](#ReferenceTypeELEMENT_TYPE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### ELEMENT_TYPE ```mermaid @@ -6781,42 +6952,43 @@ flowchart LR ReferenceType--"ELEMENT_TYPE¹"-->ReferenceTypeELEMENT_TYPE[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## FunctionType **Labels**:[Node](#enode) @@ -6826,25 +6998,26 @@ typeOrigin : Origin ### Relationships [RETURN_TYPES](#FunctionTypeRETURN_TYPES) [PARAMETERS](#FunctionTypePARAMETERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[SUPER_TYPE](#TypeSUPER_TYPE) + [SUPER_TYPE](#TypeSUPER_TYPE) -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### RETURN_TYPES ```mermaid @@ -6859,42 +7032,43 @@ flowchart LR FunctionType--"PARAMETERS*"-->FunctionTypePARAMETERS[Type]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isPrimitive : boolean + isPrimitive : boolean -isInferred : boolean + isInferred : boolean -typeOrigin : Origin + typeOrigin : Origin -
+ ## AnnotationMember **Labels**:[Node](#enode) @@ -6902,23 +7076,24 @@ typeOrigin : Origin ### Relationships [VALUE](#AnnotationMemberVALUE) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### VALUE ```mermaid @@ -6927,38 +7102,39 @@ flowchart LR AnnotationMember--"VALUE¹"-->AnnotationMemberVALUE[Expression]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Component **Labels**:[Node](#enode) @@ -6968,23 +7144,24 @@ isInferred : boolean [INCOMING_INTERACTIONS](#ComponentINCOMING_INTERACTIONS) [OUTGOING_INTERACTIONS](#ComponentOUTGOING_INTERACTIONS) [TRANSLATION_UNITS](#ComponentTRANSLATION_UNITS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### INCOMING_INTERACTIONS ```mermaid @@ -7005,38 +7182,39 @@ flowchart LR Component--"TRANSLATION_UNITS*"-->ComponentTRANSLATION_UNITS[TranslationUnitDeclaration]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ ## Annotation **Labels**:[Node](#enode) @@ -7044,23 +7222,24 @@ isInferred : boolean ### Relationships [MEMBERS](#AnnotationMEMBERS) -
Inherited Relationships +
+??? info "Inherited Relationships" -[EOG](#NodeEOG) + [EOG](#NodeEOG) -[CDG](#NodeCDG) + [CDG](#NodeCDG) -[DFG](#NodeDFG) + [DFG](#NodeDFG) -[ANNOTATIONS](#NodeANNOTATIONS) + [ANNOTATIONS](#NodeANNOTATIONS) -[PDG](#NodePDG) + [PDG](#NodePDG) -[AST](#NodeAST) + [AST](#NodeAST) -[SCOPE](#NodeSCOPE) + [SCOPE](#NodeSCOPE) -
+ #### MEMBERS ```mermaid @@ -7069,36 +7248,37 @@ flowchart LR Annotation--"MEMBERS*"-->AnnotationMEMBERS[AnnotationMember]:::outer ``` ### Properties -
Inherited Properties -code : String +
+??? info "Inherited Properties" + code : String -argumentIndex : int + argumentIndex : int -file : String + file : String -isImplicit : boolean + isImplicit : boolean -fullName : String + fullName : String -localName : String + localName : String -name : String + name : String -nameDelimiter : String + nameDelimiter : String -comment : String + comment : String -artifact : String + artifact : String -startLine : int + startLine : int -endLine : int + endLine : int -startColumn : int + startColumn : int -endColumn : int + endColumn : int -isInferred : boolean + isInferred : boolean -
+ diff --git a/docs/docs/GettingStarted/index.md b/docs/docs/GettingStarted/index.md index 8185da075f..028372010d 100644 --- a/docs/docs/GettingStarted/index.md +++ b/docs/docs/GettingStarted/index.md @@ -5,7 +5,7 @@ no_list: true weight: 2 date: 2020-01-30 description: > - In CLI mode, Codyze integrates into scripts and automated build processes. + Using the CPG library --- diff --git a/docs/docs/GettingStarted/installation.md b/docs/docs/GettingStarted/installation.md index ed0e189a88..f5f9321274 100755 --- a/docs/docs/GettingStarted/installation.md +++ b/docs/docs/GettingStarted/installation.md @@ -14,7 +14,7 @@ code. ## Get Pre-Built Releases -You can find the releases in our [github +You can find the releases in our [gitHub repository](https://github.com/Fraunhofer-AISEC/cpg/releases) or on [maven](https://mvnrepository.com/artifact/de.fraunhofer.aisec/cpg). @@ -22,7 +22,7 @@ repository](https://github.com/Fraunhofer-AISEC/cpg/releases) or on 1. Clone the repository from GitHub with `git clone git@github.com:Fraunhofer-AISEC/cpg.git`. 2. Generate a `gradle.properties` file locally. We provide a sample file - [here](https://github.com/Fraunhofer-AISEC/cpg/blob/main/gradle.properties.example) + [here](https://github.com/Fraunhofer-AISEC/cpg/blob/main/gradle.properties.example), or you can use the `configure_frontends.sh` scripts to generate the file. 3. Build the project using `./gradlew build` or install it with `./gradlew installDist`. You could also build selected submodules. diff --git a/docs/docs/GettingStarted/query.md b/docs/docs/GettingStarted/query.md index 361e78b760..6c94571b9a 100755 --- a/docs/docs/GettingStarted/query.md +++ b/docs/docs/GettingStarted/query.md @@ -164,7 +164,7 @@ val queryTreeResult = ) ``` -Less detailled: +Less detailed: ```kotlin val queryTreeResult = result.all( diff --git a/docs/docs/GettingStarted/shortcuts.md b/docs/docs/GettingStarted/shortcuts.md index 3bfc3448d3..6875de5ff8 100644 --- a/docs/docs/GettingStarted/shortcuts.md +++ b/docs/docs/GettingStarted/shortcuts.md @@ -65,10 +65,10 @@ var a = result.variables["a"] // returns the only variable with the name "a" or an exception otherwise var theOnlyA = result.variables["a", SearchModifiers.UNIQUE] -// returns the first variable in the graph which does have an initialiser +// returns the first variable in the graph which does have an initializer var anyWithInitializer = result.variables[{ it.initializer != null }] -// returns the only variable in the graph which does not have an initialiser or throws an exception +// returns the only variable in the graph which does not have an initializer or throws an exception var uniqueWithInitializer = result.variables[{ it.initializer != null }, SearchModifiers.UNIQUE] // returns a list of all VariableDeclarations in the graph with the name "a" diff --git a/docs/docs/index.md b/docs/docs/index.md index 2c11bd716a..2b22324235 100755 --- a/docs/docs/index.md +++ b/docs/docs/index.md @@ -42,6 +42,7 @@ programming language. * Python * TypeScript * LLVM-IR + * Ruby Nothing suitable found? [Write your own language frontend](./CPG/impl/language.md) for the respective language. diff --git a/docs/docs/stylesheets/extra.css b/docs/docs/stylesheets/extra.css index b9f34e4eb6..84a79d5e11 100755 --- a/docs/docs/stylesheets/extra.css +++ b/docs/docs/stylesheets/extra.css @@ -80,6 +80,20 @@ body { margin: 0; } +.md-typeset .tabbed-set { + border: 1px solid #c7cacc; + border-bottom: none; + border-top: none; + padding-right: 0.8rem; + padding-left: 0.8rem; + padding-bottom: 0.8rem; + margin: 0; +} +.md-typeset .tabbed-set .tabbed-content, +.md-typeset .tabbed-set .tabbed-block { + border: none; +} + .md-typeset div.papers { border: 1px solid #c7cacc; border-bottom: none; @@ -180,6 +194,9 @@ body { border-top: none; border-bottom: none; } +.md-typeset li>.mermaid { + border: none; +} .md-typeset .child { background: #dddddd; @@ -231,6 +248,10 @@ body { border: none; } +[dir="ltr"] .md-typeset ul>li>ul { + border: none; +} + .md-typeset .empty { height: 5em; } @@ -274,6 +295,24 @@ body { margin-bottom: 1px; } + +.md-typeset .info { + background-color: var(--fraunhofer-blue-medium); + border-color: var(--fraunhofer-blue); +} +.md-typeset .info summary { + background-color: var(--fraunhofer-blue); +} + +.md-typeset .info > summary::before { + background-color: #FFFFFF; + color: #FFFFFF; +} + +.md-typeset .info p{ + border: none; +} + .md-typeset details>.admonition-title::before, .md-typeset details>summary::before { background-color: #FFFFFF; diff --git a/docs/mkdocs.yaml b/docs/mkdocs.yaml index 1464c2678f..b6a535732d 100755 --- a/docs/mkdocs.yaml +++ b/docs/mkdocs.yaml @@ -27,7 +27,7 @@ theme: language: en features: - content.code.annotate - # - content.tabs.link + - content.tabs.link - content.tooltips # - header.autohide # - navigation.expand @@ -142,6 +142,7 @@ markdown_extensions: - name: mermaid class: mermaid format: !!python/name:pymdownx.superfences.fence_code_format + - pymdownx.superfences - pymdownx.tabbed: alternate_style: true - pymdownx.tasklist: