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
|
package org.shedlang.compiler.shidtopatio;
import org.junit.jupiter.api.Test;
import org.shedlang.compiler.patio.PatioDataElementImmutableDefinition;
import org.shedlang.compiler.patio.PatioVisibility;
import org.shedlang.compiler.patio.types.PatioDataValues;
import org.shedlang.compiler.shidtopatio.errors.DuplicateCompilationUnitElementName;
import org.shedlang.compiler.sources.Sources;
import static org.junit.jupiter.api.Assertions.assertThrows;
import static org.zwobble.precisely.AssertThat.assertThat;
import static org.zwobble.precisely.Matchers.*;
public class ShidToPatioContextTests {
@Test
public void canAddCompilationUnitElementsWithDistinctNames() {
var context = ShidToPatioContext.EMPTY;
context = context.addCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.NULL
));
context = context.addCompilationUnitElement(new PatioDataElementImmutableDefinition(
"y",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.NULL
));
assertThat(context.toCompilationUnit(Sources.NULL).value().elements(), isSequence(
instanceOf(PatioDataElementImmutableDefinition.class, has("name", x -> x.name(), equalTo("x"))),
instanceOf(PatioDataElementImmutableDefinition.class, has("name", x -> x.name(), equalTo("y")))
));
}
@Test
public void addingCompilationUnitsWithSameNameThrowsError() {
var context = ShidToPatioContext.EMPTY
.addCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.NULL
));
var error = assertThrows(
DuplicateCompilationUnitElementName.class,
() -> context.addCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.NULL
))
);
assertThat(error.elementName(), equalTo("x"));
}
@Test
public void canEnsureCompilationUnitElementsWithSameNameAndSameValue() {
var context = ShidToPatioContext.EMPTY;
context = context.ensureCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.RUNTIME
));
context = context.ensureCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.RUNTIME
));
assertThat(context.toCompilationUnit(Sources.NULL).value().elements(), isSequence(
instanceOf(PatioDataElementImmutableDefinition.class, has("name", x -> x.name(), equalTo("x")))
));
}
@Test
public void ensuringCompilationUnitsWithSameNameAndDifferentValueThrowsError() {
var context = ShidToPatioContext.EMPTY
.ensureCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(0),
Sources.RUNTIME
));
var error = assertThrows(
DuplicateCompilationUnitElementName.class,
() -> context.ensureCompilationUnitElement(new PatioDataElementImmutableDefinition(
"x",
PatioVisibility.PRIVATE,
PatioDataValues.int_(1),
Sources.RUNTIME
))
);
assertThat(error.elementName(), equalTo("x"));
}
}
|
