New Design with Avalonia

.github/workflows/project_tests.yml

@@ -0,0 +1,29 @@
+name: c# Tests and Coverage
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Set up .NET SDK
+        uses: actions/setup-dotnet@v3
+        with:
+          dotnet-version: 8.0
+
+      - name: Restore dependencies
+        run: |
+          dotnet restore
+
+      - name: Build the project
+        run: |
+          dotnet build --configuration Release
+
+      - name: Run tests with coverage
+        run: |
+          dotnet test --configuration Release --collect:"XPlat Code Coverage"

.gitignore

@@ -10,4 +10,140 @@ TestResults
 StaterV/bu
 **/.svn
 FBDK/FBParser/exp
-.vs
+.idea
+.lib/*
+## Ignore Visual Studio temporary files, build results, and
+## files generated by popular Visual Studio add-ons.
+
+# User-specific files
+*.suo
+*.user
+*.sln.docstates
+
+# Build results
+
+[Dd]ebug/
+[Rr]elease/
+x64/
+[Bb]in/
+[Oo]bj/
+
+# MSTest test Results
+[Tt]est[Rr]esult*/
+[Bb]uild[Ll]og.*
+
+*_i.c
+*_p.c
+*_i.h
+*.ilk
+*.meta
+*.obj
+*.pch
+*.pdb
+*.pgc
+*.pgd
+*.rsp
+*.sbr
+*.tlb
+*.tli
+*.tlh
+*.tmp
+*.tmp_proj
+*.log
+*.vspscc
+*.vssscc
+.builds
+*.pidb
+*.log
+*.svclog
+*.scc
+
+# Visual C++ cache files
+ipch/
+*.aps
+*.ncb
+*.opensdf
+*.sdf
+*.cachefile
+
+# Visual Studio profiler
+*.psess
+*.vsp
+*.vspx
+
+# Guidance Automation Toolkit
+*.gpState
+
+# ReSharper is a .NET coding add-in
+_ReSharper*/
+*.[Rr]e[Ss]harper
+*.DotSettings.user
+
+# Click-Once directory
+publish/
+
+# Publish Web Output
+*.Publish.xml
+*.pubxml
+*.azurePubxml
+
+# NuGet Packages Directory
+## TODO: If you have NuGet Package Restore enabled, uncomment the next line
+packages/
+## TODO: If the tool you use requires repositories.config, also uncomment the next line
+!packages/repositories.config
+
+# Windows Azure Build Output
+csx/
+*.build.csdef
+
+# Windows Store app package directory
+AppPackages/
+
+# Others
+sql/
+*.Cache
+ClientBin/
+[Ss]tyle[Cc]op.*
+![Ss]tyle[Cc]op.targets
+~$*
+*~
+*.dbmdl
+*.[Pp]ublish.xml
+
+*.publishsettings
+
+# RIA/Silverlight projects
+Generated_Code/
+
+# Backup & report files from converting an old project file to a newer
+# Visual Studio version. Backup files are not needed, because we have git ;-)
+_UpgradeReport_Files/
+Backup*/
+UpgradeLog*.XML
+UpgradeLog*.htm
+
+# SQL Server files
+App_Data/*.mdf
+App_Data/*.ldf
+
+# =========================
+# Windows detritus
+# =========================
+
+# Windows image file caches
+Thumbs.db
+ehthumbs.db
+
+# Folder config file
+Desktop.ini
+
+# Recycle Bin used on file shares
+$RECYCLE.BIN/
+
+# Mac desktop service store files
+.DS_Store
+
+_NCrunch*
+.vs=
+**.received.**

BasePlugin/BasePlugin.csproj

@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+    <PropertyGroup>
+        <TargetFramework>net8.0</TargetFramework>
+        <ImplicitUsings>enable</ImplicitUsings>
+        <Nullable>enable</Nullable>
+    </PropertyGroup>
+
+</Project>

BasePlugin/Class1.cs

@@ -0,0 +1,5 @@
+namespace BasePlugin;
+
+public class Class1
+{
+}

CFuncGenerator/CFuncGenerator.csproj → CFuncGenerator1/CFuncGenerator1.csproj

@@ -9,7 +9,7 @@
     <OutputType>Library</OutputType>
     <AppDesignerFolder>Properties</AppDesignerFolder>
     <RootNamespace>CFuncGenerator</RootNamespace>
-    <AssemblyName>CFuncGenerator</AssemblyName>
+    <AssemblyName>CFuncGenerator1</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
   </PropertyGroup>

CFuncGenerator/CGenerator.cs → CFuncGenerator1/CGenerator.cs

@@ -1,8 +1,6 @@
 using System;
 using System.Collections.Generic;
 using System.IO;
-using System.Linq;
-using System.Text;
 using PluginData;
 
 namespace CFuncGenerator

CFuncGenerator/Properties/AssemblyInfo.cs → CFuncGenerator1/Properties/AssemblyInfo.cs

@@ -5,11 +5,11 @@
 // General Information about an assembly is controlled through the following 
 // set of attributes. Change these attribute values to modify the information
 // associated with an assembly.
-[assembly: AssemblyTitle("CFuncGenerator")]
+[assembly: AssemblyTitle("CFuncGenerator1")]
 [assembly: AssemblyDescription("")]
 [assembly: AssemblyConfiguration("")]
 [assembly: AssemblyCompany("")]
-[assembly: AssemblyProduct("CFuncGenerator")]
+[assembly: AssemblyProduct("CFuncGenerator1")]
 [assembly: AssemblyCopyright("Copyright ©  2015")]
 [assembly: AssemblyTrademark("")]
 [assembly: AssemblyCulture("")]

CSharpCodeGenerator/CSharpCodeGenerator.csproj → CSharpCodeGenerator1/CSharpCodeGenerator1.csproj

@@ -9,7 +9,7 @@
     <OutputType>Library</OutputType>
     <AppDesignerFolder>Properties</AppDesignerFolder>
     <RootNamespace>CSharpCodeGenerator</RootNamespace>
-    <AssemblyName>CSharpCodeGenerator</AssemblyName>
+    <AssemblyName>CSharpCodeGenerator1</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
     <FileUpgradeFlags>

CSharpCodeGenerator/Properties/AssemblyInfo.cs → CSharpCodeGenerator1/Properties/AssemblyInfo.cs

@@ -5,11 +5,11 @@
 // General Information about an assembly is controlled through the following 
 // set of attributes. Change these attribute values to modify the information
 // associated with an assembly.
-[assembly: AssemblyTitle("CSharpCodeGenerator")]
+[assembly: AssemblyTitle("CSharpCodeGenerator1")]
 [assembly: AssemblyDescription("")]
 [assembly: AssemblyConfiguration("")]
 [assembly: AssemblyCompany("Michael Lukin")]
-[assembly: AssemblyProduct("CSharpCodeGenerator")]
+[assembly: AssemblyProduct("CSharpCodeGenerator1")]
 [assembly: AssemblyCopyright("Copyright © Michael Lukin")]
 [assembly: AssemblyTrademark("")]
 [assembly: AssemblyCulture("")]

README.md

@@ -0,0 +1,108 @@
+# Stater: редактор конечного автомата
+
+Stater — это мощное приложение, разработанное для упрощения создания, управления и выполнения конечных автоматов с использованием фреймворка C# Avalonia. Stater идеально подходит для разработчиков и дизайнеров, которые имеют дело со сложной логикой состояний. Stater предоставляет интуитивно понятный интерфейс для проектирования и управления конечными автоматами для различных приложений.
+
+## Основные возможности
+
+- **Управление проектами:** Легкое создание и управление проектами, содержащими несколько конечных автоматов.
+- **Редактирование конечного автомата:** Проектирование конечных автоматов с состояниями, переходами и условиями.
+- **Моделирование выполнения:** Моделирование переходов состояний и отслеживание изменений в реальном времени.
+- **Отмена/повтор действий:** Предоставляет функцию отмены/повтора для легкой навигации по различным этапам проектирования конечного автомата.
+- **Поддержка плагинов:** Расширение функциональности с помощью пользовательских плагинов.
+- **Ведение журнала и отслеживание переменных:** Мониторинг выполнения и состояний переменных во время моделирования.
+
+## Установка
+
+Клонируйте репозиторий и создайте приложение с помощью .NET с фреймворком Avalonia.
+
+```bash
+dotnet build
+dotnet run
+```
+
+
+## Использование
+
+### Основные интерфейсы
+
+Stater использует несколько ключевых интерфейсов для обеспечения своей функциональности:
+
+- **`IProjectManager`**: управляет созданием проекта, загрузкой, сохранением и управлением конечными автоматами.
+- **`IEditorManager`**: управляет взаимодействием пользователя с компонентами конечного автомата, такими как состояния, переходы и переменные.
+- **`IExecutor`**: управляет моделированием выполнения конечных автоматов, включая запуск, остановку и пошаговое прохождение состояний.
+
+### Пример: создание конечного автомата
+
+Вот как можно программно создать конечный автомат и добавить состояния и переходы:
+
+```csharp
+var projectManager = new ProjectManager();
+projectManager.CreateProject("Example Project");
+var stateMachine = projectManager.CreateStateMachine();
+
+var state1 = projectManager.CreateState();
+var state2 = projectManager.CreateState();
+
+var transition = projectManager.CreateTransition(state1, state2);
+
+projectManager.UpdateStateMachine(stateMachine);
+```
+
+## Stater.CodeGeneration
+Генерация исходного кода из моделей конечных автоматов с использованием шаблонов и языковых адаптеров.
+
+Этот пакет предоставляет механизм генерации кода для различных языков программирования на основе внутренней модели автомата. Он гибко настраивается с помощью шаблонов и параметров генерации.
+
+Для каждого сгенерированного кода необходимо установить соответсвующую библиотеку [stater-fsm-code](https://github.com/PhoenixNazarov/stater-fsm-code).
+
+### Основные компоненты
+- `CodeGenerator.cs`. Главная точка входа в процесс генерации. Координирует адаптеры, загрузку шаблонов и вывод итоговых файлов.
+- `Entity/`. Модели данных, описывающие параметры генерации:
+  - `GenerationSettings.cs` — общие настройки генерации (язык, режим, путь и т.д.).
+  - `Language.cs` — перечисление поддерживаемых языков.
+  - `Mode.cs` — режимы генерации (например, с тестами / без тестов).
+- `LanguageAdapter/`. Адаптеры для различных языков. Каждый из них отвечает за конкретный синтаксис, соглашения и поведение языка. Основаны на базовом классе `BaseLanguageAdapter`.
+  - `Base/`
+    - `BaseLanguageAdapter.cs` — абстрактный класс, реализующий общую логику адаптеров.
+    - `TemplateLoader.cs` — загрузка и обработка шаблонов Scriban.
+
+### Языковые адаптеры:
+- `CSharpAdapter.cs`
+- `PythonAdapter.cs`
+- `JavaAdapter.cs`
+- `JavaScriptAdapter.cs`
+- `TypeScriptAdapter.cs`
+- `KotlinAdapter.cs`
+- `CPlusPlusAdapter.cs`
+
+`ScenarioFinder.cs`.
+
+Утилита для нахождения и анализа сценариев в модели автомата — возможно используется для генерации тестов или автоматизации переходов.
+
+`Stater.CodeGeneration.csproj`.
+
+Файл проекта .NET с зависимостями, настройками сборки и т.д.
+
+### Шаблоны: Templates/
+Scriban-шаблоны, используемые при генерации:
+
+`{language}.scriban` — основной шаблон генерации.
+
+`{language}-test.scriban` — шаблон для генерации unit-тестов.
+
+Поддерживаемые языки:
+
+- `c#`, `python`, `java`, `javascript`, `typescript`, `kotlin`, `c++`
+
+### Пример генерации
+```c#
+var settings = new GenerationSettings
+{
+    Language = Language.CSharp,
+    OutputDirectory = "./Generated",
+    Mode = Mode.Full
+};
+
+var generator = new CodeGenerator();
+generator.Generate(projectModel, settings);
+```

SpinVeriff/SpinPlugin.cs

@@ -10,6 +10,9 @@
 using StaterV.PluginManager;
 using StaterV.StateMachine;
 
+// TODO: practice NEED
+
+
 namespace SpinVeriff
 {
     public class SpinPlugin : ButtonPlugin