public void handleHaltDocking(List <CommunicationDataStructureValue> responseData)
{
int id = 0;
int dockingWithId = 0;
string reason = "unknown-connection";
foreach (CommunicationDataStructureValue data in responseData)
{
if (data.getName() == "id")
{
id = int.Parse(data.getValue());
}
else if (data.getName() == "reason")
{
reason = data.getValue();
}
else if (data.getName() == "dockingWithId")
{
dockingWithId = int.Parse(data.getValue());
}
}
if (id != 0 && id == Communication.currentNode.id)
{
Display.printDebug("[Incoming] Halt docking reason " + reason);
DockingProcedure procedure = Docking.getDroneDockingProcedure(dockingWithId);
if (procedure != null)
{
procedure.haltDocking(reason, false);
}
Communication.currentNode.navHandle.activeDockingProcedure = null;
}
}
protected Widget(string name, Docking dock, IWidgetStyle style)
{
unchecked {
ID = Interlocked.Increment(ref NextID);
}
if (name == null)
{
Name = String.Empty;
}
else
{
Name = name;
}
if (style != null)
{
Styles = new WidgetStyleProvider(style);
}
else
{
Styles = new WidgetStyleProvider(new EmptyWidgetStyle());
}
Dock = dock;
ScaleFactor = 1f;
CanSelect = true;
// we want to compare sizes fast and implizit
m_MaxSize = SizeMax;
m_Visible = true;
Enabled = true;
AutoContextMenu = true;
}
public LegendPlacementOption(ReadOnlyDictionary <CalculationsMode, IChart> charts, Docking placement)
: base(placement, charts)
{
Checked = chart2d.Legends[0].Docking == placement;
this.placement = placement;
IsOption = true;
}
/// <summary>
/// Name：设置标题
/// </summary>
/// <param name="chart">图表对象</param>
/// <param name="chartName">图表名称</param>
public static void SetTitle(Chart chart, string chartName, Font font, Docking docking, Color foreColor)
{
chart.Titles.Add(chartName);
chart.Titles[0].Font = font;
chart.Titles[0].Docking = docking;
chart.Titles[0].ForeColor = foreColor;
}
public StatusTextPanel(string name, Docking dock, string text = null)
: base(name, dock, new StatusPanelStyle(), text, null)
{
Format = FontFormat.DefaultSingleLine;
Margin = Padding.Empty;
InvalidateOnHeartBeat = true;
}
public TextWidget(string name, Docking dock, IWidgetStyle style, string text, IGUIFont font)
: base(name, dock, style)
{
this.m_Padding = new Padding(3);
this.HAlign = Alignment.Near;
this.VAlign = Alignment.Center;
if (text == null)
{
m_Text = String.Empty;
}
else
{
m_Text = text;
}
if (font == null)
{
m_Font = SummerGUIWindow.CurrentContext.FontManager.DefaultFont;
}
else
{
m_Font = font;
}
m_IconFont = SummerGUIWindow.CurrentContext.FontManager.SmallIcons;
Format = FontFormat.DefaultSingleLineCentered;
CanFocus = false;
}
// force redraw with same data
void ILocalizableComponent.LocalizationChanged(Docking.DockItem item)
{
Object save = this.propertygrid1.CurrentObject;
this.propertygrid1.CurrentObject = null;
this.propertygrid1.CurrentObject = save;
this.propertygrid1.QueueDraw();
}
public MainWindow()
{
InitializeComponent();
// initialize popup forms
CrossThreadDialogs.InitializeDialogs(this);
// add version to form title
Text += $@" V{Version.String}";
// initialize settings
_applicationSettings.ReadSettings();
_applicationSettings.FormSettings.LoadLocation(this);
UserModeRemember.Checked = _applicationSettings.RememberUserMode;
// initialize the VisiLEDComPort
_visiLedThreadedComPort = new VisiLEDThreadedComPort("VisiLEDComPort", _closingWorker);
_visiLedThreadedComPort.RegisterConnectionUpdate(MessageBroker.MessageContext.NewThreadToGui, UpdateConnectionButton);
UpdateConnectionButton(new ThreadedComPortBase.ConnectionUpdateArgs());
// initialize docking
_docking = new Docking(this, dockPanel, menuStrip1);
_docking.AddForm(new CommonControls(_docking, _visiLedThreadedComPort));
_docking.AddForm(new CommDialog(_visiLedThreadedComPort));
_docking.AddForm(new ChannelControls("Channel A", Channel.A, _visiLedThreadedComPort));
_docking.AddForm(new ChannelControls("Channel B", Channel.B, _visiLedThreadedComPort));
_docking.LoadLayout();
// initialize forms from settings
SetUserMode(_applicationSettings.RememberUserMode ? _applicationSettings.UserMode : UserModes.Simple);
ChangeFontAll(_applicationSettings.FontSize);
// Handlers
FormClosing += MainWindow_FormClosing;
}
public Title Add(string text, Docking docking, Font font, Color color)
{
Title title = new Title(text, docking, font, color);
base.List.Add(title);
return(title);
}
public ComplexSplitContainer(string name, Docking dock, IWidgetStyle style)
: base(name, dock, style)
{
/***
* PanelLeft = new ScrollableContainer ("panelleft", Docking.Fill, new SplitContainerPanelStyle ());
* PanelCenter = new ScrollableContainer ("panelcenter", Docking.Fill, new SplitContainerPanelStyle ());
* PanelBottom = new ScrollableContainer ("panelbottom", Docking.Fill, new SplitContainerPanelStyle ());
* PanelRight = new ScrollableContainer ("panelright", Docking.Fill, new SplitContainerPanelStyle ());
***/
PanelLeft = new ScrollableContainer("panelleft", Docking.Fill, new SplitContainerPanelStyle());
PanelCenter = new ScrollableContainer("panelcenter", Docking.Fill, new EmptyWidgetStyle());
PanelBottom = new ScrollableContainer("panelbottom", Docking.Fill, new EmptyWidgetStyle());
PanelRight = new ScrollableContainer("panelright", Docking.Fill, new EmptyWidgetStyle());
SplitterLeft = new VerticalSplitter("leftsplitter", new SplitContainerTransparentSplitterStyle());
SplitterBottom = new HorizontalSplitter("bottomsplitter", new SplitContainerTransparentSplitterStyle());
SplitterRight = new VerticalSplitter("rightsplitter", new SplitContainerTransparentSplitterStyle());
PanelCenter.Dock = Docking.Fill;
Children.Add(SplitterLeft);
Children.Add(SplitterBottom);
Children.Add(SplitterRight);
Children.Add(PanelLeft);
Children.Add(PanelCenter);
Children.Add(PanelBottom);
Children.Add(PanelRight);
SplitterLeft.Distance = 0.25f;
SplitterBottom.Distance = -0.25f;
SplitterRight.Distance = -0.25f;
}
public CommonControls(Docking docking, VisiLEDThreadedComPort visiLedThreadedComPort)
{
InitializeComponent();
saveLoad.ToggleDisabledColor = Globals.OffColor;
saveLoad.ToggleDisabledText = "Save";
saveLoad.ToggleEnabledColor = Globals.OnColor;
saveLoad.ToggleEnabledText = "Save";
saveLoad.ToggleSet(false);
DisplayControls(false);
_visiLedThreadedComPort = visiLedThreadedComPort;
_docking = docking;
_visiLedThreadedComPort.RegisterConnectionUpdate(MessageBroker.MessageContext.NewThreadToGui, args => DisplayControls(args.IsConnected));
_visiLedThreadedComPort.RegisterMasterStatusUpdate(MessageBroker.MessageContext.NewThreadToGui, UpdateForm);
HideOnClose = true;
ShowHint = DockState.Document;
CloseButton = false;
CloseButtonVisible = false;
var saveTip = new ToolTip();
saveTip.SetToolTip(saveLoad, _helpMessage);
saveTip.OwnerDraw = true;
saveTip.Draw += saveTip_Draw;
saveTip.Popup += saveTip_Popup;
Load += LoadEvent;
}
/// <summary>
/// 设置图例
/// </summary>
/// <param name="chart">图表对象</param>
/// <param name="docking">停靠位置</param>
/// <param name="align">字符串对齐方式</param>
/// <param name="backColor">背景颜色</param>
/// <param name="foreColor">字体颜色</param>
public static void SetLegend(Chart chart, Docking docking, StringAlignment align, Color backColor, Color foreColor)
{
chart.Legends[0].Docking = docking;
chart.Legends[0].Alignment = align;
chart.Legends[0].BackColor = backColor;
chart.Legends[0].ForeColor = foreColor;
}
public Panel(string name, Docking dock, IWidgetStyle style)
: base(name, dock, style)
{
// ToDo: GUG BUG BUG
//CanFocus = false;
TabIndex = -1;
}
public Title Add(string text, Docking docking)
{
Title title = new Title(text, docking);
base.List.Add(title);
return(title);
}
public IdeWindow()
{
InitializeComponent();
PluginManager.Core = this;
InitializeDocking();
PluginManager.Register(null, _projectTree, "Project Tree");
Text = string.Format("{0} {1} {2}", Versioning.Name, Versioning.Version,
Environment.Is64BitProcess ? "x64" : "x86");
toolNew.DropDown = menuNew.DropDown;
BuildEngine.Initialize();
Core.Settings.Apply();
Docking.Show(_projectTree);
Docking.Activate(_projectTree);
Refresh();
if (Core.Settings.AutoOpenLastProject)
{
menuOpenLastProject_Click(null, EventArgs.Empty);
}
StyleManager.AutoStyle(this);
}
public OverlayContainer(string name, Docking dock, IWidgetStyle style)
: base(name, dock, style)
{
ZIndex = 10000;
AutoScroll = true;
CanFocus = true;
}
public ImageButton(string name, Docking dock, string text, ImageList imageList, string imageKey, IWidgetStyle style)
: base(name, dock, style)
{
Image = new ImagePanel("image", Docking.Left, imageList, imageKey);
Image.Style.BorderColorPen.Width = 1;
Image.SizeMode = ImageSizeModes.AutoSize;
Image.VAlign = Alignment.Center;
Image.HAlign = Alignment.Center;
Children.Add(Image);
Text = new TextWidget("text", Docking.Fill,
new WidgetStyle(Color.Empty, style.ForeColorPen.Color, Color.Empty),
text,
SummerGUIWindow.CurrentContext.FontManager.StatusFont);
Text.HAlign = Alignment.Center;
Text.VAlign = Alignment.Center;
//Text.Margin = new Padding (3, 2, 3, 4);
//Text.Margin = new Padding (3);
Children.Add(Text);
Padding = new Padding(3);
//Margin = new Padding (3);
}
protected ScrollBar(string name, Docking dock)
: base(name, dock, new ScrollBarStyle())
{
// without this, the pressed state can't be activated
this.Styles.SetStyle(new ScrollBarStyle(), WidgetStates.Pressed);
ZIndex = 1000;
}
protected SliderBase(string name, Docking dock, IWidgetStyle style)
: base(name, dock, style)
{
MinValue = 0;
MaxValue = 1;
Value = 0;
}
public ActionResult Reset(int DockingID, int LocationID)
{
int UserID = GetLoggedInUID();
Location loc = _repo.GetLocation(LocationID);
Docking dock = _repo.GetDockingByID(DockingID);
bool rslt = false;
if (dock.IsActive == true && loc.IsOcuppied == true)
{
loc.IsOcuppied = false;
loc.LastUpdate = DateTime.Now.ConvertToEST();
dock.IsActive = false;
dock.LastUpdate = DateTime.Now.ConvertToEST();
dock.LastUpdateBy = UserID;
rslt = _repo.UpdateLocationDock(loc, dock);
}
return(Json(Url.Action("GetTimerList", "Admin")));
}
public LegendPlacementOption(IChart2D chart2d, Docking placement)
: base(placement)
{
Checked = chart2d.LegendDocking == placement;
_chart2D = chart2d;
this.placement = placement;
IsOption = true;
}
ButtonWidget Make( int x, int y, string text, Docking vDocking, Action<Game, ButtonWidget> onClick,
Func<Game, string> getter, Action<Game, string> setter)
{
ButtonWidget widget = ButtonWidget.Create( game, x, y, 240, 35, text, Docking.Centre, vDocking, titleFont, onClick );
widget.GetValue = getter;
widget.SetValue = setter;
return widget;
}
public async Task <IActionResult> Post([FromBody] Docking docking)
{
await _context.Dockings.AddAsync(docking);
await _context.SaveChangesAsync();
return(new CreatedAtActionResult("Get", "Docking", new { id = docking.Id }, docking));
}
public ScrollButton(string name, Alignment align, Docking dock)
: base(name, dock, new ScrollChildStyle())
{
Align = align;
Styles.SetStyle(new ScrollButtonStyleDisabled(), WidgetStates.Disabled);
Styles.SetStyle(new ScrollButtonStyleHover(), WidgetStates.Hover);
Styles.SetStyle(new ScrollButtonStylePressed(), WidgetStates.Pressed);
Padding = new Padding(7);
}
public ImagePanel(string name, Docking dock, TextureImage image, WidgetStyle style)
: base(name, dock, style)
{
SizeMode = ImageSizeModes.ShrinkToFit;
VAlign = Alignment.Center;
HAlign = Alignment.Center;
Image = image;
ShouldDisposeImage = false;
}
public ImagePanel(string name, Docking dock, string filePath, WidgetStyle style)
: base(name, dock, style)
{
SizeMode = ImageSizeModes.ShrinkToFit;
VAlign = Alignment.Center;
HAlign = Alignment.Center;
FilePath = filePath;
ShouldDisposeImage = true;
}
public Title(string text,
Docking docking,
Font font,
Color color)
{
this.Text = text;
this.Docking = docking;
this.Font = font;
this.ForeColor = color;
}
public ImagePanel(string name, Docking dock, ImageList imageList, string imageKey, WidgetStyle style)
: base(name, dock, style)
{
SizeMode = ImageSizeModes.ShrinkToFit;
VAlign = Alignment.Center;
HAlign = Alignment.Center;
m_ImageList = imageList;
ImageKey = imageKey;
ShouldDisposeImage = false;
}
public Title (string text,
Docking docking,
Font font,
Color color)
{
this.Text = text;
this.Docking = docking;
this.Font = font;
this.ForeColor = color;
}
private void Initialize(string text, Docking docking, Font font, Color color)
{
this.text = text;
this.docking = docking;
this.color = color;
if (font != null)
{
this.font = font;
}
}
public void handleDockingRequest(string data)
{
if (Communication.currentNode.type != "mothership")
{
return; // Motherships handle docking requests
}
string[] dataSplitted = data.Split('_');
if (dataSplitted.Count() == 2)
{
int id = int.Parse(dataSplitted[0]);
if (Communication.currentNode.id != id)
{
return; // If not my id
}
int slaveId = int.Parse(dataSplitted[1]);
int nodeIndex = this.getNodeIndexById(slaveId);
if (nodeIndex == -1)
{
Communication.connectedNodes.Add(slaveId);
Drone node = new Drone(slaveId);
node.initNavigation(this.myGrid);
Communication.connectedNodesData.Add(node);
nodeIndex = this.getNodeIndexById(slaveId);
}
AnchoredConnector available = AnchoredConnector.getAvailableAnchoredConnector();
if (available == null)
{
Display.print("Docking request denied (Connectors full).");
}
else
{
if (Docking.dockingWithDrone(slaveId))
{
Display.print("Already accepted, continue on docking.");
this.sendDockingAccepted(slaveId);
this.sendConnectorData(slaveId);
}
else
{
Display.print("Assigning a proper connector.");
DockingProcedure dock = new DockingProcedure(slaveId);
dock.setNavHandle(Communication.currentNode.navHandle);
dock.myConnector = available;
dock.initDocking();
Docking.activeDockingProcedures.Add(dock);
this.sendDockingAccepted(slaveId);
this.sendConnectorData(slaveId);
}
}
}
else
{
Display.print("[ERROR] Docking request invalid. (" + data + ")");
}
}
public static TextWidget Create( Game game, int x, int y, string text, Docking horizontal, Docking vertical, Font font )
{
TextWidget widget = new TextWidget( game, font );
widget.Init();
widget.HorizontalDocking = horizontal;
widget.VerticalDocking = vertical;
widget.XOffset = x;
widget.YOffset = y;
widget.SetText( text );
return widget;
}
public ConsoleOutputWidget(string name, Docking dock, IWidgetStyle style)
: base(name, dock, style)
{
//Font = ApplicationWindow.CurrentContext.FontManager.MonoFont;
Padding = new Padding(16);
IsAnimationRunning = false;
Logger = new EventLogger(LogLevels.Verbose);
Logger.LogEvent += (sender, e) => AddParagraph(e.Message.Replace("\t", " "));
Logging.RegisterLogger(Logger);
}
public CircleButton(string name, Docking dock, string text, ImageList imageList, string imageKey, WidgetStyle style)
: base(name, dock, text, imageList, imageKey, style)
{
if ((style as CircleWidgetStyle) == null)
{
this.LogWarning("Style should be of type CircleWidgetStyle");;
}
Image.VAlign = Alignment.Near;
Padding = Padding.Empty;
}
public static ButtonWidget Create( Game game, int x, int y, int width, int height, string text, Docking horizontal,
Docking vertical, Font font, Action<Game, ButtonWidget> onClick)
{
ButtonWidget widget = new ButtonWidget( game, font );
widget.Init();
widget.HorizontalDocking = horizontal;
widget.VerticalDocking = vertical;
widget.XOffset = x;
widget.YOffset = y;
widget.DesiredMaxWidth = width;
widget.DesiredMaxHeight = height;
widget.SetText( text );
widget.OnClick = onClick;
return widget;
}
public static MenuInputWidget Create( Game game, int x, int y, int width, int height, string text, Docking horizontal,
Docking vertical, Font font, Font tildeFont, Font hintFont, MenuInputValidator validator)
{
MenuInputWidget widget = new MenuInputWidget( game, font, tildeFont, hintFont );
widget.HorizontalDocking = horizontal;
widget.VerticalDocking = vertical;
widget.XOffset = x;
widget.YOffset = y;
widget.DesiredMaxWidth = width;
widget.DesiredMaxHeight = height;
widget.chatInputText.Append( 0, text );
widget.Validator = validator;
widget.Init();
return widget;
}
void ILocalizableComponent.LocalizationChanged(Docking.DockItem item)
{
UpdateList();
UpdateChangeCount();
}
private Legend GetLegend(string title, Docking dock)
{
Legend legend = new Legend();
legend.Title = title;
legend.Docking = dock;
legend.Alignment = StringAlignment.Center;
return legend;
}
public Title (string text, Docking docking)
{
this.Text = text;
this.Docking = docking;
}
ButtonWidget Make( int x, int y, string text, Docking vDocking, Action<Game, ButtonWidget> onClick )
{
return ButtonWidget.Create( game, x, y, 240, 35, text, Docking.Centre, vDocking, titleFont, onClick );
}
/// <summary>
/// Add Legend
/// </summary>
/// <param name="alignment"></param>
/// <param name="docking"></param>
/// <param name="_chart"></param>
public static void AddLegend(System.Drawing.StringAlignment alignment, Docking docking, ref Chart _chart)
{
var legend = new Legend()
{
Name = "Legend",
Alignment = alignment,
Docking = docking,
Font = new System.Drawing.Font("Arial", 10),
BackColor = System.Drawing.Color.Transparent
};
_chart.Legends.Add(legend);
}
void ILocalizableComponent.LocalizationChanged(Docking.DockItem item)
{
}
