From 4236f6735c91e8db3e4eb5641f5625f83024f434 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Mar 2018 22:16:37 -0400 Subject: Removed unused projects --- .../reasoner/Logic2Smt_TypeMapper_Horizontal.xtend | 63 ---------------------- 1 file changed, 63 deletions(-) delete mode 100644 Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner') diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend deleted file mode 100644 index a5abbb44..00000000 --- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend +++ /dev/null @@ -1,63 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.smt.reasoner - -import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput -import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem -import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes -import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type -import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement -import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument -import java.util.List -import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory -import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition - -class Logic2Smt_TypeMapperTrace_Horizontal implements Logic2Smt_TypeMapperTrace{ - - override copy(SMTInput newModel) { - throw new UnsupportedOperationException("TODO: auto-generated method stub") - } -} - -class Logic2Smt_TypeMapper_Horizontal implements Logic2Smt_TypeMapper { - val extension SmtLanguageFactory factory = SmtLanguageFactory.eINSTANCE - - private def toID(List names) {names.join("!") } - - override transformTypes(SMTInput document, LogicProblem problem, Logic2SmtMapperTrace trace, TypeScopes scopes) { - val typeTrace = new Logic2Smt_TypeMapperTrace_Horizontal - trace.typeMapperTrace = typeTrace - - // mapping of known elements - - } - - private def Logic2Smt_TypeMapperTrace_Horizontal getTypeTrace(Logic2SmtMapperTrace trace) { - val typeTrace = trace.typeMapperTrace - if(typeTrace instanceof Logic2Smt_TypeMapperTrace_Horizontal) { - return typeTrace - } else { - throw new IllegalArgumentException('''Unknown trace type: «typeTrace.class.name»''') - } - } - - private def boolean hasDefinedSupertype(Type type) { - if(type instanceof TypeDefinition) { - return true - } else { - if(type.supertypes.empty) return false - else return type.supertypes.exists[it.hasDefinedSupertype] - } - } - - override transformTypeReference(Type type, Logic2SmtMapperTrace trace) { - throw new UnsupportedOperationException("TODO: auto-generated method stub") - } - - override transformSymbolicReference(DefinedElement referred, Logic2SmtMapperTrace trace) { - throw new UnsupportedOperationException("TODO: auto-generated method stub") - } - - override getTypeInterpretation(LogicProblem problem, SMTDocument document, SmtModelInterpretation interpretation, Logic2SmtMapperTrace trace) { - throw new UnsupportedOperationException("TODO: auto-generated method stub") - } - -} \ No newline at end of file -- cgit v1.2.3-70-g09d2