예제 #1
0
        public void TrimarcovKlein()
        {
            var test = new Negligence(ExtensionMethods.Tortfeasor)
            {
                SafetyConvention = new ReplaceWithShatterproofGlass()
                {
                    IsConformedTo = lp => !(lp is Klein)
                },
                Causation = new Causation(ExtensionMethods.Tortfeasor)
                {
                    FactualCause = new FactualCause(ExtensionMethods.Tortfeasor)
                    {
                        IsButForCaused = lp => lp is Klein
                    },
                    ProximateCause = new ProximateCause(ExtensionMethods.Tortfeasor)
                    {
                        IsForeseeable = lp => true
                    }
                }
            };

            var testResult = test.IsValid(new Trimarco(), new Klein());

            Assert.IsTrue(testResult);

            Console.WriteLine(test.ToString());
        }
예제 #2
0
        public void BrunevBelinkoff()
        {
            var test = new Negligence(ExtensionMethods.Tortfeasor)
            {
                SafetyConvention = new EightMgWithDex()
                {
                    //Belinkoff contents among his locality, court denies
                    IsPracticedByManyAmongGroup = false,
                    IsConformedTo = lp => lp is Belinkoff,
                },
                Causation = new Causation(ExtensionMethods.Tortfeasor)
                {
                    ProximateCause = new ProximateCause(ExtensionMethods.Tortfeasor)
                    {
                        IsForeseeable = lp => true,
                    },
                    FactualCause = new FactualCause(ExtensionMethods.Tortfeasor)
                    {
                        IsButForCaused = lp => lp is Belinkoff
                    }
                }
            };

            var testResult = test.IsValid(new Brune(), new Belinkoff());

            Assert.IsTrue(testResult);

            Console.WriteLine(test.ToString());
        }
예제 #3
0
        public void ByrnevBoadle()
        {
            var test = new Negligence(ExtensionMethods.Tortfeasor)
            {
                Causation = new Causation(ExtensionMethods.Tortfeasor)
                {
                    FactualCause = new FactualCause(ExtensionMethods.Tortfeasor)
                    {
                        IsButForCaused = lp => lp is Boadle
                    },
                    ProximateCause = new ProximateCause(ExtensionMethods.Tortfeasor)
                    {
                        IsForeseeable = lp => lp.ResIpsaLoquitur()
                    }
                }
            };
            var testResult = test.IsValid(new Byrne(), new Boadle());

            Assert.IsTrue(testResult);

            Console.WriteLine(test.ToString());
        }
예제 #4
0
        public void ZuchowiczvUnitedStates()
        {
            var test = new Negligence(ExtensionMethods.Tortfeasor)
            {
                Causation = new Causation(ExtensionMethods.Tortfeasor)
                {
                    FactualCause = new StrongCasualConnection(ExtensionMethods.Tortfeasor)
                    {
                        IsIncreasedChancesOfEffect = lp => lp is UnitedStates,
                        IsEffectIndeedPresent      = lp => lp is Zuchowicz
                    },
                    ProximateCause = new ProximateCause(ExtensionMethods.Tortfeasor)
                    {
                        IsForeseeable = lp => true
                    }
                }
            };

            var testResult = test.IsValid(new Zuchowicz(), new UnitedStates());

            Assert.IsTrue(testResult);

            Console.WriteLine(test.ToString());
        }