Comet/Comet
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

implement default values and prevent duplicate fields/methods

Browse Source
This commit is contained in:
SpookyDervish
2026-07-05 21:29:20 +10:00
parent d2a05f27c9
commit 6c9f52b094
3 changed files with 67 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -35,7 +35,7 @@ Comet is a fast, compiled programming language built on top of C and runs on a c
- [ ] Struct definition
- [x] Fields
- [x] Private/protected/readonly
- [ ] Default values
- [x] Default values
- [x] Accessing / setting fields
- [x] Methods
- [ ] Special methods (add, subtract, as, etc...)

63
src/compiler.c
View File

@@ -4128,6 +4128,32 @@ ResultType(cometTypePtr, ErrorMessage) visitStructDefStatement(CometCompiler* c,
switch (fieldDef->nodeType) {
case AST_ASSIGN_STATEMENT: {
char* fieldName = fieldDef->data.AST_ASSIGN_STATEMENT.ident->data.AST_IDENTIFIER.ident;
// ensure there aren't duplicate fields
for (size_t i = 0; i < fieldIdx; i++) {
if (strcmp(structType->fieldNames[i], fieldName) == 0) {
Estr buffer = CREATE_ESTR("Redefinition of field \"");
APPEND_ESTR(buffer, fieldName);
APPEND_ESTR(buffer, "\" in struct \"");
APPEND_ESTR(buffer, structName);
APPEND_ESTR(buffer, "\"");
ErrorMessage errMsg = createError(
c->inputFilePath,
c->sourceCode,
"VariableRedefinition",
buffer.str,
NULL,
fieldDef->lineNum,
fieldDef->startCol,
fieldDef->endCol
);
return Error(cometTypePtr, ErrorMessage, errMsg);
}
}
ResultType(CometType, ErrorMessage) fieldType = getType(c, fieldDef->data.AST_ASSIGN_STATEMENT.type);
if (fieldType.error)
return Error(cometTypePtr, ErrorMessage, fieldType.as.error);
@@ -4159,9 +4185,9 @@ ResultType(cometTypePtr, ErrorMessage) visitStructDefStatement(CometCompiler* c,
"CantOverrideMethod",
buffer.str,
NULL,
node->lineNum,
node->startCol,
node->endCol
fieldDef->lineNum,
fieldDef->startCol,
fieldDef->endCol
);
return Error(cometTypePtr, ErrorMessage, errMsg);
@@ -4187,9 +4213,9 @@ ResultType(cometTypePtr, ErrorMessage) visitStructDefStatement(CometCompiler* c,
"SemanticError",
buffer.str,
NULL,
node->lineNum,
node->startCol,
node->endCol
fieldDef->lineNum,
fieldDef->startCol,
fieldDef->endCol
);
return Error(cometTypePtr, ErrorMessage, errMsg);
@@ -4229,6 +4255,31 @@ ResultType(cometTypePtr, ErrorMessage) visitStructDefStatement(CometCompiler* c,
case AST_FUNC_DEF_STATEMENT: {
// ensure there aren't duplicate methods
char* funcDefName = fieldDef->data.AST_FUNC_DEF_STATEMENT.ident->data.AST_IDENTIFIER.ident;
for (size_t i = 0; i < vtableIdx; i++) {
if (strcmp(structType->vtable[i]->name, funcDefName) == 0) {
Estr buffer = CREATE_ESTR("Redefinition of method \"");
APPEND_ESTR(buffer, funcDefName);
APPEND_ESTR(buffer, "\" in struct \"");
APPEND_ESTR(buffer, structName);
APPEND_ESTR(buffer, "\"");
ErrorMessage errMsg = createError(
c->inputFilePath,
c->sourceCode,
"VariableRedefinition",
buffer.str,
" Did you forget to use \"override\"?",
fieldDef->lineNum,
fieldDef->startCol,
fieldDef->endCol
);
return Error(cometTypePtr, ErrorMessage, errMsg);
}
}
ResultType(CometOperand, ErrorMessage) result = visitMethodDefStatement(c, fieldDef, generalStructType);
if (result.error)
return Error(cometTypePtr, ErrorMessage, result.as.error);

17
test.comet
View File

@@ -1,18 +1,19 @@
struct Foo {
readonly int x = 123
func foo() -> int {
return 123
}
override func foo() -> bool {
return true
}
init() {}
}
struct Bar : Foo {
init() {
super(self)
self.x = 5
}
}
func main() -> int {
Bar test = new Bar()
Foo test = new Foo()
return test.x
}