blob: 2366ea157985359a3c728419c038d7326a4e048e (
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
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory
class Logic2VampireLanguageMapper_ConstantMapper {
private val extension VampireLanguageFactory factory = VampireLanguageFactory.eINSTANCE
private val Logic2VampireLanguageMapper_Support support = new Logic2VampireLanguageMapper_Support
val Logic2VampireLanguageMapper base
public new(Logic2VampireLanguageMapper base) {
this.base = base
}
//NOT NEEDED
// def protected dispatch transformConstant(ConstantDeclaration constant, Logic2VampireLanguageMapperTrace trace) {
// val c = createVLSFunctionDeclaration=> [
// it.name = support.toID(constant.name)
// ]
// trace.constantDec.constant = c
// trace.constantDeclaration2LanguageField.put(constant, c);
//
// }
//NOT Used In Sample
def protected dispatch transformConstant(ConstantDefinition constant, Logic2VampireLanguageMapperTrace trace) {
//error
//TODO
// val c = createVLSFofFormula=> [
// name = support.toID(constant.name)
// fofRole = "axiom"
// fofFormula = base.transformTypeReference()
// ]
}
def protected transformConstantDefinitionSpecification(ConstantDefinition constant, Logic2VampireLanguageMapperTrace trace) {
//TODO
}
}
|