diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-07 18:59:44 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-07 18:59:44 +0000 |
| commit | 965936c9d2983fae0201412df1d7adf4a1bc1c66 (patch) | |
| tree | 9f93bccc6765a2ba80ee4d5ee090732dd58f893b /src/test/java | |
| parent | 73915b6f89e4551575b349d5fda6bacf2b578288 (diff) | |
Rename effect field to effect method
Diffstat (limited to 'src/test/java')
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())) )) |
