Examples with Property com.pholser.junit.quickcheck.Property used on opensource projects

Example 71 with Property

use of com.pholser.junit.quickcheck.Property in project beam by apache.

the class BeamDDLNestedTypesTest method supportsPrimitiveTypes.

@Property
public void supportsPrimitiveTypes(@From(PrimitiveTypes.class) FieldType fieldType) throws SqlParseException {
    String fieldTypeDeclaration = unparse(fieldType);
    Table table = executeCreateTableWith(fieldTypeDeclaration);
    Schema expectedSchema = newSimpleSchemaWith(fieldType);
    assertEquals(expectedSchema, table.getSchema());
}

Example 72 with Property

use of com.pholser.junit.quickcheck.Property in project beam by apache.

the class BeamDDLNestedTypesTest method supportsNestedTypes.

@Property
public void supportsNestedTypes(@From(AnyFieldType.class) FieldType generatedFieldType) throws SqlParseException {
    String fieldTypeDeclaration = unparse(generatedFieldType);
    Table table = executeCreateTableWith(fieldTypeDeclaration);
    Schema expectedSchema = newSimpleSchemaWith(generatedFieldType);
    assertEquals(expectedSchema, table.getSchema());
}

Example 73 with Property

use of com.pholser.junit.quickcheck.Property in project emuRox by rossdrew.

the class Ricoh2C02Properties method testSetControlRegister.

@Property(trials = 10)
public void testSetControlRegister(@InRange(min = "0", max = "255") int byteValue) {
    final Memory vRam = new SimpleMemory();
    final Memory sprRam = mock(Memory.class);
    final Memory cpuRam = mock(Memory.class);
    final Ricoh2C02 ppu = new Ricoh2C02(vRam, sprRam, cpuRam);
    for (Ricoh2C02Registers.Register register : Ricoh2C02Registers.Register.values()) {
        ppu.setRegister(register, byteValue);
        verify(cpuRam, times(1)).setByteAt(register.getMemoryMappedLocation(), byteValue);
    }
}

Example 74 with Property

use of com.pholser.junit.quickcheck.Property in project emuRox by rossdrew.

the class Ricoh2C02Properties method testGetControlRegister.

@Property(trials = 10)
public void testGetControlRegister(@InRange(min = "0", max = "255") int byteValue) {
    final Memory vRam = new SimpleMemory();
    final Memory sprRam = mock(Memory.class);
    final Memory cpuRam = mock(Memory.class);
    final Ricoh2C02 ppu = new Ricoh2C02(vRam, sprRam, cpuRam);
    for (Ricoh2C02Registers.Register register : Ricoh2C02Registers.Register.values()) {
        when(cpuRam.getByte(register.getMemoryMappedLocation())).thenReturn(byteValue);
        assertEquals(byteValue, ppu.getRegister(register));
    }
}

Example 75 with Property

use of com.pholser.junit.quickcheck.Property in project emuRox by rossdrew.

the class Mos6502CompilerTest method testAbsoluteYInstructions.

@Property
public void testAbsoluteYInstructions(@InRange(min = "256", max = "65535") int wordValue) {
    final String hexWord = Integer.toHexString(wordValue);
    final int highByte = (wordValue >> 8) & 0xFF;
    final int lowByte = wordValue & 0xFF;
    OpCode.streamOf(AddressingMode.ABSOLUTE_Y).forEach((opcode) -> {
        final Mos6502Compiler compiler = new Mos6502Compiler(opcode.getOpCodeName() + " " + VALUE_PREFIX + hexWord + ",Y");
        Program program = compiler.compileProgram();
        int[] bytes = program.getProgramAsByteArray();
        assertArrayEquals("Output for '" + opcode.toString() + " 0x" + hexWord + "' was wrong.", new int[] { opcode.getByteValue(), highByte, lowByte }, bytes);
    });
}