fun002(){
if(a == 0){
stm01
} else if(a == 1){
stm02
} else if(a == 2){
stm03
} else {
stm04
}
}
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 | SingleConditional | CREATE(n:BasicBlock {text:'n005'}) return n |
n006 | stm02 | CREATE(n:BasicBlock {text:'n006'}) return n |
n007 | SingleConditional | CREATE(n:BasicBlock {text:'n007'}) return n |
n008 | stm03 | CREATE(n:BasicBlock {text:'n008'}) return n |
n009 | stm04 | CREATE(n:BasicBlock {text:'n009'}) return n |
n010 | ConditionalExit | CREATE(n:BasicBlock {text:'n010'}) return n |
n011 | MethodExit | CREATE(n:BasicBlock {text:'n011'}) 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 |
n004 | n010 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n004' and n2.text='n010' 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 |
n005 | n006 | TRUE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n005' and n2.text='n006' create path=(n1)-[r:ControlFlow]->(n2) return path |
n006 | n010 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n006' and n2.text='n010' create path=(n1)-[r:ControlFlow]->(n2) return path |
n005 | n007 | FALSE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n005' and n2.text='n007' create path=(n1)-[r:ControlFlow]->(n2) return path |
n007 | n008 | TRUE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n007' and n2.text='n008' create path=(n1)-[r:ControlFlow]->(n2) return path |
n008 | n010 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n008' and n2.text='n010' create path=(n1)-[r:ControlFlow]->(n2) return path |
n007 | n009 | FALSE | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n007' and n2.text='n009' create path=(n1)-[r:ControlFlow]->(n2) return path |
n009 | n010 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n009' and n2.text='n010' create path=(n1)-[r:ControlFlow]->(n2) return path |
n010 | n011 | | match (n1:BasicBlock), (n2:BasicBlock) where n1.text='n010' and n2.text='n011' create path=(n1)-[r:ControlFlow]->(n2) return path |
match path=(n1:BasicBlock)-[r:ControlFlow*]->(n2:BasicBlock) where n1.text='n001' and n2.text='n011' return path, length(path) as hops order by hops