261 lines
No EOL
14 KiB
XML
261 lines
No EOL
14 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="changed a bit">
|
|
<change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" afterDir="false" />
|
|
</list>
|
|
<list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
|
|
<list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="">
|
|
<change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
|
|
</list>
|
|
<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="Git.Settings">
|
|
<option name="RECENT_BRANCH_BY_REPOSITORY">
|
|
<map>
|
|
<entry key="$PROJECT_DIR$" value="2-playing-around" />
|
|
</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="LineStatusTrackerManager">
|
|
<file path="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java">
|
|
<ranges>
|
|
<range start1="16" end1="17" start2="16" end2="16" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="37" end1="37" start2="36" end2="42" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="52" end1="52" start2="57" end2="61" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="64" end1="65" start2="73" end2="76" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="69" end1="70" start2="80" end2="81" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="87" end1="88" start2="98" end2="99" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="95" end1="95" start2="106" end2="112" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="96" end1="97" start2="113" end2="114" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="104" end1="106" start2="121" end2="122" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="107" end1="109" start2="123" end2="124" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="110" end1="110" start2="125" end2="126" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="111" end1="111" start2="127" end2="129" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="112" end1="112" start2="130" end2="139" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="113" end1="117" start2="140" end2="147" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="118" end1="127" start2="148" end2="158" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="128" end1="130" start2="159" end2="161" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="131" end1="131" start2="162" end2="163" changelist="2bf04d9d-9125-4ed6-9018-847e14e9822c" />
|
|
<range start1="132" end1="133" start2="164" end2="170" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="135" end1="136" start2="172" end2="179" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="137" end1="139" start2="180" end2="184" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="140" end1="142" start2="185" end2="190" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="260" end1="262" start2="308" end2="310" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="263" end1="264" start2="311" end2="312" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="265" end1="265" start2="313" end2="315" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="266" end1="268" start2="316" end2="317" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="269" end1="269" start2="318" end2="322" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="270" end1="271" start2="323" end2="331" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="272" end1="273" start2="332" end2="348" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="301" end1="301" start2="376" end2="378" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="303" end1="317" start2="380" end2="387" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="319" end1="326" start2="389" end2="390" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="328" end1="329" start2="392" end2="393" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="344" end1="345" start2="408" end2="409" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="374" end1="376" start2="438" end2="440" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="380" end1="382" start2="444" end2="444" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="424" end1="425" start2="486" end2="487" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
<range start1="428" end1="431" start2="490" end2="493" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
|
|
</ranges>
|
|
</file>
|
|
</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": {
|
|
"RunOnceActivity.OpenProjectViewOnStart": "true",
|
|
"RunOnceActivity.ShowReadmeOnStart": "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.pluginManager",
|
|
"vue.rearranger.settings.migration": "true"
|
|
}
|
|
}]]></component>
|
|
<component name="RunManager" selected="JUnit.ComplexTests.complement1Test">
|
|
<configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.*" />
|
|
<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="complement1Test" />
|
|
<option name="TEST_OBJECT" value="method" />
|
|
<dir value="$PROJECT_DIR$/src/test/java/ab1" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.*" />
|
|
<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="union1Test" />
|
|
<option name="TEST_OBJECT" value="method" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="ab1 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" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
<configuration name="ab1.tests in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
|
|
<module name="ETI_Abgabe" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="ab1.tests.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<option name="PACKAGE_NAME" value="ab1.tests" />
|
|
<option name="TEST_OBJECT" value="package" />
|
|
<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.ComplexTests.complement1Test" />
|
|
<item itemvalue="JUnit.ab1 in ETI_Abgabe" />
|
|
<item itemvalue="JUnit.ComplexTests.union1Test" />
|
|
<item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
|
|
<item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
|
|
</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" />
|
|
</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>
|
|
<option name="localTasksCounter" value="2" />
|
|
<servers />
|
|
</component>
|
|
<component name="TypeScriptGeneratedFilesManager">
|
|
<option name="version" value="3" />
|
|
</component>
|
|
<component name="VcsManagerConfiguration">
|
|
<MESSAGE value="progress of 7/1" />
|
|
<MESSAGE value="changed a bit" />
|
|
<option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
|
|
</component>
|
|
<component name="XDebuggerManager">
|
|
<breakpoint-manager>
|
|
<breakpoints>
|
|
<line-breakpoint enabled="true" type="java-line">
|
|
<url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
|
|
<line>171</line>
|
|
<option name="timeStamp" value="10" />
|
|
</line-breakpoint>
|
|
<line-breakpoint enabled="true" type="java-line">
|
|
<url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
|
|
<line>15</line>
|
|
<option name="timeStamp" value="12" />
|
|
</line-breakpoint>
|
|
<line-breakpoint enabled="true" type="java-line">
|
|
<url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
|
|
<line>347</line>
|
|
<option name="timeStamp" value="21" />
|
|
</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" />
|
|
</configuration>
|
|
</watches-manager>
|
|
</component>
|
|
</project> |