diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-22 13:32:01 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-22 13:32:17 +0100 |
| commit | f3bcdfe21627f64c11abda54596eb1388caa74e7 (patch) | |
| tree | 7608ee3c1d03272fc4b7ebf1477c51b1600ac1e4 /src/main/java | |
| parent | 296fa6ee9ee63089603c8bb13bb7d3346f85a037 (diff) | |
Add visibility for structs
Diffstat (limited to 'src/main/java')
3 files changed, 14 insertions, 3 deletions
diff --git a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedStructDefinitionNode.java b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedStructDefinitionNode.java index 706265ba..979b590e 100644 --- a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedStructDefinitionNode.java +++ b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedStructDefinitionNode.java @@ -3,26 +3,30 @@ package org.shedlang.compiler.ast.untyped; import org.pcollections.PVector; import org.shedlang.compiler.sources.Source; import org.shedlang.compiler.sources.Sources; +import org.shedlang.compiler.types.Visibility; import org.shedlang.compiler.util.P; import java.util.List; public record UntypedStructDefinitionNode( String name, + Visibility visibility, List<UntypedStructFieldDefinitionNode> fields, Source source ) implements UntypedNamespaceStatementNode { public static Builder builder() { - return new Builder("X", P.vector()); + return new Builder("X", Visibility.PRIVATE, P.vector()); } public record Builder( String name, + Visibility visibility, PVector<UntypedStructFieldDefinitionNode> fields ) { public UntypedStructDefinitionNode build() { return new UntypedStructDefinitionNode( this.name, + this.visibility, this.fields, Sources.NULL ); @@ -31,6 +35,7 @@ public record UntypedStructDefinitionNode( public Builder withName(String name) { return new Builder( name, + this.visibility, this.fields ); } @@ -38,6 +43,7 @@ public record UntypedStructDefinitionNode( public Builder addField(UntypedStructFieldDefinitionNode field) { return new Builder( this.name, + this.visibility, this.fields.plus(field) ); } diff --git a/src/main/java/org/shedlang/compiler/parser/Parser.java b/src/main/java/org/shedlang/compiler/parser/Parser.java index b66fccb1..0151e7d6 100644 --- a/src/main/java/org/shedlang/compiler/parser/Parser.java +++ b/src/main/java/org/shedlang/compiler/parser/Parser.java @@ -509,6 +509,9 @@ public class Parser { case KEYWORD_FUN -> parseFunctionDefinition(tokens); + case KEYWORD_STRUCT -> + parseStructDefinition(tokens); + case KEYWORD_VAL -> parseAssign(tokens); @@ -631,6 +634,8 @@ public class Parser { private static UntypedNamespaceStatementNode parseStructDefinition(TokenIterator<TokenType> tokens) { var start = tokens.position(); + var visibility = parseVisibility(tokens); + tokens.skip(TokenType.KEYWORD_STRUCT); var name = tokens.nextValue(TokenType.IDENTIFIER); @@ -649,7 +654,7 @@ public class Parser { var end = tokens.position(); var source = start.to(end); - return new UntypedStructDefinitionNode(name, fields, source); + return new UntypedStructDefinitionNode(name, visibility, fields, source); } private static UntypedStructFieldDefinitionNode parseStructFieldDefinition(TokenIterator<TokenType> tokens) { diff --git a/src/main/java/org/shedlang/compiler/typechecker/DeclaredVariables.java b/src/main/java/org/shedlang/compiler/typechecker/DeclaredVariables.java index f9878a53..ce057c56 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/DeclaredVariables.java +++ b/src/main/java/org/shedlang/compiler/typechecker/DeclaredVariables.java @@ -101,7 +101,7 @@ class DeclaredVariables { variables.plus(new DeclaredVariable( struct.name(), VariableType.CONSTANT, - Visibility.PRIVATE, + struct.visibility(), struct.source() )); |
