fix: fix shit

BallanceTasEditor/BallanceTasEditor/App.xaml.cs

@@ -1,4 +1,8 @@
-using System.Configuration;
+// Import LanguageExt globally
+global using LanguageExt;
+global using static LanguageExt.Prelude;
+
+using System.Configuration;
 using System.Data;
 using System.Windows;
 

BallanceTasEditor/BallanceTasEditor/BallanceTasEditor.csproj

@@ -3,6 +3,7 @@
   <PropertyGroup>
     <OutputType>WinExe</OutputType>
     <TargetFramework>net8.0-windows</TargetFramework>
+    <Nullable>enable</Nullable>
     <UseWPF>true</UseWPF>
     <ApplicationIcon>Assets\App.ico</ApplicationIcon>
     <ApplicationManifest>app.manifest</ApplicationManifest>
@@ -15,6 +16,7 @@
   <ItemGroup>
     <PackageReference Include="CommunityToolkit.Mvvm" Version="8.2.1" />
     <PackageReference Include="DotNetZip" Version="1.9.1.8" />
+    <PackageReference Include="LanguageExt.Core" Version="4.4.9" />
   </ItemGroup>
 
 </Project>

BallanceTasEditor/BallanceTasEditor/Converters/GenericConverter.cs

@@ -0,0 +1,50 @@
+using System;
+using System.Collections.Generic;
+using System.Globalization;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+using System.Windows;
+using System.Windows.Data;
+
+namespace BallanceTasEditor.Converters {
+    [ValueConversion(typeof(int), typeof(string))]
+    public class FpsConverter : IValueConverter {
+        public static FpsConverter Instance = new FpsConverter();
+
+        public object Convert(object value, Type targetType, object parameter, CultureInfo culture) {
+            if (value is int tv) {
+                if (tv <= 0) return DependencyProperty.UnsetValue;
+                else return Utils.FpsConverter.ToDelta(tv).ToString();
+            } else {
+                return DependencyProperty.UnsetValue;
+            }
+        }
+
+        public object ConvertBack(object value, Type targetType, object parameter, CultureInfo culture) {
+            return Binding.DoNothing;
+        }
+    }
+
+    /// <summary>
+    /// 将IsEnable转换为Visibility。
+    /// </summary>
+    [ValueConversion(typeof(bool), typeof(Visibility))]
+    public class VisibilityConverter : IValueConverter {
+        public static VisibilityConverter Instance = new VisibilityConverter();
+
+        public object Convert(object value, Type targetType, object parameter, CultureInfo culture) {
+            if (value is bool bv) {
+                if (bv) return Visibility.Visible;
+                else return Visibility.Collapsed;
+            } else {
+                return DependencyProperty.UnsetValue;
+            }
+        }
+
+        public object ConvertBack(object value, Type targetType, object parameter, CultureInfo culture) {
+            return Binding.DoNothing;
+        }
+    }
+
+}

BallanceTasEditor/BallanceTasEditor/Converters/StringifyConverter.cs

@@ -0,0 +1,35 @@
+using System;
+using System.Collections.Generic;
+using System.Globalization;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+using System.Windows;
+using System.Windows.Data;
+
+namespace BallanceTasEditor.Converters {
+
+    [ValueConversion(typeof(int?), typeof(string))]
+    public class StringifyIntegerConverter : IValueConverter {
+        public static StringifyIntegerConverter Instance = new StringifyIntegerConverter();
+
+        public object Convert(object value, Type targetType, object parameter, CultureInfo culture) {
+            if (value is null) {
+                return "";
+            } else if (value is int iv) {
+                return iv.ToString();
+            } else {
+                return DependencyProperty.UnsetValue;
+            }
+        }
+
+        public object ConvertBack(object value, Type targetType, object parameter, CultureInfo culture) {
+            if (value is string s) {
+                if (int.TryParse(s, out int iv)) return iv;
+                else return null;
+            } else {
+                return DependencyProperty.UnsetValue;
+            }
+        }
+    }
+}

BallanceTasEditor/BallanceTasEditor/Utils/TasOperation.cs

