2024-05-02 14:09:24 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2024-04-24 12:06:10 +00:00
|
|
|
<project version="4">
|
2024-05-02 12:54:19 +00:00
|
|
|
<component name="ANTLRGenerationPreferences">
|
|
|
|
<option name="perGrammarGenerationSettings">
|
|
|
|
<list>
|
|
|
|
<PerGrammarGenerationSettings>
|
|
|
|
<option name="fileName" value="$PROJECT_DIR$/src/main/java/parser/SimpleJava.g4" />
|
|
|
|
<option name="autoGen" value="true" />
|
|
|
|
<option name="outputDir" value="C:\Users\ARB00075\Documents\DH\Compilerbau\NichtHaskell2.0\src\main\java\parser\out" />
|
|
|
|
<option name="libDir" value="" />
|
|
|
|
<option name="encoding" value="" />
|
|
|
|
<option name="pkg" value="" />
|
|
|
|
<option name="language" value="" />
|
|
|
|
<option name="generateVisitor" value="true" />
|
|
|
|
</PerGrammarGenerationSettings>
|
|
|
|
</list>
|
|
|
|
</option>
|
|
|
|
</component>
|
2024-05-02 13:03:20 +00:00
|
|
|
<component name="ANTLRNewGenerationPreferences">
|
|
|
|
<option name="perGrammarGenerationSettings">
|
|
|
|
<list>
|
|
|
|
<PerGrammarGenerationSettings>
|
|
|
|
<option name="fileName" value="$PROJECT_DIR$/src/main/java/parser/SimpleJava.g4" />
|
|
|
|
<option name="autoGen" value="true" />
|
|
|
|
<option name="outputDir" value="C:\Users\Johannes Ehlert\Documents\Git\JavaCompiler\src\main\java" />
|
|
|
|
<option name="libDir" value="" />
|
|
|
|
<option name="encoding" value="" />
|
|
|
|
<option name="pkg" value="parser.generated" />
|
|
|
|
<option name="language" value="" />
|
|
|
|
<option name="generateVisitor" value="true" />
|
|
|
|
</PerGrammarGenerationSettings>
|
|
|
|
</list>
|
|
|
|
</option>
|
|
|
|
</component>
|
2024-04-24 12:06:10 +00:00
|
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
|
|
|
<component name="MavenProjectsManager">
|
|
|
|
<option name="originalFiles">
|
|
|
|
<list>
|
|
|
|
<option value="$PROJECT_DIR$/pom.xml" />
|
|
|
|
</list>
|
|
|
|
</option>
|
|
|
|
</component>
|
2024-05-02 16:31:50 +00:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK">
|
2024-04-24 12:06:10 +00:00
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
</component>
|
|
|
|
</project>
|