Module dev.civl.mc

Package dev.civl.mc.analysis.IF

Interface CodeAnalyzer

public interface CodeAnalyzer

This represents a code analyzer for analyzing source code for a certain property.

Method Summary

Modifier and Type	Method	Description
void	analyze(State state, int pid, CallOrSpawnStatement statement, dev.civl.sarl.IF.expr.SymbolicExpression[] argumentValues)	Analyzes a call statement.
void	printAnalysis(PrintStream out)	Print the results the analyzer.
void	staticAnalysis(Statement statement)	Static analysis of the given statement.

Method Details

analyze

void analyze(State state,
 int pid,
 CallOrSpawnStatement statement,
 dev.civl.sarl.IF.expr.SymbolicExpression[] argumentValues)

Analyzes a call statement.

Parameters:

state -

pid -

statement -

argumentValues -

staticAnalysis

void staticAnalysis(Statement statement)

Static analysis of the given statement. Basically, it answers the question is the analyzer applicable for the given statement?

Parameters:

statement -

printAnalysis

void printAnalysis(PrintStream out)

Print the results the analyzer.

Parameters:

out -