SPeCS Packages Documentation
Preparing search index...
@specs-feup/alpakka
alpakka/graphs/cfg/flow/node/instruction/StatementNode
StatementNode
Class
Class Class<D, S>
Type Parameters
D
extends
StatementNode
.
Data
=
StatementNode
.
Data
S
extends
StatementNode
.
ScratchData
=
StatementNode
.
ScratchData
Hierarchy (
View Summary
)
InstructionNode
.
Class
<
D
,
S
>
Class
Index
Constructors
constructor
Accessors
data
graph
id
incomers
jp
next
Edge
next
Edges
next
Node
next
Nodes
outgoers
previous
Edges
previous
Nodes
reachable
Nodes
scratch
Data
Methods
as
bfs
init
insert
Before
insert
Subgraph
Before
is
remove
remove
From
Flow
to
Cy
Constructors
constructor
new
Class
<
D
extends
StatementNode
.
Data
=
StatementNode
.
Data
,
S
extends
StatementNode
.
ScratchData
=
StatementNode
.
ScratchData
,
>
(
graph
:
BaseGraph
.
Class
,
node
:
NodeSingular
,
_d
?:
D
,
_sd
?:
S
,
)
:
StatementNode
.
Class
<
D
,
S
>
Type Parameters
D
extends
StatementNode
.
Data
=
StatementNode
.
Data
S
extends
StatementNode
.
ScratchData
=
StatementNode
.
ScratchData
Parameters
graph
:
BaseGraph
.
Class
node
:
NodeSingular
_d
:
D
= ...
_sd
:
S
= ...
Returns
StatementNode
.
Class
<
D
,
S
>
Accessors
data
get
data
()
:
D
Returns
D
graph
get
graph
()
:
BaseGraph
.
Class
Returns
BaseGraph
.
Class
id
get
id
()
:
string
Returns
string
incomers
get
incomers
()
:
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
Returns
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
jp
get
jp
()
:
Statement
Returns
Statement
next
Edge
get
nextEdge
()
:
|
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
,
>
|
undefined
Returns
|
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
,
>
|
undefined
next
Edges
get
nextEdges
()
:
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
,
>
[]
Returns
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
>
[]
next
Node
get
nextNode
()
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
Returns
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
set
nextNode
(
node
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
,
)
:
void
Parameters
node
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
|
undefined
Returns
void
next
Nodes
get
nextNodes
()
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
Returns
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
outgoers
get
outgoers
()
:
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
Returns
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
previous
Edges
get
previousEdges
()
:
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
,
>
[]
Returns
ControlFlowEdge
.
Class
<
ControlFlowEdge
.
Data
,
ControlFlowEdge
.
ScratchData
>
[]
previous
Nodes
get
previousNodes
()
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
Returns
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
reachable
Nodes
get
reachableNodes
()
:
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
Returns
FlowNode
.
Class
<
FlowNode
.
Data
,
FlowNode
.
ScratchData
>
[]
scratch
Data
get
scratchData
()
:
S
Returns
S
Methods
as
as
<
N
extends
BaseNode
.
Class
<
D
,
S
>
>
(
NodeType
:
NodeConstructor
<
D
,
S
,
N
>
)
:
N
Type Parameters
N
extends
BaseNode
.
Class
<
D
,
S
>
Parameters
NodeType
:
NodeConstructor
<
D
,
S
,
N
>
Returns
N
bfs
bfs
(
propagate
:
(
edge
:
BaseEdge
.
Class
)
=>
boolean
,
)
:
Generator
<
[
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
,
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
,
number
,
]
,
>
Parameters
propagate
:
(
edge
:
BaseEdge
.
Class
)
=>
boolean
Returns
Generator
<
[
BaseNode
.
Class
<
BaseNode
.
Data
,
BaseNode
.
ScratchData
>
,
BaseEdge
.
Class
<
BaseEdge
.
Data
,
BaseEdge
.
ScratchData
>
[]
,
number
,
]
,
>
init
init
<
D2
extends
BaseNode
.
Data
,
S2
extends
BaseNode
.
ScratchData
>
(
builder
:
NodeBuilder
<
D2
,
S2
>
,
)
:
BaseNode
.
Class
<
D2
,
S2
>
Type Parameters
D2
extends
BaseNode
.
Data
S2
extends
BaseNode
.
ScratchData
Parameters
builder
:
NodeBuilder
<
D2
,
S2
>
Returns
BaseNode
.
Class
<
D2
,
S2
>
insert
Before
insertBefore
(
node
:
InstructionNode
.
Class
)
:
void
Parameters
node
:
InstructionNode
.
Class
Returns
void
insert
Subgraph
Before
insertSubgraphBefore
(
head
:
BaseNode
.
Class
,
tail
:
InstructionNode
.
Class
<
InstructionNode
.
Data
,
InstructionNode
.
ScratchData
,
>
[]
,
)
:
void
Parameters
head
:
BaseNode
.
Class
tail
:
InstructionNode
.
Class
<
InstructionNode
.
Data
,
InstructionNode
.
ScratchData
>
[]
Returns
void
is
is
<
D2
extends
BaseNode
.
Data
,
S2
extends
BaseNode
.
ScratchData
>
(
guard
:
NodeTypeGuard
<
D2
,
S2
>
,
)
:
this
is
BaseNode
.
Class
<
D2
,
S2
>
Type Parameters
D2
extends
BaseNode
.
Data
S2
extends
BaseNode
.
ScratchData
Parameters
guard
:
NodeTypeGuard
<
D2
,
S2
>
Returns
this
is
BaseNode
.
Class
<
D2
,
S2
>
remove
remove
()
:
void
Returns
void
remove
From
Flow
removeFromFlow
()
:
void
Returns
void
to
Cy
toCy
()
:
NodeSingular
Returns
NodeSingular
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Accessors
data
graph
id
incomers
jp
next
Edge
next
Edges
next
Node
next
Nodes
outgoers
previous
Edges
previous
Nodes
reachable
Nodes
scratch
Data
Methods
as
bfs
init
insert
Before
insert
Subgraph
Before
is
remove
remove
From
Flow
to
Cy
SPeCS Packages Documentation
Loading...