diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:12:00 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:12:00 +0000 |
| commit | 890b145acb5da23a029148c7a2cbba50c98f25e2 (patch) | |
| tree | 89d5aa42f9b9834ea14d626b8fd99d8417acd70d /src/test/java | |
| parent | 686fe85364d87aa995bf080ea934674a2ece35d9 (diff) | |
Rename addField to addMethod
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java | 2 | ||||
| -rw-r--r-- | src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java | 20 |
2 files changed, 11 insertions, 11 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java index ec4d4bbe..427db10f 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java @@ -83,7 +83,7 @@ public class TypeCheckerFieldAccessTests { .addUserDefinedEffectInfo( effect, UserDefinedEffectInfo.builder() - .addField( + .addMethod( "mark", FunctionType.builder() .addPositionalParam(Types.BOOL) diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java index 7bdfba50..88254905 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java @@ -170,7 +170,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .enterFunction( @@ -239,7 +239,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .enterFunction( @@ -285,7 +285,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .enterFunction( @@ -328,7 +328,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("mark", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .enterFunction( @@ -366,7 +366,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("mark", FunctionType.builder().withReturnType(Types.TOP).build()) + .addMethod("mark", FunctionType.builder().withReturnType(Types.TOP).build()) .build() ) .enterFunction( @@ -418,7 +418,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ); @@ -456,7 +456,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ); @@ -499,7 +499,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .addUserDefinedEffectInfo(unexpectedEffect, UserDefinedEffectInfo.builder().build()); @@ -543,7 +543,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ) .addUserDefinedEffectInfo(allowedEffect, UserDefinedEffectInfo.builder().build()); @@ -582,7 +582,7 @@ public class TypeCheckerTryTests { .addUserDefinedEffectInfo( handledEffect, UserDefinedEffectInfo.builder() - .addField("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) + .addMethod("effectField", FunctionType.builder().withReturnType(Types.UNIT).build()) .build() ); |