annotate .idea/artifacts/jpf_classes.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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
1 <component name="ArtifactManager">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
2 <artifact type="jar" build-on-make="true" name="jpf-classes">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
3 <output-path>$PROJECT_DIR$/build</output-path>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
4 <root id="archive" name="jpf-classes.jar">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
5 <element id="module-output" name="classes" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
6 <element id="module-output" name="annotations" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
7 <element id="directory" name="gov">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
8 <element id="directory" name="nasa">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
9 <element id="directory" name="jpf">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
10 <element id="directory" name="vm">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
11 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/vm/Verify.class" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
12 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
13 <element id="directory" name="util">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
14 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/TypeRef.class" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
15 <element id="directory" name="test">
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
16 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestJPF.class" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
17 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestMultiProcessJPF.class" />
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
18 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
19 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
20 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
21 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
22 </element>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
23 </root>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
24 </artifact>
08ca336d5928 fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
25 </component>