joseoliv

@addToSet("debug", "yes")
@addToSet("author", "Jose")
program

joseoliv

package metaobjectTest


@annot("correct this")
@annot( [ 2, 3, 5, 7 ] )
object Annot

    func run {
        var Int count = 0;
    

joseoliv

package metaobjectTest


@doc{*
    Ranges are attached to types. A variable of type Int@range(first, last)
    can only contain values between first and last (inclusive). This is 
    checked at compile-time when a literal is assigned to the variable 
    and at run-time if an expression is assigned to the variable.
*}
object Range

joseoliv

package metaobjectTest


@doc{*
    usage: 
          String@regex(re)
    regex checks if the variable holds only strings that match the
    regular expression re.
*}
object Regex

joseoliv

@addToSet(debug, "yes")
@addToSet(author, "Jose") 
   /*  Because of this association, prototype  'TaintedToUntainted'
       of package 'untainted' can cast expressions of type 
       T@tainted to T@untainted in which T is any type.
   */
@addToSet(untaintedDoNotCheckIn, "untainted.TaintedToUntainted")
program

    main metaobjectTest.Program

joseoliv

package untainted


object TaintedToUntainted

    func toUntaintedSql: String@tainted(sql) s -> String@untainted(sql) = s;
    
    func toUntaintedHtml: String@tainted(html) s -> String@untainted(html) = s;

end

joseoliv

package metaobjectTest

import untainted


object Tainted

    func run {
        var String@tainted(sql) maliciousSqlCode = 
           "I will delete your database";

joseoliv

package metaobjectTest


@doc{*
  Annotation 'type' should be attached to a type. It works 
  much like a language-C typedef but without the explicit 
  declaration. Every type  T@type(id)  is compatible only with literals
  and types annotated with T@type(id) (both should have the same 'id'). 
*}
object Type

joseoliv

package metaobjectTest

@doc{*
    callTestMethods generates code that calls all methods of
    the current prototype whose name ends with 'Test'. It
    is the same as to use annotation @callUnaryMethods(".*Test")
*}
object CallTestMethods

    func run {

joseoliv

package metaobjectTest

@doc{*
    callUnaryMethods generates code that calls all methods of
    the current prototype whose name matches with the pattern
    that is the annotation parameter. 
*}
object CallUnaryMethods

    func run {