Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1>------ Début de la génération : Projet : Fougerite, Configuration : Debug Any CPU ------
- 1> Fougerite -> C:\Users\Windaube\Programation\Fougerite-master\bin\Fougerite.dll
- 1> CodeContracts: Task manager is unavailable (unable to run in background).
- 1> CodeContracts: Fougerite: Run static contract analysis.
- 1> CodeContracts: Fougerite: Time spent connecting to the cache: 00:00:22.3017578
- 1> CodeContracts: Fougerite: Cache used: (LocalDb)\v11.0
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(228,13,228,13): warning CC1069: CodeContracts: Detected expression statement evaluated for potential side-effect in contracts of method 'Fougerite.Player.TeleportTo(Fougerite.Player)'.
- 1> CodeContracts: Suggested invariant: Contract.Invariant(this.res != null);
- 1> CodeContracts: Suggested invariant: Contract.Invariant(this.res != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.netUser != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.netUser != null);
- 1> CodeContracts: Suggested invariant: Contract.Invariant(this.ourPlayer.netUser.user != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.netUser != null);
- 1> CodeContracts: Suggested requires: Contract.Requires((de.Victim as Fougerite.Player) != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.controllable != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.controllable.transform != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.transform != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.netUser != null);
- 1> CodeContracts: Suggested invariant: Contract.Invariant(this.ourPlayer.netUser.user != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.transform != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.transform != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(this.ourPlayer.transform != null);
- 1> CodeContracts: Suggested requires: This precondition is redundant: Consider removing it.
- 1> CodeContracts: Suggested requires: This precondition is redundant: Consider removing it.
- 1> CodeContracts: Suggested requires: This precondition is redundant: Consider removing it.
- 1> CodeContracts: Suggested requires: This precondition is redundant: Consider removing it.
- 1> CodeContracts: Suggested assume: Contract.Assume(StructureMaster.AllStructures != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(DatablockDictionary.All != null);
- 1> CodeContracts: Suggested assume: Contract.Assume(DatablockDictionary.All != null);
- 1> CodeContracts: Fougerite: Validated: 88,3 %
- 1> CodeContracts: Fougerite: Checked 2520 assertions: 2224 correct 296 unknown
- 1> CodeContracts: Fougerite: Contract density: 4,69
- 1> CodeContracts: Fougerite: Total methods analyzed 466
- 1> CodeContracts: Fougerite: Methods with 0 warnings 349
- 1> CodeContracts: Fougerite: Total method analysis read from the cache 466
- 1> CodeContracts: Fougerite: Total time 20,500sec. 43ms/method
- 1> CodeContracts: Fougerite: Methods with necessary preconditions: 36
- 1> CodeContracts: Fougerite: Retained 0 preconditions after filtering
- 1> CodeContracts: Fougerite: Inferred 0 object invariants
- 1> CodeContracts: Fougerite: Retained 0 object invariants after filtering
- 1> CodeContracts: Fougerite: Detected 0 code fixes
- 1> CodeContracts: Fougerite: Proof obligations with a code fix: 0
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(345,17,347,51): warning : CodeContracts: requires unproven: source != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerItem.cs(95,17,95,60): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.RInventoryItem != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerItem.cs(95,17,95,60): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((IInventoryItem)this.RInventoryItem).datablock != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerItem.cs(135,17,135,52): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.RInventoryItem != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Events\GatherEvent.cs(24,9,24,72): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(r != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(86,13,86,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(arg != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(170,17,170,63): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(170,17,170,63): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(controllable.playerClient != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(170,17,170,63): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(obj != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(274,13,274,57): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(items != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(331,13,331,36): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(user != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(362,17,362,96): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(user != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(381,17,381,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rec != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(381,17,381,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rec.networkView != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(381,17,381,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rt != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(381,17,381,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rg != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(381,17,381,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(amount >= 0); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rec != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rec.inventory != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rec.inventory.networkView != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(db != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(amount >= 0); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(405,17,405,113): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(rt != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(259,17,259,62): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(294,17,294,104): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(306,17,306,91): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(318,17,318,103): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(160,13,160,81): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(205,13,205,73): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(263,17,263,74): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(263,17,263,74): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable.takeDamage != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(298,17,298,132): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(310,17,310,130): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(322,17,322,119): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)this.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(230,13,230,41): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(185,13,185,139): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)p.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(185,13,185,139): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)p.PlayerClient).controllable.transform != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(326,13,326,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(!string.IsNullOrEmpty(typeName)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(122,13,122,87): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p.PlayerClient.transform != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(313,13,313,89): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p.PlayerClient.transform != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(322,13,322,91): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p.PlayerClient.transform != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(22,9,22,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((PlayerClient)player.PlayerClient).controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(166,13,166,25): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.Items != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(212,41,212,51): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.Items != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(100,13,100,57): warning : CodeContracts: Possibly calling a method on a null reference 'quotedMessage'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(294,17,294,104): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(306,17,306,91): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(318,17,318,103): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(236,13,236,99): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(298,17,298,132): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(322,17,322,119): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(263,21,263,92): warning : CodeContracts: Possibly calling a method on a null reference 'obj2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(135,13,135,62): warning : CodeContracts: Possibly calling a method on a null reference 'master'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(156,21,156,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(168,21,168,98): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(310,17,310,130): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(107,17,107,54): warning : CodeContracts: Array access might be above the upper bound
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(74,43,74,70): warning : CodeContracts: Possibly calling a method on a null reference 'Assembly'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(115,17,115,96): warning : CodeContracts: requires unproven: go != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(100,13,100,43): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Events\HurtEvent.cs(25,17,25,63): warning : CodeContracts: requires unproven: c != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\NPC.cs(20,13,20,42): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(247,21,247,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(251,21,251,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(274,21,274,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(278,21,278,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(301,21,301,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(305,21,305,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(32,17,32,94): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(42,21,42,67): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(156,21,156,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(160,21,160,99): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(183,21,183,79): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(187,21,187,81): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(199,21,199,102): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(203,21,203,93): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(87,17,87,86): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(91,17,91,88): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(168,21,168,98): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(172,21,172,100): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(259,21,259,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(263,21,263,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(286,21,286,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(290,21,290,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(313,21,313,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(317,21,317,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(110,17,110,71): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(118,17,118,73): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(122,17,122,75): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(47,21,47,56): warning : CodeContracts: Possibly accessing a field on a null reference 'comp'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(140,21,140,73): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(144,21,144,83): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(231,21,231,71): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(235,21,235,81): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(107,17,107,54): warning : CodeContracts: Possible use of a null array 'args'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(148,17,148,137): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(148,17,148,137): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(121,17,121,158): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(251,21,251,84): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(256,25,256,59): warning : CodeContracts: Possibly calling a method on a null reference 'damage2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(49,21,49,88): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(160,21,160,99): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(172,21,172,100): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(243,17,243,54): warning : CodeContracts: Possibly calling a method on a null reference 'takeDamage'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(93,38,93,40): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(97,39,97,41): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(110,38,110,40): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(118,38,118,40): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(251,38,251,40): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(275,43,275,45): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(299,47,299,49): warning : CodeContracts: Possible use of a null array
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(281,17,281,47): warning : CodeContracts: Possibly calling a method on a null reference 'stringDB'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(282,17,282,47): warning : CodeContracts: Possibly calling a method on a null reference 'idDB'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(112,21,112,85): warning : CodeContracts: requires unproven: client != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(30,13,30,47): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(121,17,121,158): warning : CodeContracts: requires unproven: 0 <= length
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(40,25,40,133): warning : CodeContracts: Possibly calling a method on a null reference 'ConsoleNetworker.singleton.networkView'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(216,21,216,177): warning : CodeContracts: Possibly calling a method on a null reference 'block3.structureToPlacePrefab'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(211,21,211,174): warning : CodeContracts: Possibly calling a method on a null reference 'block2.ObjectToPlace'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerItem.cs(107,17,107,39): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.RInventoryItem != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(205,13,205,73): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(p.PlayerClient.controllable != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(158,13,158,42): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(this.Items != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(76,25,76,55): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(67,17,67,48): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(83,21,83,53): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(107,17,107,54): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(95,17,95,59): warning : CodeContracts: Possibly calling a method on a null reference 'item'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(99,17,99,60): warning : CodeContracts: Possibly calling a method on a null reference 'item2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(112,17,112,59): warning : CodeContracts: Possibly calling a method on a null reference 'item'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(120,17,120,59): warning : CodeContracts: Possibly calling a method on a null reference 'item'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(169,17,169,39): warning : CodeContracts: Possibly calling a method on a null reference 'item'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(180,17,180,40): warning : CodeContracts: Possibly calling a method on a null reference 'item2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(191,17,191,40): warning : CodeContracts: Possibly calling a method on a null reference 'item3'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(253,17,253,39): warning : CodeContracts: Possibly calling a method on a null reference 'item'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(277,21,277,44): warning : CodeContracts: Possibly calling a method on a null reference 'item2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(301,25,301,48): warning : CodeContracts: Possibly calling a method on a null reference 'item3'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(68,54,68,118): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(196,21,196,120): warning : CodeContracts: Possibly accessing a field on a null reference 'entry'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(68,54,68,118): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Web.cs(30,17,30,56): warning : CodeContracts: requires unproven: bytes != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(96,17,96,67): warning : CodeContracts: Possibly calling a method on a null reference 'Fougerite.Logger.LogWriter.LogWriter'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(110,17,110,68): warning : CodeContracts: Possibly calling a method on a null reference 'Fougerite.Logger.ChatWriter.LogWriter'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(67,13,67,106): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires((((Fougerite.Entity)this).Object as StructureComponent) != null); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(39,17,39,55): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(48,13,48,96): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(51,17,51,99): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(fileName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(70,25,70,88): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(412,17,412,71): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(str)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ItemsBlocks.cs(22,13,22,59): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(61,13,61,69): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(typeName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(303,13,303,64): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(77,13,77,69): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(typeName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(303,13,303,64): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(131,13,131,73): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(typeName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(303,13,303,64): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(195,13,195,74): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(typeName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(303,13,303,64): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(291,13,291,73): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(typeName)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(303,13,303,64): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\DataStore.cs(188,17,188,60): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(170,13,170,60): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(89,36,89,66): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(102,21,102,60): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(iniPath)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\IniParser.cs(27,3,27,53): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Events\HurtEvent.cs(34,17,34,59): warning : CodeContracts: requires unproven: c != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\NPC.cs(20,13,20,42): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(130,17,130,81): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(uid)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(79,13,79,59): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(221,17,221,79): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(uid)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(79,13,79,59): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Bootstrap.cs(43,13,43,64): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(ConfigPath)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Config.cs(16,13,16,66): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(121,17,121,158): warning : CodeContracts: Possibly calling a method on a null reference 'chatstr.NewText'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(112,21,112,85): warning : CodeContracts: Possibly accessing a field on a null reference 'arg.Deref.argUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(247,21,247,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(274,21,274,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(301,21,301,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(199,21,199,102): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(259,21,259,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(286,21,286,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(313,21,313,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(152,17,152,58): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(148,17,148,137): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(148,17,148,137): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(119,21,119,79): warning : CodeContracts: requires unproven: client != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(30,13,30,47): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Logger.cs(148,17,148,137): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(326,13,326,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((!(string.IsNullOrEmpty(typeName)) || typeName == null) || typeName.Length)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(326,13,326,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires((!(string.IsNullOrEmpty(typeName)) || typeName != null)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(326,13,326,50): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((!(string.IsNullOrEmpty(typeName)) || typeName == null) || !(typeName.Length))); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(127,17,127,80): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(30,17,30,77): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(144,21,144,83): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(235,21,235,81): warning : CodeContracts: Possibly accessing a field on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(126,17,126,68): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(26,13,26,91): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(73,13,73,91): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Server.cs(30,17,30,37): warning : CodeContracts: Possibly calling a method on a null reference 'player'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Server.cs(41,17,41,47): warning : CodeContracts: Possibly calling a method on a null reference 'player'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Server.cs(51,17,51,34): warning : CodeContracts: Possibly calling a method on a null reference 'player'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(188,17,188,104): warning : CodeContracts: Possibly calling a method on a null reference 'list'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(75,17,75,85): warning : CodeContracts: Possibly calling a method on a null reference 'bdb.resultItem'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(165,17,165,101): warning : CodeContracts: Possibly calling a method on a null reference '((UnityEngine.RaycastHit)Hit).transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(32,17,32,94): warning : CodeContracts: Possibly calling a method on a null reference 'p'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(47,21,47,56): warning : CodeContracts: Possibly calling a method on a null reference 'comp._master'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerItem.cs(89,21,89,63): warning : CodeContracts: Possibly calling a method on a null reference '((IInventoryItem)((Fougerite.PlayerItem)this).RInventoryItem).datablock'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(236,17,236,60): warning : CodeContracts: Possibly calling a method on a null reference '((Fougerite.Events.HurtEvent)he).Entity'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(342,17,343,78): warning : CodeContracts: Possibly calling a method on a null reference '((Fougerite.Player)item).SteamID'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(44,25,44,133): warning : CodeContracts: Possibly calling a method on a null reference 'ConsoleNetworker.singleton.networkView'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Web.cs(28,17,28,101): warning : CodeContracts: Possibly calling a method on a null reference '((System.Net.WebClient)client).Headers'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(342,17,343,78): warning : CodeContracts: Possibly accessing a field on a null reference '((Fougerite.Player)item).PlayerClient'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(163,17,163,66): warning : CodeContracts: requires unproven: !serializationStream.CanSeek || serializationStream.Length > 0
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Server.cs(41,17,41,47): warning : CodeContracts: requires unproven: !string.IsNullOrEmpty(playername)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(172,13,172,66): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\IniParser.cs(42,21,42,61): warning : CodeContracts: requires unproven: 0 <= length
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(194,64,194,66): warning : CodeContracts: Possible use of a null array '((LootSpawnList)list).LootPackages'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\DataStore.cs(161,25,161,65): warning : CodeContracts: requires unproven: key != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\IniParser.cs(63,5,63,6): warning : CodeContracts: invariant unproven: !string.IsNullOrEmpty(Name)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\IniParser.cs(22,9,22,57): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(95,21,95,62): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Data.cs(92,41,92,64): warning : CodeContracts: requires unproven: !String.IsNullOrEmpty(path)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(247,21,247,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(251,21,251,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(251,21,251,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(274,21,274,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(278,21,278,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(278,21,278,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(301,21,301,95): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(305,21,305,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(305,21,305,97): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(203,21,203,93): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(259,21,259,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(263,21,263,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(263,21,263,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(286,21,286,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(290,21,290,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(290,21,290,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(313,21,313,123): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(317,21,317,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(317,21,317,125): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(81,61,81,63): warning : CodeContracts: Possible use of a null array 'block.Combinations'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(199,21,199,123): warning : CodeContracts: Possibly calling a method on a null reference 'entry.obj'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(340,17,340,64): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(366,17,366,67): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(412,17,412,71): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(594,49,594,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(111,49,111,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(81,49,81,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(101,49,101,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(121,49,121,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(91,49,91,85): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(34,53,34,89): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(147,43,147,68): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(178,39,178,41): warning : CodeContracts: Possible use of a null array 'this.BarItems'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(189,39,189,41): warning : CodeContracts: Possible use of a null array 'this.ArmorItems'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(220,39,220,41): warning : CodeContracts: Possible use of a null array 'this.ArmorItems'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\PlayerInv.cs(228,39,228,41): warning : CodeContracts: Possible use of a null array 'this.BarItems'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(341,17,344,51): warning : CodeContracts: requires unproven: source != null
- 1>C:\Program Files (x86)\Microsoft\Contracts\MsBuild\v4.0\Microsoft.CodeContractAnalysis.targets(1,1-1): warning : CodeContracts: Fougerite.Server.#ctor()[0x32]: invariant unproven: Contract.ForAll(players, p => p != null)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Server.cs(21,13,21,74): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(431,21,431,68): warning : CodeContracts: requires unproven: p != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(94,13,94,42): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(72,21,72,53): warning : CodeContracts: requires unproven: Obj != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(22,13,22,44): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\DataStore.cs(160,30,160,51): warning : CodeContracts: Possibly unboxing a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(36,21,36,53): warning : CodeContracts: assert unproven
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(112,21,112,85): warning : CodeContracts: Possibly accessing a field on a null reference 'arg.Deref'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(121,17,121,158): warning : CodeContracts: Possibly accessing a field on a null reference 'chatstr'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(154,17,154,51): warning : CodeContracts: Possibly accessing a field on a null reference 'a.Deref'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(187,13,187,45): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((entity as StructureComponent) != null || (entity as DeployableObject) != null)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(210,13,210,45): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((entity as StructureComponent) != null || (entity as DeployableObject) != null)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(228,13,228,45): warning : CodeContracts: Missing precondition in an externally visible method. Consider adding Contract.Requires(((entity as StructureComponent) != null || (entity as DeployableObject) != null)); for parameter validation
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(65,42,65,44): warning : CodeContracts: Possible use of a null array 'DatablockDictionary.All'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\World.cs(206,42,206,44): warning : CodeContracts: Possible use of a null array 'DatablockDictionary.All'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(65,13,65,58): warning : CodeContracts: Possibly calling a method on a null reference 'type.BaseType'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Util.cs(81,13,81,58): warning : CodeContracts: Possibly calling a method on a null reference 'type.BaseType'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(297,21,297,54): warning : CodeContracts: Possibly calling a method on a null reference 'victim'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(301,25,301,51): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(305,25,305,56): warning : CodeContracts: Possibly calling a method on a null reference 'npc2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(305,25,305,56): warning : CodeContracts: Possibly calling a method on a null reference 'npc2'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(294,17,294,52): warning : CodeContracts: Possibly calling a method on a null reference (Fixing this warning may solve 2 additional issues in the code)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(367,17,367,107): warning : CodeContracts: Possibly calling a method on a null reference '((Fougerite.Player)item).SteamID'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(371,17,371,65): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.netUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(334,17,334,82): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(391,17,391,78): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(403,17,403,78): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(415,17,415,78): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(243,17,243,53): warning : CodeContracts: Possibly accessing a field on a null reference 'this.ourPlayer.netUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(342,17,342,65): warning : CodeContracts: Possibly accessing a field on a null reference 'this.ourPlayer.netUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(346,17,346,66): warning : CodeContracts: Possibly accessing a field on a null reference 'this.ourPlayer.netUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(119,21,119,79): warning : CodeContracts: Possibly accessing a field on a null reference 'arg.Deref.argUser'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ItemsBlocks.cs(26,17,26,59): warning : CodeContracts: Possibly calling a method on a null reference 'block'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(141,21,141,52): warning : CodeContracts: Possibly calling a method on a null reference 'ModuleContainer'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(281,17,281,47): warning : CodeContracts: Possibly calling a method on a null reference 'block'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(596,17,596,42): warning : CodeContracts: Possibly calling a method on a null reference 'player'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(115,17,115,96): warning : CodeContracts: Possibly calling a method on a null reference 'entity'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Events\HurtEvent.cs(44,17,44,49): warning : CodeContracts: Possibly accessing a field on a null reference 'extraData'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(239,21,239,239): warning : CodeContracts: Possibly calling a method on a null reference 'component'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(149,21,149,47): warning : CodeContracts: requires unproven: en != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(37,13,37,43): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(102,17,102,72): warning : CodeContracts: Possibly accessing a field on a null reference '((Fougerite.Player)player).ourPlayer'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(208,13,208,69): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.controllable'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(128,17,129,157): warning : CodeContracts: Possibly calling a method on a null reference '((Fougerite.ModuleContainer)CurrentModule).Plugin'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Player.cs(208,13,208,69): warning : CodeContracts: Possibly calling a method on a null reference 'this.ourPlayer.controllable.transform'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(83,21,83,43): warning : CodeContracts: Possibly calling a method on a null reference 'zoned'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(102,21,102,43): warning : CodeContracts: Possibly calling a method on a null reference 'zoned'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ItemsBlocks.cs(26,17,26,59): warning : CodeContracts: Possibly calling a method on a null reference '((UnityEngine.Object)block).name'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(439,21,439,59): warning : CodeContracts: requires unproven: p != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(94,13,94,42): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(68,13,68,54): warning : CodeContracts: Possibly calling a method on a null reference 'internalInventory' (Fixing this warning may solve one additional issue in the code)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\ModuleManager.cs(119,21,119,48): warning : CodeContracts: Possibly calling a method on a null reference 'CurrentModule'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(73,21,73,61): warning : CodeContracts: Possibly calling a method on a null reference 'internalInventory'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(115,17,115,96): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Entity.cs(199,21,199,102): warning : CodeContracts: Possibly calling a method on a null reference
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(297,21,297,54): warning : CodeContracts: Possibly calling a method on a null reference 'victim'
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(248,17,248,65): warning : CodeContracts: requires unproven: e != null
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Zone3D.cs(75,13,75,42): warning : CodeContracts: location related to previous warning
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(300,21,300,77): warning : CodeContracts: Possibly calling a method on a null reference (Fixing this warning may solve 3 additional issues in the code)
- 1>c:\Users\Windaube\Programation\Fougerite-master\Fougerite\Fougerite\Hooks.cs(67,13,67,103): warning : CodeContracts: Possibly calling a method on a null reference '((Fougerite.Player)player).Inventory'
- 1> CodeContracts: Checked 2520 assertions: 2224 correct 296 unknown
- 1> CodeContracts: Fougerite:
- 1> CodeContracts: Fougerite: Static contract analysis done.
- ========== Génération : 0 a réussi, 1 a échoué, 0 mis à jour, 0 a été ignoré ==========
Advertisement
Add Comment
Please, Sign In to add comment