package mantra.compiler
TypeChecker
CLASS
public class
Static semantic validator ensuring interface completeness, method override validity, and encapsulation scopes.
🏗️ Constructor Summary
Constructor Signature
def __init__(self)⚙️ Method Summary
| Modifier & Return Type | Method Signature | Description |
|---|---|---|
Result |
check_program(program: Program) |
Validates type safety. |
🔍 Detailed Method Specifications
pub def check_program(program: Program) -> Result>
Validates type safety.
💡 Example Usage
typechecker_example.mantra
let checker = TypeChecker()
checker.check_program(program)