src/cz/muni/stanse/automatonchecker/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...

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

---

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.