-
Notifications
You must be signed in to change notification settings - Fork 62
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploying to gh-pages from @ c98539c 🚀
- Loading branch information
Showing
4,225 changed files
with
880,606 additions
and
0 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
77 changes: 77 additions & 0 deletions
77
...s/de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/-d-f-a-order-evaluator.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,77 @@ | ||
| <!doctype html> | ||
| <html class="no-js"> | ||
| <head> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8"> | ||
| <title>DFAOrderEvaluator</title> | ||
| <link href="../../../images/logo-icon.svg" rel="icon" type="image/svg"> <script>var pathToRoot = "../../../";</script> | ||
| <script>document.documentElement.classList.replace("no-js","js");</script> | ||
| <script>const storage = localStorage.getItem("dokka-dark-mode") | ||
| if (storage == null) { | ||
| const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches | ||
| if (osDarkSchemePreferred === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } else { | ||
| const savedDarkMode = JSON.parse(storage) | ||
| if(savedDarkMode === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } | ||
| </script> | ||
| <script type="text/javascript" src="https://unpkg.com/kotlin-playground@1/dist/playground.min.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async></script> | ||
| <link href="../../../styles/style.css" rel="Stylesheet"> | ||
| <link href="../../../styles/main.css" rel="Stylesheet"> | ||
| <link href="../../../styles/prism.css" rel="Stylesheet"> | ||
| <link href="../../../styles/logo-styles.css" rel="Stylesheet"> | ||
| <link href="../../../styles/font-jb-sans-auto.css" rel="Stylesheet"> | ||
| <script type="text/javascript" src="../../../scripts/clipboard.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/navigation-loader.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/platform-content-handler.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/main.js" defer></script> | ||
| <script type="text/javascript" src="../../../scripts/prism.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer></script> | ||
| <link href="../../../styles/multimodule.css" rel="Stylesheet"></head> | ||
| <body> | ||
| <div class="root"> | ||
| <nav class="navigation" id="navigation-wrapper"> | ||
| <div class="navigation--inner"> | ||
| <div class="navigation-title"> | ||
| <button class="menu-toggle" id="menu-toggle" type="button">toggle menu</button> | ||
| <div class="library-name"> | ||
| <a class="library-name--link" href="../../../index.html"> | ||
| cpg | ||
| </a> </div> | ||
| <div class="library-version"> | ||
| <dokka-template-command data="{"@class":"org.jetbrains.dokka.base.templating.ReplaceVersionsCommand","location":"de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/-d-f-a-order-evaluator.html"}">main</dokka-template-command> </div> | ||
| </div> | ||
| <div class="filter-section" id="filter-section"> | ||
| <button class="platform-tag platform-selector jvm-like" data-active="" data-filter=":cpg-analysis:dokkaHtmlPartial/main">jvm</button> | ||
| </div> | ||
| </div> | ||
| <div class="navigation-controls"> | ||
| <button class="navigation-controls--btn navigation-controls--theme" id="theme-toggle-button" type="button">switch theme</button> | ||
| <div class="navigation-controls--btn navigation-controls--search" id="searchBar" role="button">search in API</div> | ||
| </div> | ||
| </nav> | ||
| <div id="container"> | ||
| <div class="sidebar" id="leftColumn"> | ||
| <div class="sidebar--inner" id="sideMenu"></div> | ||
| </div> | ||
| <div id="main"> | ||
| <div class="main-content" data-page-type="member" id="content" pageids="cpg-analysis::de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/DFAOrderEvaluator/#de.fraunhofer.aisec.cpg.analysis.fsm.DFA#kotlin.collections.Set[de.fraunhofer.aisec.cpg.graph.Node]#kotlin.collections.Map[de.fraunhofer.aisec.cpg.graph.Node,kotlin.collections.Set[kotlin.String]]#kotlin.collections.Set[de.fraunhofer.aisec.cpg.graph.Node]#kotlin.collections.Map[de.fraunhofer.aisec.cpg.graph.Node,kotlin.Int]#kotlin.Boolean/PointingToDeclaration//439033401"> | ||
| <div class="breadcrumbs"><a href="../../index.html">cpg-analysis</a><span class="delimiter">/</span><a href="../index.html">de.fraunhofer.aisec.cpg.analysis.fsm</a><span class="delimiter">/</span><a href="index.html">DFAOrderEvaluator</a><span class="delimiter">/</span><span class="current">DFAOrderEvaluator</span></div> | ||
| <div class="cover "> | ||
| <h1 class="cover"><span>DFAOrder</span><wbr><span><span>Evaluator</span></span></h1> | ||
| </div> | ||
| <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":cpg-analysis:dokkaHtmlPartial/main"><div class="symbol monospace"><span class="token keyword">constructor</span><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">dfa<span class="token operator">: </span><a href="../-d-f-a/index.html">DFA</a><span class="token punctuation">, </span></span><span class="parameter ">consideredBases<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token operator">></span><span class="token punctuation">, </span></span><span class="parameter ">nodeToRelevantMethod<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-map/index.html">Map</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token punctuation">, </span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-string/index.html">String</a><span class="token operator">></span><span class="token operator">></span><span class="token punctuation">, </span></span><span class="parameter ">consideredResetNodes<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token operator">></span><span class="token operator"> = </span>emptySet()<span class="token punctuation">, </span></span><span class="parameter ">thisPositionOfNode<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-map/index.html">Map</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token punctuation">, </span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-int/index.html">Int</a><span class="token operator">></span><span class="token operator"> = </span>mapOf()<span class="token punctuation">, </span></span><span class="parameter ">eliminateUnreachableCode<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-boolean/index.html">Boolean</a><span class="token operator"> = </span><span class="token boolean">true</span></span></span><span class="token punctuation">)</span></div></div></div> | ||
| </div> | ||
| <div class="footer"> | ||
| <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2024 Copyright</span><span class="pull-right"><span>Generated by </span><a href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> | ||
|
|
77 changes: 77 additions & 0 deletions
77
...raunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-accepting-termination.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,77 @@ | ||
| <!doctype html> | ||
| <html class="no-js"> | ||
| <head> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8"> | ||
| <title>actionAcceptingTermination</title> | ||
| <link href="../../../images/logo-icon.svg" rel="icon" type="image/svg"> <script>var pathToRoot = "../../../";</script> | ||
| <script>document.documentElement.classList.replace("no-js","js");</script> | ||
| <script>const storage = localStorage.getItem("dokka-dark-mode") | ||
| if (storage == null) { | ||
| const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches | ||
| if (osDarkSchemePreferred === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } else { | ||
| const savedDarkMode = JSON.parse(storage) | ||
| if(savedDarkMode === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } | ||
| </script> | ||
| <script type="text/javascript" src="https://unpkg.com/kotlin-playground@1/dist/playground.min.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async></script> | ||
| <link href="../../../styles/style.css" rel="Stylesheet"> | ||
| <link href="../../../styles/main.css" rel="Stylesheet"> | ||
| <link href="../../../styles/prism.css" rel="Stylesheet"> | ||
| <link href="../../../styles/logo-styles.css" rel="Stylesheet"> | ||
| <link href="../../../styles/font-jb-sans-auto.css" rel="Stylesheet"> | ||
| <script type="text/javascript" src="../../../scripts/clipboard.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/navigation-loader.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/platform-content-handler.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/main.js" defer></script> | ||
| <script type="text/javascript" src="../../../scripts/prism.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer></script> | ||
| <link href="../../../styles/multimodule.css" rel="Stylesheet"></head> | ||
| <body> | ||
| <div class="root"> | ||
| <nav class="navigation" id="navigation-wrapper"> | ||
| <div class="navigation--inner"> | ||
| <div class="navigation-title"> | ||
| <button class="menu-toggle" id="menu-toggle" type="button">toggle menu</button> | ||
| <div class="library-name"> | ||
| <a class="library-name--link" href="../../../index.html"> | ||
| cpg | ||
| </a> </div> | ||
| <div class="library-version"> | ||
| <dokka-template-command data="{"@class":"org.jetbrains.dokka.base.templating.ReplaceVersionsCommand","location":"de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-accepting-termination.html"}">main</dokka-template-command> </div> | ||
| </div> | ||
| <div class="filter-section" id="filter-section"> | ||
| <button class="platform-tag platform-selector jvm-like" data-active="" data-filter=":cpg-analysis:dokkaHtmlPartial/main">jvm</button> | ||
| </div> | ||
| </div> | ||
| <div class="navigation-controls"> | ||
| <button class="navigation-controls--btn navigation-controls--theme" id="theme-toggle-button" type="button">switch theme</button> | ||
| <div class="navigation-controls--btn navigation-controls--search" id="searchBar" role="button">search in API</div> | ||
| </div> | ||
| </nav> | ||
| <div id="container"> | ||
| <div class="sidebar" id="leftColumn"> | ||
| <div class="sidebar--inner" id="sideMenu"></div> | ||
| </div> | ||
| <div id="main"> | ||
| <div class="main-content" data-page-type="member" id="content" pageids="cpg-analysis::de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/actionAcceptingTermination/#kotlin.String#de.fraunhofer.aisec.cpg.analysis.fsm.DFA#kotlin.Boolean/PointingToDeclaration//439033401"> | ||
| <div class="breadcrumbs"><a href="../../index.html">cpg-analysis</a><span class="delimiter">/</span><a href="../index.html">de.fraunhofer.aisec.cpg.analysis.fsm</a><span class="delimiter">/</span><a href="index.html">DFAOrderEvaluator</a><span class="delimiter">/</span><span class="current">actionAcceptingTermination</span></div> | ||
| <div class="cover "> | ||
| <h1 class="cover"><span>action</span><wbr><span>Accepting</span><wbr><span><span>Termination</span></span></h1> | ||
| </div> | ||
| <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":cpg-analysis:dokkaHtmlPartial/main"><div class="symbol monospace"><span class="token keyword">open </span><span class="token keyword"></span><span class="token keyword">fun </span><a href="action-accepting-termination.html"><span class="token function">actionAcceptingTermination</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">base<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-string/index.html">String</a><span class="token punctuation">, </span></span><span class="parameter ">fsm<span class="token operator">: </span><a href="../-d-f-a/index.html">DFA</a><span class="token punctuation">, </span></span><span class="parameter ">interproceduralFlow<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-boolean/index.html">Boolean</a></span></span><span class="token punctuation">)</span></div><p class="paragraph">Contains the functionality which is executed if the DFA terminated in an accepting state for the given <a href="action-accepting-termination.html">base</a>. This means that all required statements have been executed for <a href="action-accepting-termination.html">base</a> so far. The <a href="action-accepting-termination.html">fsm</a> holds the execution trace found by the analysis.</p></div></div> | ||
| </div> | ||
| <div class="footer"> | ||
| <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2024 Copyright</span><span class="pull-right"><span>Generated by </span><a href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> | ||
|
|
Oops, something went wrong.