/*
 * Copyright 2016 Shinya Mochida
 * 
 * Licensed under the Apache License,Version2.0(the"License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing,software
 * Distributed under the License is distributed on an"AS IS"BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package org.mikeneck.example.java.lang

import org.mikeneck.kuickcheck.Property
import org.mikeneck.kuickcheck.byte
import org.mikeneck.kuickcheck.forAll

class ByteCheck {

    fun receive(b: Byte): Int {
        return if (b < 0x10.toByte() || 0x1f.toByte() < b) -1
        else 0
    }

    @Property
    val `can receive From 0x10 To 0x1f` = forAll (byte(0x10, 0x1f)).satisfy { receive(it) == 0 }
}
