blob: 8377aca4589d4bacff98006c99a8af25bad32c6d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
import java.util.HashMap
import java.util.List
import java.util.Map
class Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal implements Logic2AlloyLanguageMapper_TypeMapperTrace {
public var ALSSignatureDeclaration objectSupperClass;
public val Map<Type, ALSSignatureDeclaration> type2ALSType = new HashMap;
public val Map<DefinedElement, ALSSignatureDeclaration> definedElement2Declaration = new HashMap
public val Map<Type, List<ALSSignatureDeclaration>> typeSelection = new HashMap
}
|