Source

kink / src / test / kink / TYPED_test.kn

Full commit
#! kink
# vim: et sw=4 sts=4

# Copyright (c) 2013 Miyakawa Taku
# 
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
# 
# The above copyright notice and this permission notice shall be included in
# all copies or substantial portions of the Software.
# 
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
# THE SOFTWARE.

use('TYPED.typed')
use('TEST.test')
use('CHECK.check_thrown')

test {
    use('JAVA.int')
    use('java.lang.String')
    use('java.lang.Object')
    typed(String 'foobar').can_into?(String).check(true)
    typed(String 'foobar').can_into?(Object).check(false)
    typed(String 'foobar').can_into?(int).check(false)
}

test {
    use('JAVA.int')
    use('java.lang.String')
    use('java.lang.Object')
    typed(Object 'foobar').can_into?(String).check(false)
    typed(Object 'foobar').can_into?(Object).check(true)
    typed(Object 'foobar').can_into?(int).check(false)
}

test {
    use('java.lang.String')
    typed(String 'foobar').into(String).check('foobar')
}

test {
    use('java.lang.String')
    typed(String 'foobar').show.check(expand("typed(#{String.show} 'foobar')"))
}