SPeCS Packages Documentation
Preparing search index...
@specs-feup/alpakka
alpakka/graphs/cfg/flow/FlowGraph
FlowGraph
Class
Class Class<D, S>
Type Parameters
D
extends
FlowGraph
.
Data
=
FlowGraph
.
Data
S
extends
FlowGraph
.
ScratchData
=
FlowGraph
.
ScratchData
Hierarchy (
View Summary
)
BaseGraph
.
Class
<
D
,
S
>
Class
Index
Constructors
constructor
Accessors
data
edges
functions
nodes
scratch
Data
Methods
add
Condition
add
Edge
add
Function
add
Node
add
Switch
Case
add
Try
Catch
apply
as
get
Edge
By
Id
get
Function
get
Node
get
Node
By
Id
init
is
to
Cy
to
Dot
to
Dot
File
Constructors
constructor
new
Class
<
D
extends
FlowGraph
.
Data
=
FlowGraph
.
Data
,
S
extends
FlowGraph
.
ScratchData
=
FlowGraph
.
ScratchData
,
>
(
graph
:
Core
,
_d
?:
D
,
_sd
?:
S
,
)
:
FlowGraph
.
Class
<
D
,
S
>
Type Parameters
D
extends
FlowGraph
.
Data
=
FlowGraph
.
Data
S
extends
FlowGraph
.
ScratchData
=
FlowGraph
.
ScratchData
Parameters
graph
:
Core
_d
:
D
= ...
_sd
:
S
= ...
Returns
FlowGraph
.
Class
<
D
,
S
>
Accessors
data
get
data
()
:
D
Returns
D
edges
get
edges
()
:
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
Returns
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
functions
get
functions
()
:
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
,
>
[]
Returns
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
>
[]
nodes
get
nodes
()
:
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
[]
Returns
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
[]
scratch
Data
get
scratchData
()
:
S
Returns
S
Methods
add
Condition
addCondition
(
$jp
:
IfComparison
|
IfComparisonWithZero
,
iftrue
:
FlowNode
.
Class
,
iffalse
:
FlowNode
.
Class
,
)
:
IfComparisonNode
.
Class
Parameters
$jp
:
IfComparison
|
IfComparisonWithZero
iftrue
:
FlowNode
.
Class
iffalse
:
FlowNode
.
Class
Returns
IfComparisonNode
.
Class
add
Edge
addEdge
(
source
:
BaseNode
.
Class
,
target
:
BaseNode
.
Class
,
id
?:
string
,
)
:
BaseEdge
.
Class
Parameters
source
:
BaseNode
.
Class
target
:
BaseNode
.
Class
Optional
id
:
string
Returns
BaseEdge
.
Class
add
Function
addFunction
(
$jp
:
MethodNode
,
bodyHead
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
,
bodyTail
:
InstructionNode
.
Class
<
InstructionNode
.
Data
,
InstructionNode
.
ScratchData
,
>
[]
,
)
:
[
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
,
>
,
FunctionExitNode
.
Class
<
FunctionExitNode
.
Data
,
FunctionExitNode
.
ScratchData
>
?
,
]
Parameters
$jp
:
MethodNode
bodyHead
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
bodyTail
:
InstructionNode
.
Class
<
InstructionNode
.
Data
,
InstructionNode
.
ScratchData
>
[]
Returns
[
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
,
>
,
FunctionExitNode
.
Class
<
FunctionExitNode
.
Data
,
FunctionExitNode
.
ScratchData
>
?
,
]
add
Node
addNode
(
id
?:
string
)
:
BaseNode
.
Class
Parameters
Optional
id
:
string
Returns
BaseNode
.
Class
add
Switch
Case
addSwitchCase
(
$jp
:
LabelReference
,
iftrue
:
FlowNode
.
Class
,
iffalse
:
FlowNode
.
Class
,
)
:
CaseNode
.
Class
Parameters
$jp
:
LabelReference
iftrue
:
FlowNode
.
Class
iffalse
:
FlowNode
.
Class
Returns
CaseNode
.
Class
add
Try
Catch
addTryCatch
(
$jp
:
Instruction
,
iftrue
:
FlowNode
.
Class
,
iffalse
:
FlowNode
.
Class
,
)
:
TryCatchNode
.
Class
Parameters
$jp
:
Instruction
iftrue
:
FlowNode
.
Class
iffalse
:
FlowNode
.
Class
Returns
TryCatchNode
.
Class
apply
apply
(
transformation
:
GraphTransformation
)
:
this
Parameters
transformation
:
GraphTransformation
Returns
this
as
as
<
G
extends
BaseGraph
.
Class
<
D
,
S
>
>
(
GraphType
:
GraphConstructor
<
D
,
S
,
G
>
)
:
G
Type Parameters
G
extends
BaseGraph
.
Class
<
D
,
S
>
Parameters
GraphType
:
GraphConstructor
<
D
,
S
,
G
>
Returns
G
get
Edge
By
Id
getEdgeById
(
id
:
string
,
)
:
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
|
undefined
Parameters
id
:
string
Returns
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
|
undefined
get
Function
getFunction
(
name
:
string
,
)
:
|
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
,
>
|
undefined
Parameters
name
:
string
Returns
|
FunctionEntryNode
.
Class
<
FunctionEntryNode
.
Data
,
FunctionEntryNode
.
ScratchData
,
>
|
undefined
get
Node
getNode
(
$stmt
:
string
|
Statement
,
)
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
Parameters
$stmt
:
string
|
Statement
Returns
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
get
Node
By
Id
getNodeById
(
id
:
string
,
)
:
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
|
undefined
Parameters
id
:
string
Returns
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
|
undefined
init
init
<
D2
extends
BaseGraph
.
Data
,
S2
extends
BaseGraph
.
ScratchData
>
(
builder
:
GraphBuilder
<
D2
,
S2
>
,
)
:
BaseGraph
.
Class
<
D2
,
S2
>
Type Parameters
D2
extends
BaseGraph
.
Data
S2
extends
BaseGraph
.
ScratchData
Parameters
builder
:
GraphBuilder
<
D2
,
S2
>
Returns
BaseGraph
.
Class
<
D2
,
S2
>
is
is
<
D2
extends
BaseGraph
.
Data
,
S2
extends
BaseGraph
.
ScratchData
>
(
guard
:
GraphTypeGuard
<
D2
,
S2
>
,
)
:
this
is
BaseGraph
.
Class
<
D2
,
S2
>
Type Parameters
D2
extends
BaseGraph
.
Data
S2
extends
BaseGraph
.
ScratchData
Parameters
guard
:
GraphTypeGuard
<
D2
,
S2
>
Returns
this
is
BaseGraph
.
Class
<
D2
,
S2
>
to
Cy
toCy
()
:
Core
Returns
Core
to
Dot
toDot
(
dotFormatter
:
DotFormatter
,
label
?:
string
)
:
string
Parameters
dotFormatter
:
DotFormatter
Optional
label
:
string
Returns
string
to
Dot
File
toDotFile
(
dotFormatter
:
DotFormatter
,
filename
:
string
,
label
?:
string
)
:
File
Parameters
dotFormatter
:
DotFormatter
filename
:
string
Optional
label
:
string
Returns
File
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Accessors
data
edges
functions
nodes
scratch
Data
Methods
add
Condition
add
Edge
add
Function
add
Node
add
Switch
Case
add
Try
Catch
apply
as
get
Edge
By
Id
get
Function
get
Node
get
Node
By
Id
init
is
to
Cy
to
Dot
to
Dot
File
SPeCS Packages Documentation
Loading...