Enhanced C#
Language of your choice: library documentation
Public Member Functions | List of all members
LeMP.Tests.TestCodeContractMacros Class Reference

Source file:
Inheritance diagram for LeMP.Tests.TestCodeContractMacros:

Public Member Functions

void AssertAttributeTest ()
void RequireTest ()
void RequirePropertyTest ()
void EnsuresTest ()
void EnsuresPropertyTest ()
void NotNullTest ()
void NotNullPropertyTest ()
void AssertEnsuresTest ()
void EnsuresOnThrowTest ()
void HaveContractRewriterTest ()
void ContractOnLambdaTest ()
- Public Member Functions inherited from LeMP.Tests.MacroTesterBase
void SetUp ()

Additional Inherited Members

- Protected Member Functions inherited from LeMP.Tests.MacroTesterBase
void TestLes (string input, string outputLes, int maxExpand=0xFFFF)
void TestEcs (string input, string outputEcs, int maxExpand=0xFFFF)
void TestCs (string input, string outputCs, int maxExpand=0xFFFF)
void TestBoth (string inputLes, string inputEcs, string outputEcs, int maxExpand=0xFFFF)
void Test (string input, IParsingService inLang, string expected, IParsingService outLang, int maxExpand=0xFFFF)
virtual MacroProcessor NewLemp (int maxExpand, IParsingService inLang)
- Protected fields inherited from LeMP.Tests.MacroTesterBase
MessageHolder _msgHolder