fun002(){
if(a == 0){
} else {
}
}
Node Text | ノート説明 | Create 文 |
n001 | MethodEntry | CREATE(n:BasicBlock {text:'n001'}) return n |
n002 | ConditionalEntry | CREATE(n:BasicBlock {text:'n002'}) return n |
n003 | SingleConditional | CREATE(n:BasicBlock {text:'n003'}) return n |
n004 | stm01 | CREATE(n:BasicBlock {text:'n004'}) return n |
n005 | stm02 | CREATE(n:BasicBlock {text:'n005'}) return n |
n006 | ConditionalExit | CREATE(n:BasicBlock {text:'n006'}) return n |
n007 | MethodExit | CREATE(n:BasicBlock {text:'n007'}) return n |
Start Node Text | End Node Text | 関係説明説明 | Create 文 |
n001 | n002 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n001' and n2.text='n002' create path=(n1)-[r:ControlFlow]->(n2) return path |
n002 | n003 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n002' and n2.text='n003' create path=(n1)-[r:ControlFlow]->(n2) return path |
n003 | n004 | TRUE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n003' and n2.text='n004' create path=(n1)-[r:ControlFlow]->(n2) return path |
n003 | n005 | FALSE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n003' and n2.text='n005' create path=(n1)-[r:ControlFlow]->(n2) return path |
n004 | n006 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n004' and n2.text='n006' create path=(n1)-[r:ControlFlow]->(n2) return path |
n005 | n006 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n005' and n2.text='n006' create path=(n1)-[r:ControlFlow]->(n2) return path |
n006 | n007 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n006' and n2.text='n007' create path=(n1)-[r:ControlFlow]->(n2) return path |
match path=(n1:BasicBlock)-[r:ControlFlow*]->(n2:BasicBlock) where n1.text='n001' and n2.text='n007' return path, length(path) as hops order by hops