loalang 0.1.15

Loa is a general-purpose, purely immutable, object-oriented programming language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

use crate::semantics::Checker;

mod undefined_type_reference;
pub use self::undefined_type_reference::*;

mod undefined_reference;
pub use self::undefined_reference::*;

mod undefined_behaviour;
pub use self::undefined_behaviour::*;

mod type_assignment;
pub use self::type_assignment::*;

mod duplicate_declaration;
pub use self::duplicate_declaration::*;

mod invalid_import;
pub use self::invalid_import::*;

mod valid_inherit;
pub use self::valid_inherit::*;

mod out_of_bounds_number;
pub use self::out_of_bounds_number::*;

mod imprecise_float_literal;
pub use self::imprecise_float_literal::*;

mod wrong_number_of_type_arguments;
pub use self::wrong_number_of_type_arguments::*;

mod private_methods;
pub use self::private_methods::*;

mod type_parameter_variance;
pub use self::type_parameter_variance::*;

mod variable_initialization;
pub use self::variable_initialization::*;

const UNDEFINED_TYPE_REFERENCE: UndefinedTypeReference = UndefinedTypeReference;
const UNDEFINED_REFERENCE: UndefinedReference = UndefinedReference;
const UNDEFINED_BEHAVIOUR: UndefinedBehaviour = UndefinedBehaviour;
const TYPE_ASSIGNMENT: TypeAssignment = TypeAssignment;
const DUPLICATE_DECLARATION: DuplicateDeclaration = DuplicateDeclaration;
const INVALID_IMPORT: InvalidImport = InvalidImport;
const INVALID_INHERIT: InvalidInherit = InvalidInherit;
const OUT_OF_BOUNDS_NUMBER: OutOfBoundsNumber = OutOfBoundsNumber;
const IMPRECISE_FLOAT_LITERAL: ImpreciseFloatLiteral = ImpreciseFloatLiteral;
const WRONG_NUMBER_OF_TYPE_ARGUMENTS: WrongNumberOfTypeArguments = WrongNumberOfTypeArguments;
const PRIVATE_METHODS: PrivateMethods = PrivateMethods;
const TYPE_PARAMETER_VARIANCE: TypeParameterVariance = TypeParameterVariance;
const VARIABLE_INITIALIZATION: VariableInitialization = VariableInitialization;

#[inline]
pub fn checkers() -> Vec<&'static dyn Checker> {
    vec![
        &UNDEFINED_TYPE_REFERENCE,
        &UNDEFINED_REFERENCE,
        &UNDEFINED_BEHAVIOUR,
        &TYPE_ASSIGNMENT,
        &DUPLICATE_DECLARATION,
        &INVALID_IMPORT,
        &INVALID_INHERIT,
        &OUT_OF_BOUNDS_NUMBER,
        &IMPRECISE_FLOAT_LITERAL,
        &WRONG_NUMBER_OF_TYPE_ARGUMENTS,
        &PRIVATE_METHODS,
        &TYPE_PARAMETER_VARIANCE,
        &VARIABLE_INITIALIZATION,
    ]
}