forked from typetools/checker-framework-inference
-
Notifications
You must be signed in to change notification settings - Fork 0
/
checker-framework-inference.iml
94 lines (94 loc) · 3.26 KB
/
checker-framework-inference.iml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="EclipseModuleManager">
<libelement value="file://dist/gson-1.7.2.jar" />
<libelement value="file://dist/json-simple-1.1.1.jar" />
<libelement value="file://dist/mockito-all-1.8.4.jar" />
<libelement value="file://dist/org.ow2.sat4j.core-2.3.4.jar" />
<libelement value="file://dist/org.ow2.sat4j.maxsat-2.3.4.jar" />
<libelement value="file://dist/org.ow2.sat4j.pb-2.3.4.jar" />
<src_description expected_position="0">
<src_folder value="file://$MODULE_DIR$/src" expected_position="0" />
</src_description>
</component>
<component name="NewModuleRootManager" inherit-compiler-output="false">
<output url="file://$MODULE_DIR$/bin" />
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
</content>
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="module-library">
<library name="junit4">
<CLASSES>
<root url="jar://$APPLICATION_HOME_DIR$/lib/junit-4.11.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module" module-name="annotation-file-utilities" />
<orderEntry type="module" module-name="dataflow" />
<orderEntry type="module" module-name="jsr308-langtools" />
<orderEntry type="module" module-name="scene-lib" />
<orderEntry type="module" module-name="checker" />
<orderEntry type="module" module-name="framework" />
<orderEntry type="module" module-name="javacutil" />
<orderEntry type="module" module-name="plume-lib" />
<orderEntry type="module-library">
<library name="gson-1.7.2.jar">
<CLASSES>
<root url="file://dist/gson-1.7.2.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="json-simple-1.1.1.jar">
<CLASSES>
<root url="file://dist/json-simple-1.1.1.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="mockito-all-1.8.4.jar">
<CLASSES>
<root url="file://dist/mockito-all-1.8.4.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="org.ow2.sat4j.core-2.3.4.jar">
<CLASSES>
<root url="file://dist/org.ow2.sat4j.core-2.3.4.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="org.ow2.sat4j.maxsat-2.3.4.jar">
<CLASSES>
<root url="file://dist/org.ow2.sat4j.maxsat-2.3.4.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="org.ow2.sat4j.pb-2.3.4.jar">
<CLASSES>
<root url="file://dist/org.ow2.sat4j.pb-2.3.4.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="inheritedJdk" />
</component>
</module>