diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-23 12:05:34 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-23 16:09:48 +0000 |
| commit | 1886fc2b214bb2c5bfc4cb1ca3d49975c76da0d6 (patch) | |
| tree | 23d4ee613b0b636b54be11ee147ea2ddf84aaf67 /src/test/java/org/shedlang/compiler/ast | |
| parent | a7c33eef7d2598d5636ff5bcde07da4f9c057184 (diff) | |
Parse constructed types
Diffstat (limited to 'src/test/java/org/shedlang/compiler/ast')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java | 11 |
1 files changed, 11 insertions, 0 deletions
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 5b290949..7ad42734 100644 --- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java +++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java @@ -93,6 +93,17 @@ public class UntypedNodeMatchers { ); } + public static Matcher<UntypedTypeLevelExpressionNode> isUntypedConstructedTypeNode( + Matcher<UntypedTypeLevelExpressionNode> receiver, + Matcher<Iterable<? extends UntypedTypeLevelExpressionNode>> args + ) { + return instanceOf( + UntypedConstructedTypeNode.class, + has("receiver", x -> x.receiver(), receiver), + has("args", x -> x.args(), args) + ); + } + public static UntypedEffectDefinitionNodeMatcher isUntypedEffectDefinitionNode() { return UntypedEffectDefinitionNodeMatcher.empty(); } |
