blob: fba62e1022ca8b9103b3792069f327dd44727af1 (
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
134
135
136
137
|
/**
*/
package hu.bme.mit.inf.dslreasoner.alloyLanguage;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>ALS Direct Product</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftOperand <em>Left Operand</em>}</li>
* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftMultiplicit <em>Left Multiplicit</em>}</li>
* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightMultiplicit <em>Right Multiplicit</em>}</li>
* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightOperand <em>Right Operand</em>}</li>
* </ul>
*
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSDirectProduct()
* @model
* @generated
*/
public interface ALSDirectProduct extends ALSTerm
{
/**
* Returns the value of the '<em><b>Left Operand</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Left Operand</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>Left Operand</em>' containment reference.
* @see #setLeftOperand(ALSTerm)
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSDirectProduct_LeftOperand()
* @model containment="true"
* @generated
*/
ALSTerm getLeftOperand();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftOperand <em>Left Operand</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Left Operand</em>' containment reference.
* @see #getLeftOperand()
* @generated
*/
void setLeftOperand(ALSTerm value);
/**
* Returns the value of the '<em><b>Left Multiplicit</b></em>' attribute.
* The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Left Multiplicit</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Left Multiplicit</em>' attribute.
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
* @see #setLeftMultiplicit(ALSMultiplicity)
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSDirectProduct_LeftMultiplicit()
* @model
* @generated
*/
ALSMultiplicity getLeftMultiplicit();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftMultiplicit <em>Left Multiplicit</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Left Multiplicit</em>' attribute.
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
* @see #getLeftMultiplicit()
* @generated
*/
void setLeftMultiplicit(ALSMultiplicity value);
/**
* Returns the value of the '<em><b>Right Multiplicit</b></em>' attribute.
* The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Right Multiplicit</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Right Multiplicit</em>' attribute.
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
* @see #setRightMultiplicit(ALSMultiplicity)
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSDirectProduct_RightMultiplicit()
* @model
* @generated
*/
ALSMultiplicity getRightMultiplicit();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightMultiplicit <em>Right Multiplicit</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Right Multiplicit</em>' attribute.
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
* @see #getRightMultiplicit()
* @generated
*/
void setRightMultiplicit(ALSMultiplicity value);
/**
* Returns the value of the '<em><b>Right Operand</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Right Operand</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>Right Operand</em>' containment reference.
* @see #setRightOperand(ALSTerm)
* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSDirectProduct_RightOperand()
* @model containment="true"
* @generated
*/
ALSTerm getRightOperand();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightOperand <em>Right Operand</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Right Operand</em>' containment reference.
* @see #getRightOperand()
* @generated
*/
void setRightOperand(ALSTerm value);
} // ALSDirectProduct
|
