Border

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.

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
Link copied to clipboard