cz.muni.stanse.codestructures.LinearCode Class Reference

Public Member Functions
	LinearCode (final Stack< CFGNode > context, final List< CFGNode > path)
void	dump (OutputStream os)
void	dump (final File file)
void	dump (final String file)

Detailed Description

Constructs, writes and otherwise handles the linear code

A linear code is the one generated back from CFG. It is to be verified by the symbolic execution engine.

Author

Jiri Slaby

Constructor & Destructor Documentation

cz.muni.stanse.codestructures.LinearCode.LinearCode ( final Stack< CFGNode >  context, final List< CFGNode >  path  )

inline

Member Function Documentation

void cz.muni.stanse.codestructures.LinearCode.dump ( OutputStream  os )

inline

void cz.muni.stanse.codestructures.LinearCode.dump ( final File  file )

inline

void cz.muni.stanse.codestructures.LinearCode.dump ( final String  file )

inline

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/codestructures/LinearCode.java