blob: f438089406c6850c64ae80d87db4af458abbb5ca (
plain) (
blame)
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
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireSolutionModel;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
import org.eclipse.xtext.xbase.lib.Extension;
import org.eclipse.xtext.xbase.lib.Functions.Function2;
import org.eclipse.xtext.xbase.lib.IterableExtensions;
@SuppressWarnings("all")
public class Vampire2LogicMapper {
@Extension
private final LogicresultFactory resultFactory = LogicresultFactory.eINSTANCE;
public LogicResult transformOutput(final LogicProblem problem, final int requiredNumberOfSolution, final VampireSolutionModel vampireSolution, final Logic2VampireLanguageMapperTrace trace, final long transformationTime) {
throw new Error("Unresolved compilation problems:"
+ "\nThe method or field aswers is undefined for the type VampireSolutionModel"
+ "\nThe method or field key is undefined for the type Object"
+ "\nThe method or field monitoredAlloySolution is undefined"
+ "\nThe method or field monitoredAlloySolution is undefined"
+ "\nThe method or field monitoredAlloySolution is undefined"
+ "\nThe method or field monitoredAlloySolution is undefined"
+ "\nThe method transformStatistics(MonitoredAlloySolution, long) from the type Vampire2LogicMapper refers to the missing type MonitoredAlloySolution"
+ "\nThe method transformStatistics(MonitoredAlloySolution, long) from the type Vampire2LogicMapper refers to the missing type MonitoredAlloySolution"
+ "\nThe method transformStatistics(MonitoredAlloySolution, long) from the type Vampire2LogicMapper refers to the missing type MonitoredAlloySolution"
+ "\nmap cannot be resolved"
+ "\ntoList cannot be resolved"
+ "\nfinishedBeforeTimeout cannot be resolved"
+ "\n! cannot be resolved"
+ "\nlast cannot be resolved"
+ "\nsatisfiable cannot be resolved"
+ "\n|| cannot be resolved");
}
public Statistics transformStatistics(final /* MonitoredAlloySolution */Object solution, final long transformationTime) {
throw new Error("Unresolved compilation problems:"
+ "\nCannot cast from Object to int"
+ "\nCannot cast from Object to int"
+ "\naswers cannot be resolved"
+ "\nsize cannot be resolved"
+ "\naswers cannot be resolved"
+ "\nget cannot be resolved"
+ "\nvalue cannot be resolved"
+ "\nintValue cannot be resolved"
+ "\nkodkodTime cannot be resolved"
+ "\nkodkodTime cannot be resolved"
+ "\nwarnings cannot be resolved");
}
public Long sum(final Iterable<Long> ints) {
final Function2<Long, Long, Long> _function = (Long p1, Long p2) -> {
return Long.valueOf(((p1).longValue() + (p2).longValue()));
};
return IterableExtensions.<Long>reduce(ints, _function);
}
}
|