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

Updated the IDEA project in order to run test typechecking runner. 

Copied ExpressionSolver to private src directory (WARNING!)
This commit is contained in:
Fedor Isakov 2015-12-17 16:27:31 +01:00
parent c246846704
commit 9fff72e15d
10 changed files with 180 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.idea/modules.xml
View File

@ -5,14 +5,14 @@
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/Atom.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/Atom.iml" />
<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$/languages/jetbrains.mps.logic/test/Logic.test.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/test/Logic.test.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/jchr/Logic.jchr.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/jchr/Logic.jchr.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.logic/reactor/Logic.reactor.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.logic/reactor/Logic.reactor.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/samplechecker.handler.test.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/samplechecker.handler.test.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.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" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/typesystem2.sandbox.sample.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/typesystem2.sandbox.sample.iml" />
<module fileurl="file://$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/test/jetbrains.mps.lang.typesystem2.test/typesystem2.test.iml" filepath="$PROJECT_DIR$/languages/jetbrains.mps.lang.typesystem2/test/jetbrains.mps.lang.typesystem2.test/typesystem2.test.iml" />
</modules>
</component>
</project>

1
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml
View File

@ -11,5 +11,6 @@
<orderEntry type="module" module-name="typesystem2.runtime" />
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="module" module-name="Atom" />
<orderEntry type="module" module-name="Logic.reactor" />
</component>
</module>

2
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml
View File

@ -12,5 +12,7 @@
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="module" module-name="samplechecker.handler.util" />
<orderEntry type="module" module-name="Atom" />
<orderEntry type="module" module-name="Logic.jchr" />
<orderEntry type="module" module-name="Logic.reactor" />
</component>
</module>

4
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml
View File

@ -4,6 +4,7 @@
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/source_copy" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
@ -13,5 +14,8 @@
<orderEntry type="module" module-name="samplechecker.handler" />
<orderEntry type="module" module-name="typesystem2.runtime" />
<orderEntry type="module" module-name="Atom" />
<orderEntry type="module" module-name="Logic.reactor" />
<orderEntry type="module" module-name="Logic.jchr" />
<orderEntry type="module" module-name="samplechecker.handler.util" />
</component>
</module>

130
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/source_copy/jetbrains/mps/lang/typesystem2/samplechecker/template/ExpressionSolver.java Normal file
View File

@ -0,0 +1,130 @@
package jetbrains.mps.lang.typesystem2.samplechecker.template;
/*Generated by MPS */
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.LubSolver;
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.SubtypePathSolver;
import jetbrains.mps.logic.reactor.constraint.Instructible;
import jetbrains.mps.logic.reactor.constraint.PredicateSymbol;
import jetbrains.mps.logic.reactor.constraint.Queryable;
import jetbrains.mps.logic.reactor.constraint.Symbol;
import jetbrains.mps.logic.reactor.logical.Logical;
import java.util.Arrays;
public class ExpressionSolver implements Instructible, Queryable {
@Override
public boolean ask(PredicateSymbol predicateSymbol, Object... args) {
switch (Arrays.binarySearch(stringSwitchCases_rbjxpx_a0a0c, String.valueOf(args[0]))) {
case 18:
return eval_8490564095239449965();
case 16:
return eval_6954470109733427152();
case 7:
return eval_4333870926030563260();
case 15:
return eval_6433032998740858010();
case 8:
return eval_4333870926030563292();
case 14:
return eval_6433032998740857672();
case 4:
return eval_2815152073368565737();
case 12:
return eval_6433032998739462746();
case 13:
return eval_6433032998739928692();
case 9:
return eval_4954708137221254423();
case 10:
return eval_5474059076247347166();
case 5:
return eval_3476135434775506825();
case 17:
return eval_8309386291062717374();
case 2:
return eval_2119840812316470003();
case 1:
return eval_1495793802505858891();
case 11:
return eval_6090918609100367715();
case 6:
return eval_3476135434775508031();
case 0:
return eval_1083812994908902003((Logical) args[1], (Logical) args[2], (Logical) args[3]);
case 3:
return eval_2774290188069062745((Logical) args[1], (Logical) args[2], (Logical) args[3]);
default:
throw new UnsupportedOperationException("unknown expression: " + String.valueOf(args[0]));
}
}
@Override
public void tell(Symbol symbol, Object... args) {
if (!(ask((PredicateSymbol) symbol, args))) {
throw new IllegalStateException("unsatisfied predicate: " + symbol);
}
}
public boolean eval_8490564095239449965() {
return true;
}
public boolean eval_6954470109733427152() {
return false;
}
public boolean eval_4333870926030563260() {
return true;
}
public boolean eval_6433032998740858010() {
return true;
}
public boolean eval_4333870926030563292() {
return true;
}
public boolean eval_6433032998740857672() {
return true;
}
public boolean eval_2815152073368565737() {
return false;
}
public boolean eval_6433032998739462746() {
return false;
}
public boolean eval_6433032998739928692() {
return true;
}
public boolean eval_4954708137221254423() {
return false;
}
public boolean eval_5474059076247347166() {
return true;
}
public boolean eval_3476135434775506825() {
return true;
}
public boolean eval_8309386291062717374() {
return true;
}
public boolean eval_2119840812316470003() {
return true;
}
public boolean eval_1495793802505858891() {
return true;
}
public boolean eval_6090918609100367715() {
return true;
}
public boolean eval_3476135434775508031() {
return true;
}
public boolean eval_1083812994908902003(Logical arg0, Logical arg1, Logical arg2) {
return SubtypePathSolver.findSubtypingPath(arg0, arg1, arg2);
}
public boolean eval_2774290188069062745(Logical arg0, Logical arg1, Logical arg2) {
return LubSolver.findLub(arg0, arg1, arg2);
}
private static String[] stringSwitchCases_rbjxpx_a0a0c = new String[]{"1083812994908902003", "1495793802505858891", "2119840812316470003", "2774290188069062745", "2815152073368565737", "3476135434775506825", "3476135434775508031", "4333870926030563260", "4333870926030563292", "4954708137221254423", "5474059076247347166", "6090918609100367715", "6433032998739462746", "6433032998739928692", "6433032998740857672", "6433032998740858010", "6954470109733427152", "8309386291062717374", "8490564095239449965"};
}

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

@ -0,0 +1,9 @@
<?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" />
</component>
</module>

2
languages/jetbrains.mps.logic/Logic.iml
View File

@ -10,5 +10,7 @@
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="module" module-name="Atom" />
<orderEntry type="module" module-name="Logic.reactor" />
<orderEntry type="module" module-name="Logic.jchr" />
</component>
</module>

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

@ -0,0 +1,16 @@
<?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.reactor" />
<orderEntry type="library" name="jchr" level="project" />
<orderEntry type="library" name="log4j" level="project" />
<orderEntry type="module" module-name="Logic" />
<orderEntry type="module" module-name="Atom" />
</component>
</module>

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

@ -0,0 +1,12 @@
<?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="library" name="guava-17.0" level="project" />
</component>
</module>

1
languages/jetbrains.mps.logic/test/Logic.test.iml
View File

@ -22,5 +22,6 @@
<orderEntry type="module" module-name="Logic" scope="TEST" />
<orderEntry type="module" module-name="Atom" scope="TEST" />
<orderEntry type="library" name="mps-{closures,collections}" level="project" />
<orderEntry type="module" module-name="Logic.jchr" scope="TEST" />
</component>
</module>