torben/NAVSourceControl
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added support for code contracts (requires VS support!)

Browse Source 
Implemented Contracts into existing classes (yet incomplete especially with Interface implementations in NavObject). Otherwise it basically works.
Started class for interfacing to finsql.exe.
This commit is contained in:
Torben Nehmer
2016-11-22 23:03:24 +01:00
parent 28dbc5c7fa
commit 2536f7c80c
6 changed files with 190 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
NAVSCM Library/NavInterface/NavObject.cs
View File

@ -4,6 +4,7 @@ using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Diagnostics.Contracts;
namespace NavScm.NavInterface
{
@ -43,15 +44,21 @@ namespace NavScm.NavInterface
/// <seealso cref="NavObjectType"/>
partial class NavObject : IEquatable<NavObject>, IComparable, IComparable<NavObject>
{
private static readonly log4net.ILog log = log4net.LogManager.GetLogger(typeof(NavObject));
/// <summary>
/// Validate restrictions on supported objects as outlined in the class description.
/// </summary>
partial void OnLoaded()
{
Contract.Requires(Company_Name.Length == 0);
Contract.Requires(Type >= 0 && Type <= 9 && Type != 2 && Type != 4 );
/*
if (Company_Name.Length > 0)
throw new InvalidOperationException($"The object {CacheKey} holds a variant with the company name {Company_Name}, which is unsupported");
if (Type < 0 || Type == 2 || Type == 4 || Type > 9)
throw new InvalidOperationException($"The object type of {CacheKey} is unsupported");
*/
}
/// <summary>
@ -75,20 +82,15 @@ namespace NavScm.NavInterface
/// </summary>
public string CacheKey
{
get {
return $"{Type}.{ID}";
}
get { return $"{Type}.{ID}"; }
}
/// <summary>
/// Converts the Date and Time fields to a combined Date/Time value.
/// </summary>
public DateTime Modified
public DateTime ModifiedDate
{
get
{
return Date.Add(Time.TimeOfDay);
}
get { return Date.Add(Time.TimeOfDay); }
}
/// <summary>