iframe-proxy | Sunbelt Computer Software

44 lines (38 loc) · 1.18 KB

﻿using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using ReClassNET.Logger;
using ReClassNET.Nodes;
namespace ReClassNET.CodeGenerator
	[ContractClass(typeof(ICodeGeneratorContract))]
	public interface ICodeGenerator
		/// <summary>The language this generator produces.</summary>
		Language Language { get; }
		/// <summary>Generates code for the classes.</summary>
		/// <param name="classes">The classes to generate code from.</param>
		/// <param name="logger">The logger used to output messages.</param>
		/// <returns>The code for the classes.</returns>
		string GenerateCode(IEnumerable<ClassNode> classes, ILogger logger);
	[ContractClassFor(typeof(ICodeGenerator))]
	internal abstract class ICodeGeneratorContract : ICodeGenerator
		public Language Language
				throw new NotImplementedException();
		public string GenerateCode(IEnumerable<ClassNode> classes, ILogger logger)
			Contract.Requires(classes != null);
			Contract.Requires(Contract.ForAll(classes, c => c != null));
			Contract.Requires(logger != null);
			Contract.Ensures(Contract.Result<string>() != null);
			throw new NotImplementedException();

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

ICodeGenerator.cs

Latest commit

History

ICodeGenerator.cs

File metadata and controls