blob: 21cd9e0f607814b225cc55b4dec2acd485215e3f (
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
/**
* generated by Xtext 2.14.0
*/
package ca.mcgill.ecse.dslreasoner.vampireLanguage;
import org.eclipse.emf.ecore.EObject;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>VLS Type Def</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig <em>Type Sig</em>}</li>
* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo <em>Maps To</em>}</li>
* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType <em>Init Type</em>}</li>
* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType <em>Next Type</em>}</li>
* </ul>
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTypeDef()
* @model
* @generated
*/
public interface VLSTypeDef extends EObject
{
/**
* Returns the value of the '<em><b>Type Sig</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Type Sig</em>' containment reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Type Sig</em>' containment reference.
* @see #setTypeSig(VLSTypeDef)
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTypeDef_TypeSig()
* @model containment="true"
* @generated
*/
VLSTypeDef getTypeSig();
/**
* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig <em>Type Sig</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Type Sig</em>' containment reference.
* @see #getTypeSig()
* @generated
*/
void setTypeSig(VLSTypeDef value);
/**
* Returns the value of the '<em><b>Maps To</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Maps To</em>' containment reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Maps To</em>' containment reference.
* @see #setMapsTo(VLSTerm)
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTypeDef_MapsTo()
* @model containment="true"
* @generated
*/
VLSTerm getMapsTo();
/**
* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo <em>Maps To</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Maps To</em>' containment reference.
* @see #getMapsTo()
* @generated
*/
void setMapsTo(VLSTerm value);
/**
* Returns the value of the '<em><b>Init Type</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Init Type</em>' containment reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Init Type</em>' containment reference.
* @see #setInitType(VLSTerm)
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTypeDef_InitType()
* @model containment="true"
* @generated
*/
VLSTerm getInitType();
/**
* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType <em>Init Type</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Init Type</em>' containment reference.
* @see #getInitType()
* @generated
*/
void setInitType(VLSTerm value);
/**
* Returns the value of the '<em><b>Next Type</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Next Type</em>' containment reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Next Type</em>' containment reference.
* @see #setNextType(VLSTerm)
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTypeDef_NextType()
* @model containment="true"
* @generated
*/
VLSTerm getNextType();
/**
* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType <em>Next Type</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Next Type</em>' containment reference.
* @see #getNextType()
* @generated
*/
void setNextType(VLSTerm value);
} // VLSTypeDef
|
