Skip to content
Permalink
Browse files

renamed projects and case study namespaces

  • Loading branch information...
axel-habermaier committed Mar 16, 2016
1 parent 246013e commit b437be57d222dcb87f0b42c8dc03ef8907d1e79e
Showing with 7,221 additions and 5,536 deletions.
  1. +1 −1 .gitignore
  2. +2 −2 Models/{Elbtunnel → Height Control}/Actuators/TrafficLights.cs
  3. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/EndControl.cs
  4. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/EndControlAdditionalLightBarrier.cs
  5. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/EndControlOriginal.cs
  6. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/HeightControl.cs
  7. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/MainControl.cs
  8. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/MainControlOriginal.cs
  9. +1 −1 Models/{Elbtunnel → Height Control}/Controllers/MainControlRemovedCounter.cs
  10. +1 −1 Models/{Elbtunnel → Height Control}/Controllers/MainControlRemovedCounterTolerant.cs
  11. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/MainControlTolerant.cs
  12. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/PreControl.cs
  13. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/PreControlImprovedDetection.cs
  14. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/PreControlOriginal.cs
  15. +2 −2 Models/{Elbtunnel → Height Control}/Controllers/Timer.cs
  16. +26 −10 Models/{Elbtunnel → Height Control}/DesignExploration/DesignExploration_Tests.cs
  17. +3 −3 Models/{Elbtunnel → Height Control}/DesignExploration/DesignHighTubeWithLb_Specification.cs
  18. +3 −3 ...lbtunnel → Height Control}/DesignExploration/DesignImprovedDetectionOfPreControl_Specification.cs
  19. +3 −3 ...{Elbtunnel → Height Control}/DesignExploration/DesignRemovedCounterInMainControl_Specification.cs
  20. +3 −3 ...el → Height Control}/DesignExploration/DesignRemovedCounterInTolerantMainControl_Specification.cs
  21. +3 −3 Models/{Elbtunnel → Height Control}/DesignExploration/DesignTolerantMainControl_Specification.cs
  22. +8 −8 Models/{Elbtunnel/Elbtunnel.csproj → Height Control/Height Control.csproj}
  23. 0 Models/{Elbtunnel → Height Control}/Properties/AssemblyInfo.cs
  24. +2 −2 Models/{Elbtunnel → Height Control}/Sensors/LightBarrier.cs
  25. +2 −2 Models/{Elbtunnel → Height Control}/Sensors/OverheadDetector.cs
  26. +2 −2 Models/{Elbtunnel → Height Control}/Sensors/SmallLightBarrier.cs
  27. +2 −2 Models/{Elbtunnel → Height Control}/Sensors/VehicleDetector.cs
  28. +3 −3 Models/{Elbtunnel → Height Control}/Specification.cs
  29. +4 −4 Models/{Elbtunnel → Height Control}/Tests.cs
  30. +1 −1 Models/{Elbtunnel → Height Control}/Vehicles/Lane.cs
  31. +2 −2 Models/{Elbtunnel → Height Control}/Vehicles/Vehicle.cs
  32. +2 −2 Models/{Elbtunnel → Height Control}/Vehicles/VehicleCollection.cs
  33. +1 −1 Models/{Elbtunnel → Height Control}/Vehicles/VehicleKind.cs
  34. +2 −2 Models/{Elbtunnel → Height Control}/Vehicles/VisualizationVehicle.cs
  35. 0 Models/{Elbtunnel → Height Control}/packages.config
  36. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/BloodFlow.cs
  37. +8 −8 ...emodialysisMachine/HemodialysisMachine.csproj → Hemodialysis Machine/Hemodialysis Machine.csproj}
  38. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/BloodFlow.cs
  39. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/ControlSystem.cs
  40. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/DetailedBalanceChamber.cs
  41. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/Dialyzer.cs
  42. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/DialyzingFluidDeliverySystem.cs
  43. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/DialyzingFluidFlow.cs
  44. +1 −1 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/Enumerations.cs
  45. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/ExtracorporealBloodCircuit.cs
  46. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/HemodialysisMachine.cs
  47. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/Patient.cs
  48. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/Quantitative Parameters.txt
  49. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/Suction.cs
  50. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/TherapyRun.txt
  51. +1 −1 Models/{HemodialysisMachine → Hemodialysis Machine}/Model/ValveState.cs
  52. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/Properties/AssemblyInfo.cs
  53. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Specification.cs
  54. +4 −4 Models/{HemodialysisMachine → Hemodialysis Machine}/Tests/DialyzerTests.cs
  55. +4 −4 Models/{HemodialysisMachine → Hemodialysis Machine}/Tests/DialyzingFluidDeliverySystemTests.cs
  56. +4 −4 Models/{HemodialysisMachine → Hemodialysis Machine}/Tests/ExtracorporealBloodCircuitTests.cs
  57. +4 −4 Models/{HemodialysisMachine → Hemodialysis Machine}/Tests/IntFlowTests.cs
  58. +5 −5 Models/{HemodialysisMachine → Hemodialysis Machine}/Tests/SpecificationTests.cs
  59. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/TherapyRun/TherapyRun.cs
  60. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Utilities/BidirectionalFlow/AbstractBiflow.cs
  61. +2 −2 Models/{HemodialysisMachine → Hemodialysis Machine}/Utilities/BidirectionalFlow/IntFlow.cs
  62. 0 Models/{HemodialysisMachine → Hemodialysis Machine}/packages.config
  63. +2 −2 Models/{PressureTank → Pressure Tank}/Controller.cs
  64. +8 −8 Models/{PressureTank/PressureTank.csproj → Pressure Tank/Pressure Tank.csproj}
  65. 0 Models/{PressureTank → Pressure Tank}/Properties/AssemblyInfo.cs
  66. +2 −2 Models/{PressureTank → Pressure Tank}/Pump.cs
  67. +2 −2 Models/{PressureTank → Pressure Tank}/Sensor.cs
  68. +4 −4 Models/{PressureTank → Pressure Tank}/Specification.cs
  69. +2 −2 Models/{PressureTank → Pressure Tank}/Tank.cs
  70. +4 −4 Models/{PressureTank → Pressure Tank}/Tests.cs
  71. +2 −2 Models/{PressureTank → Pressure Tank}/Timer.cs
  72. 0 Models/{Funkfahrbetrieb → Pressure Tank}/packages.config
  73. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/Context/Barrier.cs
  74. +3 −4 Models/{Funkfahrbetrieb → Railroad Crossing}/Context/RadioChannel.cs
  75. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/Context/Train.cs
  76. +4 −4 Models/{Funkfahrbetrieb → Railroad Crossing}/CrossingController/BarrierMotor.cs
  77. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/CrossingController/BarrierSensor.cs
  78. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/CrossingController/CrossingControl.cs
  79. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/CrossingController/Timer.cs
  80. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/CrossingController/TrainSensor.cs
  81. +1 −1 Models/{Funkfahrbetrieb → Railroad Crossing}/Message.cs
  82. 0 Models/{Funkfahrbetrieb → Railroad Crossing}/Properties/AssemblyInfo.cs
  83. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/RadioModule.cs
  84. +8 −8 Models/{Funkfahrbetrieb/Funkfahrbetrieb.csproj → Railroad Crossing/Railroad Crossing.csproj}
  85. +3 −3 Models/{Funkfahrbetrieb → Railroad Crossing}/Specification.cs
  86. +4 −4 Models/{Funkfahrbetrieb → Railroad Crossing}/Tests.cs
  87. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/TrainController/Brakes.cs
  88. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/TrainController/Odometer.cs
  89. +2 −2 Models/{Funkfahrbetrieb → Railroad Crossing}/TrainController/TrainControl.cs
  90. 0 Models/{PressureTank → Railroad Crossing}/packages.config
  91. +0 −5,131 Models/Visualization/Resources/Icons.xaml
  92. +77 −37 Models/{Visualization/Elbtunnel.xaml → Visualizations/HeightControlSystem.xaml}
  93. +8 −8 Models/{Visualization/Elbtunnel.xaml.cs → Visualizations/HeightControlSystem.xaml.cs}
  94. +2 −2 Models/{Visualization → Visualizations}/HemodialysisMachine.xaml
  95. +6 −6 Models/{Visualization → Visualizations}/HemodialysisMachine.xaml.cs
  96. +1 −1 Models/{Visualization → Visualizations}/Infrastructure/App.xaml
  97. +1 −1 Models/{Visualization → Visualizations}/Infrastructure/App.xaml.cs
  98. +2 −2 Models/{Visualization → Visualizations}/Infrastructure/Extensions.cs
  99. +2 −2 Models/{Visualization → Visualizations}/Infrastructure/IconButton.xaml
  100. +1 −1 Models/{Visualization → Visualizations}/Infrastructure/IconButton.xaml.cs
  101. +9 −9 Models/{Visualization → Visualizations}/Infrastructure/MainWindow.xaml
  102. +1 −1 Models/{Visualization → Visualizations}/Infrastructure/MainWindow.xaml.cs
  103. +7 −4 Models/{Visualization → Visualizations}/Infrastructure/SimulationControls.xaml
  104. +5 −5 Models/{Visualization → Visualizations}/Infrastructure/SimulationControls.xaml.cs
  105. +21 −21 Models/{Visualization → Visualizations}/PressureTank.xaml
  106. +2 −2 Models/{Visualization → Visualizations}/PressureTank.xaml.cs
  107. 0 Models/{Visualization → Visualizations}/Properties/AssemblyInfo.cs
  108. +2 −2 Models/{Visualization → Visualizations}/Properties/Resources.Designer.cs
  109. 0 Models/{Visualization → Visualizations}/Properties/Resources.resx
  110. +1 −1 Models/{Visualization → Visualizations}/Properties/Settings.Designer.cs
  111. 0 Models/{Visualization → Visualizations}/Properties/Settings.settings
  112. +10 −10 Models/{Visualization/Funkfahrbetrieb.xaml → Visualizations/RailroadCrossing.xaml}
  113. +7 −7 Models/{Visualization/Funkfahrbetrieb.xaml.cs → Visualizations/RailroadCrossing.xaml.cs}
  114. 0 Models/{Visualization → Visualizations}/Resources/Entypo-license.txt
  115. BIN Models/{Visualization → Visualizations}/Resources/Entypo.ttf
  116. +6,758 −0 Models/Visualizations/Resources/Icons.xaml
  117. 0 Models/{Visualization → Visualizations}/Resources/WindowsIcons-license.txt
  118. +21 −21 Models/{Visualization/Visualization.csproj → Visualizations/Visualizations.csproj}
  119. 0 Models/{Visualization → Visualizations}/packages.config
  120. +6 −6 SafetySharp.sln
  121. +15 −15 Source/Compiler/Compiler.csproj
  122. 0 Source/{ltsmin/functions.cpp → LtsMin/Functions.cpp}
  123. 0 Source/{ltsmin/ltsmin.cpp → LtsMin/LtsMin.cpp}
  124. +3 −3 Source/{ltsmin/ltsmin-seq.vcxproj → LtsMin/LtsMin.vcxproj}
  125. +2 −2 Source/{ltsmin/ltsmin-seq.vcxproj.filters → LtsMin/LtsMin.vcxproj.filters}
  126. 0 Source/{ltsmin → LtsMin}/bitvector.h
  127. 0 Source/{ltsmin → LtsMin}/chunk-support.h
  128. 0 Source/{ltsmin → LtsMin}/dm.h
  129. 0 Source/{ltsmin → LtsMin}/lts-type.h
  130. 0 Source/{ltsmin → LtsMin}/ltsmin-standard.h
  131. 0 Source/{ltsmin → LtsMin}/pins.h
  132. 0 Source/{ltsmin → LtsMin}/string-map.h
  133. +1 −1 Source/SafetySharp/SafetySharp.csproj
  134. +24 −24 Tests/Tests.csproj
  135. +1 −1 nuget.config