@@ -0,0 +1,100 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+
+namespace BallanceTasEditor.Utils {
+
+    /// <summary>
+    /// TAS操作接口。所有TAS操作均需要支持此接口。
+    /// </summary>
+    public interface ITasOperation {
+        /// <summary>
+        /// 执行对应的TAS操作。
+        /// </summary>
+        /// <param name="storage">所要操作的TAS存储容器。</param>
+        void Execute(ITasStorage<TasFrame> storage);
+    }
+
+    /// <summary>
+    /// 可撤销的TAS操作接口，所有可撤销的TAS操作均需支持此接口。
+    /// </summary>
+    public interface ITasRevocableOperation : ITasOperation {
+        /// <summary>
+        /// 撤销对应TAS操作。
+        /// </summary>
+        /// <param name="storage">所要撤销操作的TAS存储容器。</param>
+        void Revoke(ITasStorage<TasFrame> storage);
+    }
+
+    public enum CellKeysOperationKind {
+        Set, Unset, Flip
+    }
+
+    public class CellKeysOperation : ITasRevocableOperation {
+
+        private CellKeysOperationKind m_Kind;
+
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+
+        public void Revoke(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class CellFpsOperation : ITasRevocableOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+
+        public void Revoke(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class RemoveFrameOperation : ITasRevocableOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+
+        public void Revoke(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class AddFrameOperation : ITasRevocableOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+
+        public void Revoke(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class InsertFrameOperation : ITasRevocableOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+
+        public void Revoke(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class ClearKeysOperation : ITasOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+    public class UniformFpsOperation : ITasOperation {
+        public void Execute(ITasStorage<TasFrame> storage) {
+            throw new NotImplementedException();
+        }
+    }
+
+}

BallanceTasEditor/BallanceTasEditor/Utils/Validator.cs

@@ -0,0 +1,97 @@
+using LanguageExt.Common;
+using LanguageExt.TypeClasses;
+using System;
+using System.Collections.Generic;
+using System.ComponentModel.DataAnnotations;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+
+namespace BallanceTasEditor.Utils {
+
+    // YYC MARK:
+    // 这些验证器尽管服务于UI，但是并不遵循WPF或者CommunityToolkit.Mvvm的Validator模型，
+    // 所以我把他们放在这里。
+
+    /// <summary>
+    /// 验证器接口。
+    /// </summary>
+    /// <typeparam name="TIn">验证器接受的待验证数据的类型。</typeparam>
+    /// <typeparam name="TOut">验证器验证完毕后，会输出的类型。</typeparam>
+    public interface IValidator<TIn, TOut> {
+        /// <summary>
+        /// 验证给定数据是否正确。
+        /// </summary>
+        /// <param name="data">要验证的数据。</param>
+        /// <returns>数据正确，或对应的错误信息。</returns>
+        ValidationResult Validate(TIn data);
+
+        /// <summary>
+        /// 获取验证无误数据转换后的数据。
+        /// </summary>
+        /// <param name="data">验证无误，用于获取输出的数据。</param>
+        /// <returns>输出的数据。</returns>
+        /// <exception cref="ArgumentException">给定数据验证时出现错误。</exception>
+        TOut Fetch(TIn data);
+    }
+
+    /// <summary>
+    /// 以字符串呈现的数据的通用验证器
+    /// </summary>
+    public abstract class StringifiedValueValidator<T> : IValidator<string, T> where T : notnull {
+        /// <summary>
+        /// 用户需要实现的验证函数。
+        /// </summary>
+        /// <param name="stringifiedValue">要进行验证的数据。</param>
+        /// <returns>验证完毕用于输出的数值，或者验证失败时的错误消息。</returns>
+        protected abstract Either<T, string> ValidateValue(string stringifiedValue);
+
+        public ValidationResult Validate(string data) {
+            return ValidateValue(data).Match(
+                Left: (_) => ValidationResult.Success,
+                Right: (v) => new ValidationResult(v)
+            );
+        }
+
+        public T Fetch(string data) {
+            return ValidateValue(data).Match(
+                Left: (v) => v,
+                Right: (msg) => throw new ArgumentException($"Given value can not pass Validator due to {msg}.")
+            );
+        }
+    }
+
+    public abstract class IntegerValidator : StringifiedValueValidator<int> {
+        protected override Either<int, string> ValidateValue(string stringifiedValue) {
+            if (int.TryParse(stringifiedValue, out int val)) {
+                return Left(val);
+            } else {
+                return Right("Given string do not represent any valid number.");
+            }
+        }
+    }
+
+    public class FpsValidator : IntegerValidator {
+        public static FpsValidator Instance = new FpsValidator();
+
+        protected override Either<int, string> ValidateValue(string stringifiedValue) {
+            return base.ValidateValue(stringifiedValue).BindLeft<int>((v) => {
+                if (v <= 0) return Right("Fps must be greater than zero.");
+                else return Left(v);
+            });
+        }
+    }
+
+    public class CountValidator : IntegerValidator {
+        public static FpsValidator Instance = new FpsValidator();
+
+        protected override Either<int, string> ValidateValue(string stringifiedValue) {
+            return base.ValidateValue(stringifiedValue).BindLeft<int>((v) => {
+                if (v < 0) return Right("Count can not lower than zero.");
+                else return Left(v);
+            });
+        }
+    }
+
+
+}

BallanceTasEditor/BallanceTasEditor/ViewModels/NewFileDialog.cs

@@ -0,0 +1,85 @@
+using BallanceTasEditor.Utils;
+using CommunityToolkit.Mvvm.ComponentModel;
+using CommunityToolkit.Mvvm.Input;
+using System;
+using System.Collections.Generic;
+using System.ComponentModel.DataAnnotations;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+
+namespace BallanceTasEditor.ViewModels {
+
+    public struct NewFileDialogResult {
+        public int Count { get; set; }
+        public float DeltaTime { get; set; }
+    }
+
+    public partial class NewFileDialog : ObservableValidator {
+        public NewFileDialog() {
+            Count = 10000.ToString();
+            // 132 or 264
+            Fps = 264.ToString();
+        }
+
+        // YYC MARK:
+        // 经过无数次的尝试，我发现将int类型绑定到TextBox中所需要涉及的事情太多了，
+        // 尤其是这种绑定到处存在于这个程序中，以至于每次都要重新写一遍。
+        // 也许后面我会做一个只能接受数字输入的文本框，但现在我累了。
+        // 
+        // 具体来说，事情是这样的。我一开始就是使用一个int类型的数据，
+        // 然后按照CommunityToolkit.Mvvm的标准，将其应用了Required和Range Attribute，然后将其绑定到了TextBox的Text之上。
+        // 然而最终的效果很奇怪，当我删除TextBox中的所有字符后，绑定什么也没做（后来我才知道要在Required里改一个选项）。
+        // 其次，当我输入不被Range接受的数值时，它仍会将其同步绑定到属性上。比如我输入0，它仍会将其绑定到Fps上，
+        // 进而导致Delta Time的转换显示抛出除以零的错误。这些都不是我想要的。
+        // 同时，这样做的话，我没有办法检测这些字段到底是不是合规的。
+        // 
+        // 然后我就将int改写为了int?类型，用null表示当前值不可接受，非null表示绑定的值。
+        // 然后定义了一个转换器，负责在int?和string之间进行转换，并同时去除了所有的验证性Attribute
+        // 然而遗憾的是，这么做也不符合我的要求。当我尝试输入一个数值的时候，如果我输入了任何无效值，
+        // 那么转换器会将其转换为null值，同时将该值赋给Fps，而被赋值的Fps又反向传播，把这个null传递给了转换器，
+        // 转换器将其转换成为空白值，并显示在界面上。这么做的视觉效果就是一旦我输入无效值，整个文本框就会被清空，非常的反人类。
+        // 而且这一问题是不可调和的，我不能在接收到null时，选择不更新文本框的值，因为有可能这个null是我手动放进去的，而不是从转换器接受的。
+        // 
+        // 所以最终，我想通了，我决定抛弃将int和TextBox.Text绑定在一起的想法。
+        // 就直接把string绑定到TextBox.Text上，然后再辅以我自己定义的一套可复用验证逻辑。
+
+        [ObservableProperty]
+        [CustomValidation(typeof(NewFileDialog), nameof(ValidateCount))]
+        [NotifyCanExecuteChangedFor(nameof(OkCommand))]
+        private string count;
+
+        [ObservableProperty]
+        [CustomValidation(typeof(NewFileDialog), nameof(ValidateFps))]
+        [NotifyCanExecuteChangedFor(nameof(OkCommand))]
+        private string fps;
+
+        public static ValidationResult ValidateCount(string count, ValidationContext context) {
+            return CountValidator.Instance.Validate(count);
+        }
+        public static ValidationResult ValidateFps(string fps, ValidationContext context) {
+            return FpsValidator.Instance.Validate(fps);
+        }
+
+        [RelayCommand(CanExecute = nameof(CanOk))]
+        private void Ok() {
+
+        }
+        private bool CanOk() {
+            return !HasErrors;
+        }
+
+        [RelayCommand]
+        private void Cancel() {
+
+        }
+
+        public NewFileDialogResult ToResult() {
+            return new NewFileDialogResult {
+                Count = CountValidator.Instance.Fetch(Count),
+                DeltaTime = FpsConverter.ToDelta(FpsValidator.Instance.Fetch(Fps)),
+            };
+        }
+
+    }
+}

BallanceTasEditor/BallanceTasEditor/Views/AboutDialog.xaml

@@ -4,7 +4,7 @@
         xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
         xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
         xmlns:local="clr-namespace:BallanceTasEditor.Views"
-        mc:Ignorable="d" WindowStartupLocation="CenterOwner" WindowStyle="ToolWindow"
+        mc:Ignorable="d" WindowStartupLocation="CenterOwner" ResizeMode="NoResize" ShowInTaskbar="False"
         Title="About Ballance TAS Editor" Width="340" Height="480" Icon="/Assets/About.ico">
     <Grid>
         <Grid.RowDefinitions>

BallanceTasEditor/BallanceTasEditor/Views/AddFrameDialog.xaml

@@ -4,7 +4,7 @@
         xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
         xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
         xmlns:local="clr-namespace:BallanceTasEditor.Views"
-        mc:Ignorable="d" WindowStartupLocation="CenterOwner" WindowStyle="ToolWindow"
+        mc:Ignorable="d" WindowStartupLocation="CenterOwner" ResizeMode="NoResize" ShowInTaskbar="False"
         Title="Add Frame" Height="250" Width="400" Icon="/Assets/AddFrame.ico">
     <Grid>
         <Grid.RowDefinitions>

BallanceTasEditor/BallanceTasEditor/Views/EditFpsDialog.xaml

@@ -4,7 +4,7 @@
         xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
         xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
         xmlns:local="clr-namespace:BallanceTasEditor.Views"
-        mc:Ignorable="d" WindowStartupLocation="CenterOwner" WindowStyle="ToolWindow"
+        mc:Ignorable="d" WindowStartupLocation="CenterOwner" ResizeMode="NoResize" ShowInTaskbar="False"
         Title="Edit FPS" Height="220" Width="400" Icon="/Assets/SetFps.ico">
     <Grid>
         <Grid.RowDefinitions>

BallanceTasEditor/BallanceTasEditor/Views/GotoDialog.xaml

@@ -4,7 +4,7 @@
         xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
         xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
         xmlns:local="clr-namespace:BallanceTasEditor.Views"
-        mc:Ignorable="d" WindowStartupLocation="CenterOwner" WindowStyle="ToolWindow"
+        mc:Ignorable="d" WindowStartupLocation="CenterOwner" ResizeMode="NoResize" ShowInTaskbar="False"
         Title="Goto..." Height="180" Width="400" Icon="/Assets/Goto.ico">
     <Grid>
         <Grid.RowDefinitions>