Mercurial > hg > Members > kono > jpf-core
comparison .idea/misc.xml @ 16:08ca336d5928
fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
first stab at IntelliJ configuration. Note that the provided run configs require
the 3rd party ContextRun IntelliJ plugin
(https://github.com/m-lau/contextrun.git).
The mapping uses a IntelliJ "project" per JPF project, and a IntelliJ "module"
for each of the src/* subdirs (main, peers, classes,..). This is required to be
able to set the subdir specific output dirs (build/main,...), which are in turn
required to separate the jar contents and classpaths. We also keep the module
definitions (*.iml) files under .idea and share the run configs, so that we can
avoid any IDE content outside the IDE config dir.
Separating the projects has also the silver lining that simultaneously opened
projects are much better separated, which helps a lot if they contain the same
class names.
Note that the session specific .idea/workspace.xml is in .hgignore and hence
doesn't get cloned/merged
While this is all not the most IntelliJ compliant schema, the JPF directory layout
can stay the same and Eclipse/Netbeans compatibility should not be affected.
author | Peter Mehlitz <pcmehlitz@gmail.com> |
---|---|
date | Fri, 20 Mar 2015 15:47:10 -0700 |
parents | |
children | a9ada67f1799 |
comparison
equal
deleted
inserted
replaced
15:cb7500a46eab | 16:08ca336d5928 |
---|---|
1 <?xml version="1.0" encoding="UTF-8"?> | |
2 <project version="4"> | |
3 <component name="ClientPropertiesManager"> | |
4 <properties class="javax.swing.AbstractButton"> | |
5 <property name="hideActionText" class="java.lang.Boolean" /> | |
6 </properties> | |
7 <properties class="javax.swing.JComponent"> | |
8 <property name="html.disable" class="java.lang.Boolean" /> | |
9 </properties> | |
10 <properties class="javax.swing.JEditorPane"> | |
11 <property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" /> | |
12 <property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" /> | |
13 <property name="charset" class="java.lang.String" /> | |
14 </properties> | |
15 <properties class="javax.swing.JList"> | |
16 <property name="List.isFileList" class="java.lang.Boolean" /> | |
17 </properties> | |
18 <properties class="javax.swing.JPasswordField"> | |
19 <property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" /> | |
20 </properties> | |
21 <properties class="javax.swing.JSlider"> | |
22 <property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" /> | |
23 <property name="JSlider.isFilled" class="java.lang.Boolean" /> | |
24 </properties> | |
25 <properties class="javax.swing.JTable"> | |
26 <property name="Table.isFileList" class="java.lang.Boolean" /> | |
27 <property name="JTable.autoStartsEdit" class="java.lang.Boolean" /> | |
28 <property name="terminateEditOnFocusLost" class="java.lang.Boolean" /> | |
29 </properties> | |
30 <properties class="javax.swing.JToolBar"> | |
31 <property name="JToolBar.isRollover" class="java.lang.Boolean" /> | |
32 </properties> | |
33 <properties class="javax.swing.JTree"> | |
34 <property name="JTree.lineStyle" class="java.lang.String" /> | |
35 </properties> | |
36 <properties class="javax.swing.text.JTextComponent"> | |
37 <property name="caretAspectRatio" class="java.lang.Double" /> | |
38 <property name="caretWidth" class="java.lang.Integer" /> | |
39 </properties> | |
40 </component> | |
41 <component name="CompilerConfiguration"> | |
42 <option name="DEFAULT_COMPILER" /> | |
43 <resourceExtensions /> | |
44 <wildcardResourcePatterns> | |
45 <entry name="!?*.java" /> | |
46 <entry name="!?*.form" /> | |
47 <entry name="!?*.class" /> | |
48 <entry name="!?*.groovy" /> | |
49 <entry name="!?*.scala" /> | |
50 <entry name="!?*.flex" /> | |
51 <entry name="!?*.kt" /> | |
52 <entry name="!?*.clj" /> | |
53 </wildcardResourcePatterns> | |
54 <annotationProcessing> | |
55 <profile default="true" name="Default" enabled="false"> | |
56 <processorPath useClasspath="true" /> | |
57 </profile> | |
58 </annotationProcessing> | |
59 </component> | |
60 <component name="CopyrightManager" default="" /> | |
61 <component name="DaemonCodeAnalyzer"> | |
62 <disable_hints /> | |
63 </component> | |
64 <component name="DependencyValidationManager"> | |
65 <option name="SKIP_IMPORT_STATEMENTS" value="false" /> | |
66 </component> | |
67 <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" /> | |
68 <component name="EntryPointsManager"> | |
69 <entry_points version="2.0" /> | |
70 </component> | |
71 <component name="ProjectLevelVcsManager" settingsEditedManually="false"> | |
72 <OptionsSetting value="true" id="Add" /> | |
73 <OptionsSetting value="true" id="Remove" /> | |
74 <OptionsSetting value="true" id="Checkout" /> | |
75 <OptionsSetting value="true" id="Update" /> | |
76 <OptionsSetting value="true" id="Status" /> | |
77 <OptionsSetting value="true" id="Edit" /> | |
78 <ConfirmationsSetting value="0" id="Add" /> | |
79 <ConfirmationsSetting value="0" id="Remove" /> | |
80 </component> | |
81 <component name="ProjectModuleManager"> | |
82 <modules /> | |
83 </component> | |
84 <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK"> | |
85 <output url="file://$PROJECT_DIR$/build" /> | |
86 </component> | |
87 <component name="PropertiesComponent"> | |
88 <property name="GoToFile.includeJavaFiles" value="false" /> | |
89 <property name="GoToClass.toSaveIncludeLibraries" value="false" /> | |
90 <property name="MemberChooser.sorted" value="false" /> | |
91 <property name="MemberChooser.showClasses" value="true" /> | |
92 <property name="GoToClass.includeLibraries" value="false" /> | |
93 <property name="MemberChooser.copyJavadoc" value="false" /> | |
94 </component> | |
95 <component name="RunManager"> | |
96 <configuration default="true" type="Remote" factoryName="Remote"> | |
97 <option name="USE_SOCKET_TRANSPORT" value="true" /> | |
98 <option name="SERVER_MODE" value="false" /> | |
99 <option name="SHMEM_ADDRESS" value="javadebug" /> | |
100 <option name="HOST" value="localhost" /> | |
101 <option name="PORT" value="5005" /> | |
102 <method /> | |
103 </configuration> | |
104 <configuration default="true" type="JUnit" factoryName="JUnit"> | |
105 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" /> | |
106 <module name="" /> | |
107 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" /> | |
108 <option name="ALTERNATIVE_JRE_PATH" /> | |
109 <option name="PACKAGE_NAME" /> | |
110 <option name="MAIN_CLASS_NAME" /> | |
111 <option name="METHOD_NAME" /> | |
112 <option name="TEST_OBJECT" value="class" /> | |
113 <option name="VM_PARAMETERS" value="-ea" /> | |
114 <option name="PARAMETERS" /> | |
115 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" /> | |
116 <option name="ENV_VARIABLES" /> | |
117 <option name="PASS_PARENT_ENVS" value="true" /> | |
118 <option name="TEST_SEARCH_SCOPE"> | |
119 <value defaultName="moduleWithDependencies" /> | |
120 </option> | |
121 <envs /> | |
122 <patterns /> | |
123 <method /> | |
124 </configuration> | |
125 <configuration default="true" type="#org.jetbrains.idea.devkit.run.PluginConfigurationType" factoryName="Plugin"> | |
126 <module name="" /> | |
127 <option name="VM_PARAMETERS" value="-Xmx512m -Xms256m -XX:MaxPermSize=250m" /> | |
128 <option name="PROGRAM_PARAMETERS" /> | |
129 <method /> | |
130 </configuration> | |
131 <configuration default="true" type="Applet" factoryName="Applet"> | |
132 <module name="" /> | |
133 <option name="MAIN_CLASS_NAME" /> | |
134 <option name="HTML_FILE_NAME" /> | |
135 <option name="HTML_USED" value="false" /> | |
136 <option name="WIDTH" value="400" /> | |
137 <option name="HEIGHT" value="300" /> | |
138 <option name="POLICY_FILE" value="$APPLICATION_HOME_DIR$/bin/appletviewer.policy" /> | |
139 <option name="VM_PARAMETERS" /> | |
140 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" /> | |
141 <option name="ALTERNATIVE_JRE_PATH" /> | |
142 <method /> | |
143 </configuration> | |
144 <configuration default="true" type="TestNG" factoryName="TestNG"> | |
145 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" /> | |
146 <module name="" /> | |
147 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" /> | |
148 <option name="ALTERNATIVE_JRE_PATH" /> | |
149 <option name="SUITE_NAME" /> | |
150 <option name="PACKAGE_NAME" /> | |
151 <option name="MAIN_CLASS_NAME" /> | |
152 <option name="METHOD_NAME" /> | |
153 <option name="GROUP_NAME" /> | |
154 <option name="TEST_OBJECT" value="CLASS" /> | |
155 <option name="VM_PARAMETERS" value="-ea" /> | |
156 <option name="PARAMETERS" /> | |
157 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" /> | |
158 <option name="OUTPUT_DIRECTORY" /> | |
159 <option name="ANNOTATION_TYPE" /> | |
160 <option name="ENV_VARIABLES" /> | |
161 <option name="PASS_PARENT_ENVS" value="true" /> | |
162 <option name="TEST_SEARCH_SCOPE"> | |
163 <value defaultName="moduleWithDependencies" /> | |
164 </option> | |
165 <option name="USE_DEFAULT_REPORTERS" value="false" /> | |
166 <option name="PROPERTIES_FILE" /> | |
167 <envs /> | |
168 <properties /> | |
169 <listeners /> | |
170 <method /> | |
171 </configuration> | |
172 <configuration default="true" type="Application" factoryName="Application"> | |
173 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" /> | |
174 <option name="MAIN_CLASS_NAME" /> | |
175 <option name="VM_PARAMETERS" /> | |
176 <option name="PROGRAM_PARAMETERS" /> | |
177 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" /> | |
178 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" /> | |
179 <option name="ALTERNATIVE_JRE_PATH" /> | |
180 <option name="ENABLE_SWING_INSPECTOR" value="false" /> | |
181 <option name="ENV_VARIABLES" /> | |
182 <option name="PASS_PARENT_ENVS" value="true" /> | |
183 <module name="" /> | |
184 <envs /> | |
185 <method /> | |
186 </configuration> | |
187 <list size="0" /> | |
188 <configuration name="<template>" type="WebApp" default="true" selected="false"> | |
189 <Host>localhost</Host> | |
190 <Port>5050</Port> | |
191 </configuration> | |
192 </component> | |
193 <component name="masterDetails"> | |
194 <states> | |
195 <state key="ProjectJDKs.UI"> | |
196 <settings> | |
197 <last-edited>1.8</last-edited> | |
198 <splitter-proportions> | |
199 <option name="proportions"> | |
200 <list> | |
201 <option value="0.2" /> | |
202 </list> | |
203 </option> | |
204 </splitter-proportions> | |
205 </settings> | |
206 </state> | |
207 </states> | |
208 </component> | |
209 </project> |