blob: 61f477870e5b011982327407b4f72b08b3631977 (
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
|
package org.eclipse.papyrus.uml.alf.syntax.statements;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.papyrus.uml.alf.syntax.common.AssignedSource;
import org.eclipse.papyrus.uml.alf.syntax.common.SyntaxElement;
import org.eclipse.papyrus.uml.alf.syntax.expressions.Expression;
public class SwitchClause extends SyntaxElement {
// Synthesized Properties
public Block block ;
public List<Expression> _case ;
// Constraints
/*
* The assignments before any case expression of a switch clause are the same as the assignments before
* the clause. The assignments before the block of a switch clause are the assignments after all case
* expressions.
*/
public void checkSwitchClauseAssignmentsBefore() {
}
/*
* If a name is unassigned before a switch clause, then it must be unassigned after all case expressions of
* the clause (i.e., new local names may not be defined in case expressions).
*/
public void checkSwitchClauseCaseLocalNames() {
}
// Helper Operations
/*
* The assignments after a switch clause are the assignments after the block of the switch clause.
*/
public List<AssignedSource> assignmentsAfter() {
return new ArrayList<AssignedSource>() ;
}
/*
* The assignments before a switch clause are the assignments before any case expression of the clause.
*/
public List<AssignedSource> assignmentsBefore() {
return new ArrayList<AssignedSource>() ;
}
}
|