public ContractExtractor (ContractNodes contractNodes, AssemblyNode assembly, bool verbose)
{
this.visited_methods = new Dictionary<Method, Method> ();
this.contract_nodes = contractNodes;
this.assembly = assembly;
this.verbose = verbose;
}
public ContractExtractor(ContractNodes contractNodes, AssemblyNode assembly, bool verbose)
{
this.visited_methods = new Dictionary <Method, Method> ();
this.contract_nodes = contractNodes;
this.assembly = assembly;
this.verbose = verbose;
}
public static ContractNodes GetContractNodes(AssemblyNode assembly, Action <string> errorHandler)
{
var contractNodes = new ContractNodes(assembly, errorHandler);
if (contractNodes.ContractClass != null)
{
return(contractNodes);
}
return(null);
}
public ContractExtractor (ContractNodes contractNodes, AssemblyNode assembly)
: this (contractNodes, assembly, DebugOptions.Debug)
{
}
public static Local ExtractPreamble (Method method, ContractNodes contractNodes, Block contractInitializer, out Block postPreamble)
{
postPreamble = null;
return null;
}
public static Local ExtractPreamble(Method method, ContractNodes contractNodes, Block contractInitializer, out Block postPreamble)
{
postPreamble = null;
return(null);
}
public static ContractNodes GetContractNodes (AssemblyNode assembly, Action<string> errorHandler)
{
var contractNodes = new ContractNodes (assembly, errorHandler);
if (contractNodes.ContractClass != null)
return contractNodes;
return null;
}
public ContractExtractor(ContractNodes contractNodes, AssemblyNode assembly)
: this(contractNodes, assembly, DebugOptions.Debug)
{
}
