예제 #1
0
		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;
		}
예제 #2
0
 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;
 }
예제 #3
0
        public static ContractNodes GetContractNodes(AssemblyNode assembly, Action <string> errorHandler)
        {
            var contractNodes = new ContractNodes(assembly, errorHandler);

            if (contractNodes.ContractClass != null)
            {
                return(contractNodes);
            }
            return(null);
        }
예제 #4
0
		public ContractExtractor (ContractNodes contractNodes, AssemblyNode assembly)
			: this (contractNodes, assembly, DebugOptions.Debug)
		{
		}
예제 #5
0
		public static Local ExtractPreamble (Method method, ContractNodes contractNodes, Block contractInitializer, out Block postPreamble)
		{
			postPreamble = null;
			return null;
		}
예제 #6
0
 public static Local ExtractPreamble(Method method, ContractNodes contractNodes, Block contractInitializer, out Block postPreamble)
 {
     postPreamble = null;
     return(null);
 }
예제 #7
0
		public static ContractNodes GetContractNodes (AssemblyNode assembly, Action<string> errorHandler)
		{
			var contractNodes = new ContractNodes (assembly, errorHandler);
			if (contractNodes.ContractClass != null)
				return contractNodes;
			return null;
		}
예제 #8
0
 public ContractExtractor(ContractNodes contractNodes, AssemblyNode assembly)
     : this(contractNodes, assembly, DebugOptions.Debug)
 {
 }