public BasicAnalysisDriver (IMetaDataProvider metaDataProvider,
IContractProvider contractProvider)
{
SubroutineFacade = new SubroutineFacade (metaDataProvider, contractProvider);
this.meta_data_provider = metaDataProvider;
this.contract_provider = contractProvider;
}
public SimpleSubroutineBuilder(ICodeProvider <Label> codeProvider,
SubroutineFacade subroutineFacade,
Label entry)
: base(codeProvider, subroutineFacade, entry)
{
Initialize(entry);
}
public BasicAnalysisDriver(IMetaDataProvider metaDataProvider,
IContractProvider contractProvider)
{
SubroutineFacade = new SubroutineFacade(metaDataProvider, contractProvider);
this.meta_data_provider = metaDataProvider;
this.contract_provider = contractProvider;
}
public APCDecoder(ControlFlowGraph underlyingCFG,
IMetaDataProvider metaDataProvider,
SubroutineFacade subroutineFacade)
{
this.cfg = underlyingCFG;
this.meta_data_provider = metaDataProvider;
this.subroutine_facade = subroutineFacade;
}
protected SubroutineBuilder(ICodeProvider <Label> codeProvider,
SubroutineFacade subroutineFacade,
Label entry)
{
this.SubroutineFacade = subroutineFacade;
CodeProvider = codeProvider;
AddTargetLabel(entry);
}
public SubroutineWithHandlersBuilder(IMethodCodeProvider <Label, Handler> codeProvider,
SubroutineFacade subroutineFacade,
Method method,
Label entry)
: base(codeProvider, subroutineFacade, entry)
{
this.method = method;
ComputeTryBlockStartAndEndInfo(this.method);
Initialize(entry);
}
public ControlFlowGraph (Subroutine subroutine, SubroutineFacade methodRepository)
{
this.method_subroutine = subroutine;
this.method_repository = methodRepository;
}
public EnsuresFactory(SubroutineFacade subroutineFacade) : base(subroutineFacade)
{
}
protected SubroutineFactory(SubroutineFacade subroutineFacade)
{
this.SubroutineFacade = subroutineFacade;
}
public ControlFlowGraph(Subroutine subroutine, SubroutineFacade methodRepository)
{
this.method_subroutine = subroutine;
this.method_repository = methodRepository;
}
public RequiresFactory(SubroutineFacade subroutineFacade)
: base(subroutineFacade)
{
}
