test_name validity-vdjr2-basic
test_description Validity rule for alias of joined features.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

-- No alias - unary alias
define A       ""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    ""
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
compile_melted
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- No alias - binary alias
define A       ""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- No alias - binary alias with convert
define A       ""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+" convert"
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- No alias - bracket alias
define A       ""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "[]""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x, y: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Unary alias - unary alias
define A       "alias "-""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    ""
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Binary alias - binary alias
define A       "alias "-""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Binary alias - binary alias with convert
define A       "alias "+""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+" convert"
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Binary alias - bracket alias
define A       "alias "-""
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "[]""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Binary alias with convert - binary alias with convert
define A       "alias "-" convert"
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "+" convert"
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

-- Binary alias with convert - bracket alias
define A       "alias "-" convert"
define A_ADAPT ""
define A_BODY  "deferred"
define B       "alias "[]""
define B_ADAPT ""
define B_BODY  "deferred"
define ARGS    "(x: BOOLEAN)"
copy_sub a.e $CLUSTER a.e
copy_sub b.e $CLUSTER b.e
copy_sub c.e $CLUSTER c.e
resume_compile
compile_result validity_error C ECMA-VDJR(2)

define A_BODY  "do"
copy_sub a.e $CLUSTER a.e
resume_compile
compile_result validity_error C ECMA-VDRD(7)

test_end