Annotations

TODO: document this

1
2
3
4
5
6
7
8
9
10
11
12
@annotation
shape MyAnnotation
    def MyAnnotation(int i)
        // ...
    end
end
@MyAnnotation(12)
shape MyShape
end

Since annotations are just shapes, that are stored in the type data, you can instantiate them just like normal shapes. To disable this behaviour, you can use multiple approaches: Annotate the custom annotation or the constructor(s) with @not_instantiable Enable the compiler option annotation_not_instantiable for the current file with {$push annotation_not_instantiable}

TODO: document this

AnnotatedTopLevelDecl = { Annotation } TopLevelDecl ;

AnnotatedStmnt = { Annotation } Statement ;

AnnotatedType = { Annotation } Type ;

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
@namespace_annotation
namespace Test
    @shape_annotation
    shape MyTempl
        @field_annotation
        var int field;
        @method_annotation
        def method()
        end
    end
    @variable_annotation
    var int variable;
    @method_annotation
    def myFunction(
        @param_annotation int param1
    )
        # ...
    end
end
@function_annotation
def someFunction()
    @variable_annotation
    var int i;
end

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
var Car car = new @type_annotation Car();
var @type_annotation int i;
var array[@type_annotation int] a;
shape MyContainer
    of [ @type_annotation T , @type_annotation int i, @type_annotation const j ]
    use [ @type_annotation Parent ]
    var @type_annotation int field;
    def (@type_annotation int, @type_annotation int) myFunction()
    end
end
// type annoation for typeless
var @type_annotation c;
c = new MyContainer[ @type_annotation int, 12, 1 ]();
f = cast d to @type_annotation F;