natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Created IDEA project in order to run typechecking jchr code in debugger

This commit is contained in:
Fedor Isakov 2015-02-01 21:58:28 +01:00
parent 8ac189f4aa
commit 8ef78c48dd
19 changed files with 2615 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -5,3 +5,4 @@
**/classes_gen/*
**/classes_jchr/*
.mps/workspace.xml
out

1
.idea/.name Normal file
View File

@ -0,0 +1 @@
jetbrains.mps.jchr

22
.idea/compiler.xml Normal file
View File

@ -0,0 +1,22 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="CompilerConfiguration">
<option name="DEFAULT_COMPILER" value="Javac" />
<resourceExtensions />
<wildcardResourcePatterns>
<entry name="!?*.java" />
<entry name="!?*.form" />
<entry name="!?*.class" />
<entry name="!?*.groovy" />
<entry name="!?*.scala" />
<entry name="!?*.flex" />
<entry name="!?*.kt" />
<entry name="!?*.clj" />
</wildcardResourcePatterns>
<annotationProcessing>
<profile default="true" name="Default" enabled="false">
<processorPath useClasspath="true" />
</profile>
</annotationProcessing>
</component>
</project>

3
.idea/copyright/profiles_settings.xml Normal file
View File

@ -0,0 +1,3 @@
<component name="CopyrightManager">
<settings default="" />
</component>

4
.idea/encodings.xml Normal file
View File

@ -0,0 +1,4 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
</project>

13
.idea/libraries/jchr.xml Normal file
View File

@ -0,0 +1,13 @@
<component name="libraryTable">
<library name="jchr">
<CLASSES>
<root url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" />
</SOURCES>
<jarDirectory url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" recursive="false" />
<jarDirectory url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" recursive="false" type="SOURCES" />
</library>
</component>

13
.idea/libraries/lib.xml Normal file
View File

@ -0,0 +1,13 @@
<component name="libraryTable">
<library name="lib">
<CLASSES>
<root url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" />
</SOURCES>
<jarDirectory url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" recursive="false" />
<jarDirectory url="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/runtime/lib" recursive="false" type="SOURCES" />
</library>
</component>

10
.idea/libraries/lib1.xml Normal file
View File

@ -0,0 +1,10 @@
<component name="libraryTable">
<library name="lib1">
<CLASSES>
<root url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" />
</CLASSES>
<JAVADOC />
<SOURCES />
<jarDirectory url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" recursive="false" />
</library>
</component>

10
.idea/libraries/mps_unification.xml Normal file
View File

@ -0,0 +1,10 @@
<component name="libraryTable">
<library name="mps-unification">
<CLASSES>
<root url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" />
</CLASSES>
<JAVADOC />
<SOURCES />
<jarDirectory url="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/imports/mps-unification/lib" recursive="false" />
</library>
</component>

9
.idea/misc.xml Normal file
View File

@ -0,0 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="EntryPointsManager">
<entry_points version="2.0" />
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" assert-keyword="true" jdk-15="true" project-jdk-name="1.6" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>

12
.idea/modules.xml Normal file
View File

@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ProjectModuleManager">
<modules>
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.jchr/JCHR.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.jchr/JCHR.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/Logic.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/Logic.iml" />
<module fileurl="file://$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/Term.iml" filepath="$PROJECT_DIR$/solutions/jetbrains.mps.unification.tree/Term.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/samplechecker.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/samplechecker.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml" />
</modules>
</component>
</project>

5
.idea/scopes/scope_settings.xml Normal file
View File

@ -0,0 +1,5 @@
<component name="DependencyValidationManager">
<state>
<option name="SKIP_IMPORT_STATEMENTS" value="false" />
</state>
</component>

6
.idea/vcs.xml Normal file
View File

@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="" vcs="Git" />
</component>
</project>

2437
.idea/workspace.xml Normal file
View File

File diff suppressed because it is too large Load Diff

10
languages/jetbrains.mps.jchr/JCHR.iml Normal file
View File

@ -0,0 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$" />
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="jchr" level="project" />
</component>
</module>

15
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml Normal file
View File

@ -0,0 +1,15 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="module" module-name="Logic" />
<orderEntry type="module" module-name="samplechecker" />
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="module" module-name="Term" />
</component>
</module>

17
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/samplechecker.iml Normal file
View File

@ -0,0 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<module version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/classes_jchr" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
<excludeFolder url="file://$MODULE_DIR$/source_gen/jetbrains/mps/lang/typesystem2/samplechecker/sample" />
<excludeFolder url="file://$MODULE_DIR$/source_gen/jetbrains/mps/lang/typesystem2/samplechecker/template" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="module" module-name="Logic" />
<orderEntry type="module" module-name="Term" />
</component>
</module>

14
languages/jetbrains.mps.logic/Logic.iml Normal file
View File

@ -0,0 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<module version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/runtime/source" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/runtime/source_gen" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="module" module-name="Term" />
<orderEntry type="library" name="jchr" level="project" />
</component>
</module>

13
solutions/jetbrains.mps.unification.tree/Term.iml Normal file
View File

@ -0,0 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/imports/mps-unification/code/src" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="mps-unification" level="project" />
</component>
</module>