SatisfiedTypes.ceylon

import ceylon.ast.core {
    SatisfiedTypes
}
import ceylon.ast.create {
    createBaseType=baseType,
    createSatisfiedTypes=satisfiedTypes
}
import ceylon.test {
    test,
    assertEquals
}

test
shared void satisfiedTypes() {
    assertEquals {
        actual = createSatisfiedTypes("Identifiable");
        expected = SatisfiedTypes([createBaseType("Identifiable")]);
        message = "One satisfied type";
    };
    assertEquals {
        actual = createSatisfiedTypes(createBaseType("Iterable", "Integer", "Null"), createBaseType("Summable", "Vector"));
        expected = SatisfiedTypes([createBaseType("Iterable", "Integer", "Null"), createBaseType("Summable", "Vector")]);
        message = "Two satisfied types";
    };
}