Begin handing of scope and fix type definitions.

1 files changed, 0 insertions, 54 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
index f4380894..f4b5a1d2 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
@@ -1,59 +1,5 @@
 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);

-  }

 }