367 lines
No EOL
16 KiB
XML
367 lines
No EOL
16 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="AutoImportSettings">
|
|
<option name="autoReloadType" value="SELECTIVE" />
|
|
</component>
|
|
<component name="ChangeListManager">
|
|
<list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="documentation. cleanup. your turn daniel">
|
|
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/Tuple.class" beforeDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/target/test-classes/ab1/tests/myTests.class" beforeDir="false" />
|
|
</list>
|
|
<list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
|
|
<option name="SHOW_DIALOG" value="false" />
|
|
<option name="HIGHLIGHT_CONFLICTS" value="true" />
|
|
<option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
|
|
<option name="LAST_RESOLUTION" value="IGNORE" />
|
|
</component>
|
|
<component name="FileTemplateManagerImpl">
|
|
<option name="RECENT_TEMPLATES">
|
|
<list>
|
|
<option value="Class" />
|
|
</list>
|
|
</option>
|
|
</component>
|
|
<component name="Git.Settings">
|
|
<option name="RECENT_BRANCH_BY_REPOSITORY">
|
|
<map>
|
|
<entry key="$PROJECT_DIR$" value="main" />
|
|
</map>
|
|
</option>
|
|
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
|
|
</component>
|
|
<component name="GitLabMergeRequestFiltersHistory">{
|
|
"lastFilter": {
|
|
"state": "OPENED",
|
|
"assignee": {
|
|
"type": "org.jetbrains.plugins.gitlab.mergerequest.ui.filters.GitLabMergeRequestsFiltersValue.MergeRequestsMemberFilterValue.MergeRequestsAssigneeFilterValue",
|
|
"username": "rawalcher",
|
|
"fullname": "rawalcher"
|
|
}
|
|
}
|
|
}</component>
|
|
<component name="GitLabMergeRequestsSettings">{
|
|
"selectedUrlAndAccountId": {
|
|
"first": "https://git-ainf.aau.at/rawalcher/theorethische-informatik-gruppe-10.git",
|
|
"second": "2afc8825-f511-4d8a-8cc1-901875567c84"
|
|
}
|
|
}</component>
|
|
<component name="MarkdownSettingsMigration">
|
|
<option name="stateVersion" value="1" />
|
|
</component>
|
|
<component name="ProjectColorInfo">{
|
|
"associatedIndex": 2
|
|
}</component>
|
|
<component name="ProjectId" id="2afDcX9p9UZiDe6ife9RGZcJjKQ" />
|
|
<component name="ProjectViewState">
|
|
<option name="hideEmptyMiddlePackages" value="true" />
|
|
<option name="showLibraryContents" value="true" />
|
|
</component>
|
|
<component name="PropertiesComponent"><![CDATA[{
|
|
"keyToString": {
|
|
"JUnit.BetterSimpleTests.executor": "Run",
|
|
"JUnit.ComplexTests.executor": "Run",
|
|
"JUnit.ComplexTests.finite1Test.executor": "Run",
|
|
"JUnit.ComplexTests.finite2Test.executor": "Debug",
|
|
"JUnit.ComplexTests.intersection1Test.executor": "Run",
|
|
"JUnit.ComplexTests.intersection2Test.executor": "Run",
|
|
"JUnit.MyTests.executor": "Run",
|
|
"JUnit.myTests.intersection1Test.executor": "Run",
|
|
"RunOnceActivity.OpenProjectViewOnStart": "true",
|
|
"RunOnceActivity.ShowReadmeOnStart": "true",
|
|
"SHARE_PROJECT_CONFIGURATION_FILES": "true",
|
|
"WebServerToolWindowFactoryState": "false",
|
|
"full.screen.before.presentation.mode": "false",
|
|
"git-widget-placeholder": "main",
|
|
"ignore.virus.scanning.warn.message": "true",
|
|
"node.js.detected.package.eslint": "true",
|
|
"node.js.detected.package.tslint": "true",
|
|
"node.js.selected.package.eslint": "(autodetect)",
|
|
"node.js.selected.package.tslint": "(autodetect)",
|
|
"nodejs_package_manager_path": "npm",
|
|
"project.structure.last.edited": "Project",
|
|
"project.structure.proportion": "0.0",
|
|
"project.structure.side.proportion": "0.0",
|
|
"settings.editor.selected.configurable": "preferences.lookFeel",
|
|
"vue.rearranger.settings.migration": "true"
|
|
}
|
|
}]]></component>
|
|
<component name="RunManager" selected="JUnit.BetterSimpleTests">
|
|
<configuration name="BetterSimpleTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.GRUPPE.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<option name="PACKAGE_NAME" value="ab1.tests.GRUPPE" />
|
|
<option name="MAIN_CLASS_NAME" value="ab1.tests.GRUPPE.BetterSimpleTests" />
|
|
<option name="TEST_OBJECT" value="class" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="ComplexTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.GRUPPE.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<option name="PACKAGE_NAME" value="ab1.tests" />
|
|
<option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
|
|
<option name="TEST_OBJECT" value="class" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="ComplexTests.finite2Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.GRUPPE.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<option name="PACKAGE_NAME" value="ab1.tests" />
|
|
<option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
|
|
<option name="METHOD_NAME" value="finite2Test" />
|
|
<option name="TEST_OBJECT" value="method" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="MyTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.GRUPPE.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<option name="PACKAGE_NAME" value="ab1.tests.GRUPPE" />
|
|
<option name="MAIN_CLASS_NAME" value="ab1.tests.GRUPPE.MyTests" />
|
|
<option name="TEST_OBJECT" value="class" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="tests in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<option name="TEST_OBJECT" value="directory" />
|
|
<dir value="$PROJECT_DIR$/src/test/java/ab1/tests" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration default="true" type="JetRunConfigurationType">
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration default="true" type="KotlinStandaloneScriptRunConfigurationType">
|
|
<option name="filePath" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<recent_temporary>
|
|
<list>
|
|
<item itemvalue="JUnit.BetterSimpleTests" />
|
|
<item itemvalue="JUnit.MyTests" />
|
|
<item itemvalue="JUnit.ComplexTests" />
|
|
<item itemvalue="JUnit.tests in ETI_Abgabe" />
|
|
<item itemvalue="JUnit.ComplexTests.finite2Test" />
|
|
</list>
|
|
</recent_temporary>
|
|
</component>
|
|
<component name="SharedIndexes">
|
|
<attachedChunks>
|
|
<set>
|
|
<option value="jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351" />
|
|
</set>
|
|
</attachedChunks>
|
|
</component>
|
|
<component name="SpellCheckerSettings" RuntimeDictionaries="0" Folders="0" CustomDictionaries="0" DefaultDictionary="application-level" UseSingleDictionary="true" transferred="true" />
|
|
<component name="TaskManager">
|
|
<task active="true" id="Default" summary="Default task">
|
|
<changelist id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="" />
|
|
<created>1704700820495</created>
|
|
<option name="number" value="Default" />
|
|
<option name="presentableId" value="Default" />
|
|
<updated>1704700820495</updated>
|
|
<workItem from="1704700821945" duration="5461000" />
|
|
<workItem from="1704712375384" duration="4940000" />
|
|
<workItem from="1704717343016" duration="2934000" />
|
|
<workItem from="1704750167689" duration="2263000" />
|
|
</task>
|
|
<task id="LOCAL-00001" summary="changed a bit">
|
|
<option name="closed" value="true" />
|
|
<created>1704734947115</created>
|
|
<option name="number" value="00001" />
|
|
<option name="presentableId" value="LOCAL-00001" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704734947115</updated>
|
|
</task>
|
|
<task id="LOCAL-00002" summary="fucking hell">
|
|
<option name="closed" value="true" />
|
|
<created>1704749802065</created>
|
|
<option name="number" value="00002" />
|
|
<option name="presentableId" value="LOCAL-00002" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704749802065</updated>
|
|
</task>
|
|
<task id="LOCAL-00003" summary="Changes by danie">
|
|
<option name="closed" value="true" />
|
|
<created>1704749806556</created>
|
|
<option name="number" value="00003" />
|
|
<option name="presentableId" value="LOCAL-00003" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704749806556</updated>
|
|
</task>
|
|
<task id="LOCAL-00004" summary="fucking hell">
|
|
<option name="closed" value="true" />
|
|
<created>1704749811525</created>
|
|
<option name="number" value="00004" />
|
|
<option name="presentableId" value="LOCAL-00004" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704749811525</updated>
|
|
</task>
|
|
<task id="LOCAL-00005" summary="fucking hell">
|
|
<option name="closed" value="true" />
|
|
<created>1704750289780</created>
|
|
<option name="number" value="00005" />
|
|
<option name="presentableId" value="LOCAL-00005" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704750289780</updated>
|
|
</task>
|
|
<task id="LOCAL-00006" summary="concat GEHT">
|
|
<option name="closed" value="true" />
|
|
<created>1704752332678</created>
|
|
<option name="number" value="00006" />
|
|
<option name="presentableId" value="LOCAL-00006" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704752332678</updated>
|
|
</task>
|
|
<task id="LOCAL-00007" summary="concat GEHT">
|
|
<option name="closed" value="true" />
|
|
<created>1704752420737</created>
|
|
<option name="number" value="00007" />
|
|
<option name="presentableId" value="LOCAL-00007" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704752420737</updated>
|
|
</task>
|
|
<task id="LOCAL-00008" summary="changed nfaAddTrap, bei dem Fall, dass Transition.readSymbol() einen nullwert zurückgibt. (Thx ChatGBT) -> intersectionTests funktionieren">
|
|
<option name="closed" value="true" />
|
|
<created>1704819635241</created>
|
|
<option name="number" value="00008" />
|
|
<option name="presentableId" value="LOCAL-00008" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704819635241</updated>
|
|
</task>
|
|
<task id="LOCAL-00009" summary="isFinite methode recursiv...">
|
|
<option name="closed" value="true" />
|
|
<created>1704888180654</created>
|
|
<option name="number" value="00009" />
|
|
<option name="presentableId" value="LOCAL-00009" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704888180655</updated>
|
|
</task>
|
|
<task id="LOCAL-00010" summary=".">
|
|
<option name="closed" value="true" />
|
|
<created>1704914901826</created>
|
|
<option name="number" value="00010" />
|
|
<option name="presentableId" value="LOCAL-00010" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704914901826</updated>
|
|
</task>
|
|
<task id="LOCAL-00011" summary=".">
|
|
<option name="closed" value="true" />
|
|
<created>1704914909876</created>
|
|
<option name="number" value="00011" />
|
|
<option name="presentableId" value="LOCAL-00011" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704914909876</updated>
|
|
</task>
|
|
<task id="LOCAL-00012" summary="documentation. cleanup. your turn daniel">
|
|
<option name="closed" value="true" />
|
|
<created>1704915995807</created>
|
|
<option name="number" value="00012" />
|
|
<option name="presentableId" value="LOCAL-00012" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704915995807</updated>
|
|
</task>
|
|
<task id="LOCAL-00013" summary="documentation. cleanup. your turn daniel">
|
|
<option name="closed" value="true" />
|
|
<created>1704916397835</created>
|
|
<option name="number" value="00013" />
|
|
<option name="presentableId" value="LOCAL-00013" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704916397835</updated>
|
|
</task>
|
|
<task id="LOCAL-00014" summary="documentation. cleanup. your turn daniel">
|
|
<option name="closed" value="true" />
|
|
<created>1704922350747</created>
|
|
<option name="number" value="00014" />
|
|
<option name="presentableId" value="LOCAL-00014" />
|
|
<option name="project" value="LOCAL" />
|
|
<updated>1704922350747</updated>
|
|
</task>
|
|
<option name="localTasksCounter" value="15" />
|
|
<servers />
|
|
</component>
|
|
<component name="TypeScriptGeneratedFilesManager">
|
|
<option name="version" value="3" />
|
|
</component>
|
|
<component name="Vcs.Log.Tabs.Properties">
|
|
<option name="TAB_STATES">
|
|
<map>
|
|
<entry key="MAIN">
|
|
<value>
|
|
<State />
|
|
</value>
|
|
</entry>
|
|
</map>
|
|
</option>
|
|
</component>
|
|
<component name="VcsManagerConfiguration">
|
|
<MESSAGE value="progress of 7/1" />
|
|
<MESSAGE value="changed a bit" />
|
|
<MESSAGE value="Changes by danie" />
|
|
<MESSAGE value="fucking hell" />
|
|
<MESSAGE value="concat GEHT" />
|
|
<MESSAGE value="changed nfaAddTrap, bei dem Fall, dass Transition.readSymbol() einen nullwert zurückgibt. (Thx ChatGBT) -> intersectionTests funktionieren" />
|
|
<MESSAGE value="isFinite methode recursiv..." />
|
|
<MESSAGE value="." />
|
|
<MESSAGE value=".equals replaced with ==" />
|
|
<MESSAGE value="documentation. cleanup. your turn daniel" />
|
|
<option name="LAST_COMMIT_MESSAGE" value="documentation. cleanup. your turn daniel" />
|
|
</component>
|
|
<component name="XDebuggerManager">
|
|
<breakpoint-manager>
|
|
<breakpoints>
|
|
<line-breakpoint enabled="true" type="java-line">
|
|
<url>file://$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAImpl.java</url>
|
|
<line>336</line>
|
|
<option name="timeStamp" value="53" />
|
|
</line-breakpoint>
|
|
<line-breakpoint enabled="true" type="java-line">
|
|
<url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
|
|
<line>141</line>
|
|
<option name="timeStamp" value="59" />
|
|
</line-breakpoint>
|
|
</breakpoints>
|
|
</breakpoint-manager>
|
|
<watches-manager>
|
|
<configuration name="JUnit">
|
|
<watch expression="((HashSet)((NFAImpl)testInstance).acceptingStates).toArray()[2]" custom="java.util.HashSet,ab1.impl.GRUPPE.NFAImpl" />
|
|
<watch expression="transition.readSymbol()" />
|
|
<watch expression="transition.readSymbol()==letter" />
|
|
<watch expression="transitions.get(i)" />
|
|
</configuration>
|
|
</watches-manager>
|
|
</component>
|
|
</project> |