envgen
Interface IApproach

All Known Implementing Classes:

CFGAnalysisMain, PointsToAnalysisMain, ReadWriteAnalysisMain, RunTimeAnalysis, SafeLockAnalysisMain, SideEffectsAnalysisMain, SpecReader

public interface IApproach

Approach to be used to aquire environment assumptions: user specs, static analysis, runtime analysis, or other technique.

Method Summary

Assumptions

acquireAssumptions()

Method Detail

acquireAssumptions

public Assumptions acquireAssumptions()