Classes

• AssertStatementCreationUtility
• AssertStatementCreationUtility.AddAssertionCallStatementToReturnStatementVisitor
• AssertStatementCreationUtility.AddResultReturnStatementVisitor
• AssertStatementCreationUtility.ReturnStatementVisitor
• BaseGenerator
• CandidateChecks
• ClassInvariantGenerator
• Configurator
• ContractExecutionTracker
• ContractExecutionTracker.ContractExecution
• OldVariableGenerationUtility
• PostconditionGenerator
• PreconditionGenerator
• TryCatchBlockGenerator