aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-10-22 13:32:01 +0100
committerMichael Williamson <mike@zwobble.org>2023-10-22 13:32:17 +0100
commitf3bcdfe21627f64c11abda54596eb1388caa74e7 (patch)
tree7608ee3c1d03272fc4b7ebf1477c51b1600ac1e4 /src/main/java
parent296fa6ee9ee63089603c8bb13bb7d3346f85a037 (diff)
Add visibility for structs
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/ast/untyped/UntypedStructDefinitionNode.java8
-rw-r--r--src/main/java/org/shedlang/compiler/parser/Parser.java7
-rw-r--r--src/main/java/org/shedlang/compiler/typechecker/DeclaredVariables.java2
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()
));