@@ -69,7 +69,7 @@ _ReSharper*/

# Nuget
.nuget
Dependencies/Packages
Dependencies
*.nupkg

# Backup & report files from converting an old project file to a newer Visual Studio version
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Actuators
namespace SafetySharp.CaseStudies.HeightControl.Actuators
{
using SafetySharp.Modeling;
using Modeling;

/// <summary>
/// Represents the traffic lights at the entrance of the tunnel that indicate whether the tunnel is closed.
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;

/// <summary>
/// A common interface for different end-control implementations.
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;
using Sensors;

/// <summary>
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;
using Sensors;

/// <summary>
@@ -20,10 +20,10 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using Actuators;
using SafetySharp.Modeling;
using Modeling;

/// <summary>
/// Represents the height control of the Elbtunnel.
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;
using Sensors;

public abstract class MainControl : Component
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;

public sealed class MainControlOriginal : MainControl
{
@@ -20,7 +20,7 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
public sealed class MainControlRemovedCounter : MainControl
{
@@ -20,7 +20,7 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
public sealed class MainControlRemovedCounterTolerant : MainControl
{
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;

public sealed class MainControlTolerant : MainControl
{
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;

/// <summary>
/// A common base component for different pre-control implementations.
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;
using Sensors;

/// <summary>
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;
using Sensors;

/// <summary>
@@ -20,9 +20,9 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Controllers
namespace SafetySharp.CaseStudies.HeightControl.Controllers
{
using SafetySharp.Modeling;
using Modeling;

/// <summary>
/// Represents a timer that signals a timeout.
@@ -1,18 +1,34 @@
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
// The MIT License (MIT)
//
// Copyright (c) 2014-2016, Institute for Software & Systems Engineering
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.DesignExploration
namespace SafetySharp.CaseStudies.HeightControl.DesignExploration
{
using System;
using Analysis;
using NUnit.Framework;
using SafetySharp.Analysis;


[TestFixture]
public class DesignExploration_Tests
{
{
[TestCase]
public void DesignHighTubeWithLb_CollisionSpof([Values(typeof(SSharpChecker), typeof(LtsMin))] Type modelChecker)
{
@@ -75,4 +91,4 @@ public void OriginalDesign_CollisionSpof([Values(typeof(SSharpChecker), typeof(L
Console.WriteLine(result);
}
}
}
}
@@ -20,13 +20,13 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel
namespace SafetySharp.CaseStudies.HeightControl
{
using System.Linq;
using Actuators;
using Analysis;
using Controllers;
using SafetySharp.Analysis;
using SafetySharp.Modeling;
using Modeling;
using Sensors;
using Vehicles;

@@ -20,13 +20,13 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel
namespace SafetySharp.CaseStudies.HeightControl
{
using System.Linq;
using Actuators;
using Analysis;
using Controllers;
using SafetySharp.Analysis;
using SafetySharp.Modeling;
using Modeling;
using Sensors;
using Vehicles;

@@ -20,13 +20,13 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel
namespace SafetySharp.CaseStudies.HeightControl
{
using System.Linq;
using Actuators;
using Analysis;
using Controllers;
using SafetySharp.Analysis;
using SafetySharp.Modeling;
using Modeling;
using Sensors;
using Vehicles;

@@ -20,13 +20,13 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel
namespace SafetySharp.CaseStudies.HeightControl
{
using System.Linq;
using Actuators;
using Analysis;
using Controllers;
using SafetySharp.Analysis;
using SafetySharp.Modeling;
using Modeling;
using Sensors;
using Vehicles;

@@ -20,13 +20,13 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel
namespace SafetySharp.CaseStudies.HeightControl
{
using System.Linq;
using Actuators;
using Analysis;
using Controllers;
using SafetySharp.Analysis;
using SafetySharp.Modeling;
using Modeling;
using Sensors;
using Vehicles;

@@ -8,8 +8,8 @@
<ProjectGuid>{6AE088BD-212E-4F38-96A1-B16C4F95D243}</ProjectGuid>
<OutputType>Exe</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Elbtunnel</RootNamespace>
<AssemblyName>Elbtunnel</AssemblyName>
<RootNamespace>SafetySharp.CaseStudies.HeightControl</RootNamespace>
<AssemblyName>SafetySharp.CaseStudies.HeightControl</AssemblyName>
<TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<TargetFrameworkProfile />
@@ -45,15 +45,15 @@
</PropertyGroup>
<ItemGroup>
<Reference Include="FluentAssertions, Version=4.1.1.0, Culture=neutral, PublicKeyToken=33f2691a05b67b6a, processorArchitecture=MSIL">
<HintPath>..\..\Dependencies\Packages\FluentAssertions.4.1.1\lib\net45\FluentAssertions.dll</HintPath>
<HintPath>..\..\Dependencies\FluentAssertions.4.1.1\lib\net45\FluentAssertions.dll</HintPath>
<Private>True</Private>
</Reference>
<Reference Include="FluentAssertions.Core, Version=4.1.1.0, Culture=neutral, PublicKeyToken=33f2691a05b67b6a, processorArchitecture=MSIL">
<HintPath>..\..\Dependencies\Packages\FluentAssertions.4.1.1\lib\net45\FluentAssertions.Core.dll</HintPath>
<HintPath>..\..\Dependencies\FluentAssertions.4.1.1\lib\net45\FluentAssertions.Core.dll</HintPath>
<Private>True</Private>
</Reference>
<Reference Include="nunit.framework">
<HintPath>..\..\Dependencies\Packages\NUnit.2.6.3\lib\nunit.framework.dll</HintPath>
<HintPath>..\..\Dependencies\NUnit.2.6.3\lib\nunit.framework.dll</HintPath>
</Reference>
<Reference Include="System" />
<Reference Include="System.Core" />
@@ -62,9 +62,9 @@
<Reference Include="System.Xml.Linq" />
</ItemGroup>
<ItemGroup>
<Compile Include="..\..\Source\SharedAssemblyInfo.cs">
<Link>Properties\SharedAssemblyInfo.cs</Link>
</Compile>
<Compile Include="..\..\Source\SharedAssemblyInfo.cs">
<Link>Properties\SharedAssemblyInfo.cs</Link>
</Compile>
<Compile Include="Controllers\EndControlAdditionalLightBarrier.cs" />
<Compile Include="Controllers\HeightControl.cs" />
<Compile Include="Controllers\EndControl.cs" />
File renamed without changes.
@@ -20,10 +20,10 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Sensors
namespace SafetySharp.CaseStudies.HeightControl.Sensors
{
using Modeling;
using Vehicles;
using SafetySharp.Modeling;

/// <summary>
/// Represents a light barrier that detects overheight vehicles at a specific position on any of the lanes.
@@ -20,10 +20,10 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Sensors
namespace SafetySharp.CaseStudies.HeightControl.Sensors
{
using Modeling;
using Vehicles;
using SafetySharp.Modeling;

/// <summary>
/// Represents an overhead detector that detects overheight vehicles and non-overheight trucks for a specific
@@ -20,10 +20,10 @@
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

namespace Elbtunnel.Sensors
namespace SafetySharp.CaseStudies.HeightControl.Sensors
{
using Modeling;
using Vehicles;
using SafetySharp.Modeling;

/// <summary>
/// Represents a light barrier that detects overheight vehicles at a specific position on a specific lanes.
Oops, something went wrong.

0 comments on commit b437be5

Please sign in to comment.
You can’t perform that action at this time.