public DebuggerController(DebuggablePlatform platform)
 {
     Platform = platform;
 }
 public DebuggerController(DebuggablePlatform platform)
 {
     Platform = platform;
 }
 public DebuggableEditorProvider(DebuggablePlatform platform) : base(platform)
 {
 }
 public DebuggableGuiProvider(DebuggablePlatform platform) : base(platform)
 {
 }
 public DebuggableGuiProvider(DebuggablePlatform platform)
     : base(platform)
 {
 }
 public DebuggableEditorProvider(DebuggablePlatform platform)
     : base(platform)
 {
 }