Changeset 0c327ce for src/Validate

Timestamp:

Jul 12, 2024, 3:30:06 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

76b507d

Parents:

9c447e2

Message:

1. Add bound check to Serial function: now compiler generates the unchecked functions in ImplementEnumFunc?, and enum.hfa implements the bound check on top. Todo: Wrapped the checked version into a trait; 2. countof is now works on any type that implement Countof(). Because Countof() is implemented in enum.hfa for all CfaEnum?, we can call countof on { T | CfaEnum?(T) }

File:

• src/Validate/ImplementEnumFunc.cpp (modified) (2 diffs)

src/Validate/ImplementEnumFunc.cpp

@@ -228 +228 @@
 ast::FunctionDecl* EnumAttrFuncGenerator::genFromIntProto() const {
         return genProto(
-                "fromInt",
+                "fromInt_unsafe",
                 {new ast::ObjectDecl(getLocation(), "_i", new ast::BasicType(ast::BasicKind::UnsignedInt))},
                 {new ast::ObjectDecl(getLocation(), "_ret", new ast::EnumInstType(decl))}
@@ -313 +313 @@
                 genFromIntProto(),
                 genFromInstanceProto(),
-                genInstToInstFuncProto("succ"),
-                genInstToInstFuncProto("pred")
+                genInstToInstFuncProto("succ_unsafe"),
+                genInstToInstFuncProto("pred_unsafe")
         };
         for (auto& proto: protos) produceForwardDecl(proto);