Border

open class Border

For better readability: result.entries instead of result.get(0) when working with getEOGPathEdges. Can be used for all subgraphs in subgraphs, e.g. AST entries and exits in a EOG subgraph, EOG entries and exits in a CFG subgraph.

Properties

Link copied to clipboard
open val entries: List<Node>
Link copied to clipboard
open val exits: List<Node>