ConnectPatternLocationToSuccessors.java File Reference

Implements final class ConnectPatternLocationToSuccessors which is responsible for creating connections between PatternLocation instances with respect to control-flow of source code. More...

Classes
class	cz.muni.stanse.automatonchecker.ConnectPatternLocationToSuccessors
	Instances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code.

Packages
package	cz.muni.stanse.automatonchecker

Detailed Description

Implements final class ConnectPatternLocationToSuccessors which is responsible for creating connections between PatternLocation instances with respect to control-flow of source code.

Copyright (c) 2008-2009 Marek Trtik

Licensed under GPLv2.