<commit_before>﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace LandingGearSystem
{
    using SafetySharp.Modeling;
    using SafetySharp.Analysis;

    class Model : ModelBase
    {
        public const int PressureLimit = 60;

        public const AirplaneStates AirplaneState = AirplaneStates.Ground;

        public const Mode Modus = Mode.Any;

        public const int Count = 2;

//--> Roles? Rootkind.Controller?
        [Root(Role.System)]
        public DigitalPart DigitalPart = new DigitalPart(Modus, Count);

        public MechanicalPart MechanicalPart = new MechanicalPart(PressureLimit);

        public PilotInterface PilotInterface = new PilotInterface();

        public Airplane Airplane = new Airplane(AirplaneState);
     
        public Model()
        {
            Bind(nameof(MechanicalPart.GearFront.GetGearCylinderState), nameof(MechanicalPart.FrontGearCylinder.GearCylinderState));<commit_msg>One ActionSequence + tried TimeSpan<commit_after>﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace LandingGearSystem
{
    using SafetySharp.Modeling;
    using SafetySharp.Analysis;


    

    class Model : ModelBase
    {
        //--> Pilot / PilotHandle
        //--> ???
        public static TimeSpan Step = new TimeSpan(0, 0, 0, 0, 100);

        public const int PressureLimit = 60;

        public const AirplaneStates AirplaneState = AirplaneStates.Ground;

        public const Mode Modus = Mode.Any;

        public const int Count = 2;

//--> Roles? Rootkind.Controller?
        [Root(Role.System)]
        public DigitalPart DigitalPart = new DigitalPart(Modus, Count);

        public MechanicalPart MechanicalPart = new MechanicalPart(PressureLimit);

        public PilotInterface PilotInterface = new PilotInterface();

        public Airplane Airplane = new Airplane(AirplaneState);
     
        public Model()
        {
            Bind(nameof(MechanicalPart.GearFront.GetGearCylinderState), nameof(MechanicalPart.FrontGearCylinder.GearCylinderState));
{'fraction_non_alphanumeric': 0.08221086855550395, 'fraction_numerical': 0.006038086391082211, 'mean_word_length': 3.118546845124283, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6783594', 'n_tokens_mistral': 624, 'n_tokens_neox': 572, 'n_words': 148}