namespace PCLCS; public static class Configs { /// 当前 Java 相关配置的版本。0 代表尚未从老的 Settings 系统中迁移。 public static readonly ConfigEntry JavaConfigVersion = new("JavaConfigVersion", 0); public static readonly ConfigEntry> JavaList = new("JavaList", []); public static readonly ConfigEntry> JavaRemovedList = new("JavaRemovedList", []); public static readonly DynamicConfigEntry JavaMigrated = new("InstanceMigratedJava", false); public static readonly DynamicConfigEntry JavaForced = new("InstanceForcedJava", null); static Configs() { /// 当 JavaForced 获取到一个不在 JavaList 中的值时,将其重置为 null。 JavaForced.PreviewGet += (args, provider) => { if (args.Value is not null && !JavaList.Get()!.Contains(args.Value)) { args.Value = null; JavaForced.Reset(provider); } }; } }