Flow Path Parser(三)

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