aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-11-07 18:59:44 +0000
committerMichael Williamson <mike@zwobble.org>2023-11-07 18:59:44 +0000
commit965936c9d2983fae0201412df1d7adf4a1bc1c66 (patch)
tree9f93bccc6765a2ba80ee4d5ee090732dd58f893b /src/test/java
parent73915b6f89e4551575b349d5fda6bacf2b578288 (diff)
Rename effect field to effect method
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/ast/untyped/UntypedEffectDefinitionNodeMatcher.java4
-rw-r--r--src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java2
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerEffectDefinitionTests.java8
3 files changed, 7 insertions, 7 deletions
diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedEffectDefinitionNodeMatcher.java b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedEffectDefinitionNodeMatcher.java
index 34efd64a..352ffa97 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedEffectDefinitionNodeMatcher.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedEffectDefinitionNodeMatcher.java
@@ -45,8 +45,8 @@ public class UntypedEffectDefinitionNodeMatcher extends MatcherBuilder<
}
public UntypedEffectDefinitionNodeMatcher withFields(
- Matcher<Iterable<? extends UntypedEffectDefinitionFieldNode>> fields
+ Matcher<Iterable<? extends UntypedEffectDefinitionMethodNode>> fields
) {
- return with(has("fields", x -> x.fields(), fields));
+ return with(has("fields", x -> x.methods(), fields));
}
}
diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
index 61fad9ac..d2df2a3c 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
@@ -88,7 +88,7 @@ public class UntypedNodeMatchers {
return UntypedEffectDefinitionNodeMatcher.empty();
}
- public static Matcher<UntypedEffectDefinitionFieldNode> isUntypedEffectDefinitionFieldNode(
+ public static Matcher<UntypedEffectDefinitionMethodNode> isUntypedEffectDefinitionFieldNode(
String name,
Matcher<? super UntypedFunctionTypeNode> type
) {
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerEffectDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerEffectDefinitionTests.java
index 3c733e5a..70c674a9 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerEffectDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerEffectDefinitionTests.java
@@ -51,16 +51,16 @@ public class TypeCheckerEffectDefinitionTests {
}
@Test
- public void effectInfoHasFields() {
+ public void effectInfoHasMethods() {
var untyped = UntypedEffectDefinitionNode.builder()
.withName("ExampleEffect")
- .addField(
+ .addMethod(
"b",
UntypedFunctionTypeNode.builder()
.withReturnType(Untyped.typeLevelReference("String"))
.build()
)
- .addField(
+ .addMethod(
"a",
UntypedFunctionTypeNode.builder()
.withReturnType(Untyped.typeLevelReference("Bool"))
@@ -77,7 +77,7 @@ public class TypeCheckerEffectDefinitionTests {
assertThat(
typed.context().userDefinedEffectInfo(Effects.userDefined(NAMESPACE_NAME, "ExampleEffect"), Sources.NULL),
- has("fields", x -> x.fields().stream().toList(), isSequence(
+ has("methods", x -> x.methods().stream().toList(), isSequence(
equalTo(new FieldInfo<>("b", FunctionType.builder().withReturnType(Types.STRING).build())),
equalTo(new FieldInfo<>("a", FunctionType.builder().withReturnType(Types.BOOL).build()))
))