blob: 1f071635923be8f4228f44558575e64673817c95 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
import java.util.Collection
import java.util.List
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm
interface Logic2VampireLanguageMapper_TypeMapper {
def void transformTypes(Collection<Type> types, Collection<DefinedElement> elements, Logic2VampireLanguageMapper mapper, Logic2VampireLanguageMapperTrace trace);
//samples below 2 lines
def List<VLSTerm> transformTypeReference(Type referred, Logic2VampireLanguageMapper mapper, Logic2VampireLanguageMapperTrace trace)
def VLSTerm getUndefinedSupertype(Logic2VampireLanguageMapperTrace trace)
def int getUndefinedSupertypeScope(int undefinedScope,Logic2VampireLanguageMapperTrace trace)
def VLSTerm transformReference(DefinedElement referred,Logic2VampireLanguageMapperTrace trace)
def VampireModelInterpretation_TypeInterpretation getTypeInterpreter()
}
|
