From 3708037e24b1af5550772a7f068af89709b93807 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Tue, 12 May 2020 10:31:22 +0200
Subject: [PATCH] Start work on Import component
- I might merge it all in Java if it proves to be too annoying
to do the RPC
---
src/ulocollect | 2 +-
src/uloimport/.idea/codeStyles/Project.xml | 7 +++
.../.idea/codeStyles/codeStyleConfig.xml | 5 ++
src/uloimport/.idea/compiler.xml | 13 +++++
src/uloimport/.idea/jarRepositories.xml | 20 +++++++
src/uloimport/.idea/misc.xml | 14 +++++
src/uloimport/.idea/workspace.xml | 53 +++++++++++++++++++
src/uloimport/pom.xml | 12 +++++
.../main/java/info/kwarc/uloimport/Main.java | 7 +++
9 files changed, 132 insertions(+), 1 deletion(-)
create mode 100644 src/uloimport/.idea/codeStyles/Project.xml
create mode 100644 src/uloimport/.idea/codeStyles/codeStyleConfig.xml
create mode 100644 src/uloimport/.idea/compiler.xml
create mode 100644 src/uloimport/.idea/jarRepositories.xml
create mode 100644 src/uloimport/.idea/misc.xml
create mode 100644 src/uloimport/.idea/workspace.xml
create mode 100644 src/uloimport/pom.xml
create mode 100644 src/uloimport/src/main/java/info/kwarc/uloimport/Main.java
diff --git a/src/ulocollect b/src/ulocollect
index f959929..039aacf 160000
--- a/src/ulocollect
+++ b/src/ulocollect
@@ -1 +1 @@
-Subproject commit f959929ab8596267b36fdc0cbc49a2d4946c9822
+Subproject commit 039aacfdee76654e065692333d6bff4f89b9bf06
diff --git a/src/uloimport/.idea/codeStyles/Project.xml b/src/uloimport/.idea/codeStyles/Project.xml
new file mode 100644
index 0000000..919ce1f
--- /dev/null
+++ b/src/uloimport/.idea/codeStyles/Project.xml
@@ -0,0 +1,7 @@
+<component name="ProjectCodeStyleConfiguration">
+ <code_scheme name="Project" version="173">
+ <ScalaCodeStyleSettings>
+ <option name="MULTILINE_STRING_CLOSING_QUOTES_ON_NEW_LINE" value="true" />
+ </ScalaCodeStyleSettings>
+ </code_scheme>
+</component>
\ No newline at end of file
diff --git a/src/uloimport/.idea/codeStyles/codeStyleConfig.xml b/src/uloimport/.idea/codeStyles/codeStyleConfig.xml
new file mode 100644
index 0000000..a55e7a1
--- /dev/null
+++ b/src/uloimport/.idea/codeStyles/codeStyleConfig.xml
@@ -0,0 +1,5 @@
+<component name="ProjectCodeStyleConfiguration">
+ <state>
+ <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
+ </state>
+</component>
\ No newline at end of file
diff --git a/src/uloimport/.idea/compiler.xml b/src/uloimport/.idea/compiler.xml
new file mode 100644
index 0000000..76324e5
--- /dev/null
+++ b/src/uloimport/.idea/compiler.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="CompilerConfiguration">
+ <annotationProcessing>
+ <profile name="Maven default annotation processors profile" enabled="true">
+ <sourceOutputDir name="target/generated-sources/annotations" />
+ <sourceTestOutputDir name="target/generated-test-sources/test-annotations" />
+ <outputRelativeToContentRoot value="true" />
+ <module name="uloimport" />
+ </profile>
+ </annotationProcessing>
+ </component>
+</project>
\ No newline at end of file
diff --git a/src/uloimport/.idea/jarRepositories.xml b/src/uloimport/.idea/jarRepositories.xml
new file mode 100644
index 0000000..712ab9d
--- /dev/null
+++ b/src/uloimport/.idea/jarRepositories.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="RemoteRepositoriesConfiguration">
+ <remote-repository>
+ <option name="id" value="central" />
+ <option name="name" value="Central Repository" />
+ <option name="url" value="https://repo.maven.apache.org/maven2" />
+ </remote-repository>
+ <remote-repository>
+ <option name="id" value="central" />
+ <option name="name" value="Maven Central repository" />
+ <option name="url" value="https://repo1.maven.org/maven2" />
+ </remote-repository>
+ <remote-repository>
+ <option name="id" value="jboss.community" />
+ <option name="name" value="JBoss Community repository" />
+ <option name="url" value="https://repository.jboss.org/nexus/content/repositories/public/" />
+ </remote-repository>
+ </component>
+</project>
\ No newline at end of file
diff --git a/src/uloimport/.idea/misc.xml b/src/uloimport/.idea/misc.xml
new file mode 100644
index 0000000..d24ea8e
--- /dev/null
+++ b/src/uloimport/.idea/misc.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="ExternalStorageConfigurationManager" enabled="true" />
+ <component name="MavenProjectsManager">
+ <option name="originalFiles">
+ <list>
+ <option value="$PROJECT_DIR$/pom.xml" />
+ </list>
+ </option>
+ </component>
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="11" project-jdk-type="JavaSDK">
+ <output url="file://$PROJECT_DIR$/out" />
+ </component>
+</project>
\ No newline at end of file
diff --git a/src/uloimport/.idea/workspace.xml b/src/uloimport/.idea/workspace.xml
new file mode 100644
index 0000000..4cf77db
--- /dev/null
+++ b/src/uloimport/.idea/workspace.xml
@@ -0,0 +1,53 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="ChangeListManager">
+ <list default="true" id="5c0c96ea-f1ee-4ed4-b92c-6e411366b16f" name="Default Changelist" 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="ProjectCodeStyleSettingsMigration">
+ <option name="version" value="1" />
+ </component>
+ <component name="ProjectId" id="1bneDStQ0P7cGiTIKSyFMMZWbuE" />
+ <component name="ProjectViewState">
+ <option name="hideEmptyMiddlePackages" value="true" />
+ <option name="showLibraryContents" value="true" />
+ </component>
+ <component name="PropertiesComponent">
+ <property name="RunOnceActivity.OpenProjectViewOnStart" value="true" />
+ <property name="RunOnceActivity.ShowReadmeOnStart" value="true" />
+ <property name="settings.editor.selected.configurable" value="preferences.keymap" />
+ </component>
+ <component name="RunManager">
+ <configuration name="Main" type="Application" factoryName="Application" temporary="true" nameIsGenerated="true">
+ <option name="MAIN_CLASS_NAME" value="info.kwarc.uloimport.Main" />
+ <module name="uloimport" />
+ <extension name="coverage">
+ <pattern>
+ <option name="PATTERN" value="info.kwarc.uloimport.*" />
+ <option name="ENABLED" value="true" />
+ </pattern>
+ </extension>
+ <method v="2">
+ <option name="Make" enabled="true" />
+ </method>
+ </configuration>
+ <recent_temporary>
+ <list>
+ <item itemvalue="Application.Main" />
+ </list>
+ </recent_temporary>
+ </component>
+ <component name="TaskManager">
+ <task active="true" id="Default" summary="Default task">
+ <changelist id="5c0c96ea-f1ee-4ed4-b92c-6e411366b16f" name="Default Changelist" comment="" />
+ <created>1589272164344</created>
+ <option name="number" value="Default" />
+ <option name="presentableId" value="Default" />
+ <updated>1589272164344</updated>
+ </task>
+ <servers />
+ </component>
+</project>
\ No newline at end of file
diff --git a/src/uloimport/pom.xml b/src/uloimport/pom.xml
new file mode 100644
index 0000000..f9223ba
--- /dev/null
+++ b/src/uloimport/pom.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+ xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+ <modelVersion>4.0.0</modelVersion>
+
+ <groupId>info.kwarc.uloimport</groupId>
+ <artifactId>uloimport</artifactId>
+ <version>indev</version>
+
+
+</project>
\ No newline at end of file
diff --git a/src/uloimport/src/main/java/info/kwarc/uloimport/Main.java b/src/uloimport/src/main/java/info/kwarc/uloimport/Main.java
new file mode 100644
index 0000000..d04a07e
--- /dev/null
+++ b/src/uloimport/src/main/java/info/kwarc/uloimport/Main.java
@@ -0,0 +1,7 @@
+package info.kwarc.uloimport;
+
+public class Main {
+ public static void main(String[] args) {
+ System.out.println("Hello, World!");
+ }
+}
--
GitLab