Example #1
0
        public static World GetWorld()
        {
            Contract.Ensures(Contract.Result<World>() != null);

            if (world == null)
            {
                world = new World();
            }
            return world;
        }