How to use

check

method

in

com.icodici.universa.contract.Contract

/**
 * Check contract for errors. This includes checking contract state modification, checking new items, revoke permissions and references acceptance.
 * Errors found can be accessed with {@link #getErrors()} ()}
 *
 * @param prefix is included in errors text. Used to differ errors found in contract from errors of subcontracts (revoking,new)
 * @throws Quantiser.QuantiserException when quantas limit was reached during check
 * @return if check was successful
 */
@Override
public boolean check(String prefix) throws Quantiser.QuantiserException {
  return check(prefix, null);
}

protected void checkSubItemQuantized(Contract contract, String prefix, Map<HashId,Contract> neighbourContracts) throws Quantiser.QuantiserException {
  // Add checks from subItem quanta
  contract.quantiser.reset(quantiser.getQuantaLimit() - quantiser.getQuantaSum());
  contract.check(prefix, neighbourContracts);
  quantiser.addWorkCostFrom(contract.quantiser);
}

private Contract basicContractCreation(final String fileName, final String keyFileName, final PrivateKey key) throws Exception {
  Contract c = Contract.fromDslFile(rootPath + fileName);
  c.setOwnerKey(key);
  c.addSignerKeyFromFile(rootPath + keyFileName);
  c.seal();
  c.check();
  c.traceErrors();
  assertTrue(c.check());
  return c;
}

public synchronized Parcel createParcelWithFreshU(Contract c, Set<PrivateKey> keys) throws Exception {
  Set<PublicKey> ownerKeys = new HashSet();
  keys.stream().forEach(key -> ownerKeys.add(key.getPublicKey()));
  Contract stepaU = InnerContractsService.createFreshU(100000000, ownerKeys);
  stepaU.check();
  //stepaU.setIsU(true);
  stepaU.traceErrors();
  node.registerItem(stepaU);
  ItemResult itemResult = node.waitItem(stepaU.getId(), 18000);
  assertEquals(ItemState.APPROVED, itemResult.state);
  return ContractsService.createParcel(c, stepaU, 150, keys);
}

@Test
public void validPermissionIds() throws Exception {
  Contract c = Contract.fromDslFile(ROOT_CONTRACT);
  c.addSignerKeyFromFile(PRIVATE_KEY_PATH);
  byte[] sealed = c.seal();
  assertTrue(c.check());
  Binder s = DefaultBiMapper.serialize(c);
  s.getBinderOrThrow("definition","permissions");
}

@Test
public void checkContractCreatedAtFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(rootPath + "simple_root_contract_future.yml");
  futureContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.seal();
  futureContract.check();
  futureContract.traceErrors();
  System.out.println("Contract is valid: " + futureContract.isOk());
  assertFalse(futureContract.isOk());
}

@Test
public void checkRegisterContractCreatedAtFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(ROOT_PATH + "simple_root_contract_future.yml");
  futureContract.addSignerKeyFromFile(ROOT_PATH+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.seal();
  futureContract.check();
  futureContract.traceErrors();
  System.out.println("Contract is valid: " + futureContract.isOk());
  assertFalse(futureContract.isOk());
}

@Test
public void checkContractCreatedAtPastTime() throws Exception{
  Contract oldContract = Contract.fromDslFile(rootPath + "simple_root_contract_past.yml");
  oldContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  oldContract.seal();
  oldContract.check();
  oldContract.traceErrors();
  System.out.println("Contract is valid: " + oldContract.isOk());
  assertFalse(oldContract.isOk());
}

@Test
public void checkContractExpiresAtDistantPastTime() throws Exception{
  Contract oldContract = Contract.fromDslFile(rootPath + "simple_root_contract.yml");
  oldContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  oldContract.getDefinition().setExpiresAt(ZonedDateTime.of(LocalDateTime.MIN.truncatedTo(ChronoUnit.SECONDS), ZoneOffset.UTC));
  oldContract.seal();
  oldContract.check();
  oldContract.traceErrors();
  System.out.println("Contract is valid: " + oldContract.isOk());
  assertFalse(oldContract.isOk());
}

@Test
public void checkRegisterContractExpiresAtDistantPastTime() throws Exception{
  Contract oldContract = Contract.fromDslFile(ROOT_PATH + "simple_root_contract.yml");
  oldContract.addSignerKeyFromFile(ROOT_PATH+"_xer0yfe2nn1xthc.private.unikey");
  oldContract.getDefinition().setExpiresAt(ZonedDateTime.of(LocalDateTime.MIN.truncatedTo(ChronoUnit.SECONDS), ZoneOffset.UTC));
  oldContract.seal();
  oldContract.check();
  oldContract.traceErrors();
  System.out.println("Contract is valid: " + oldContract.isOk());
  assertFalse(oldContract.isOk());
}

  @Test
  public void goodRevoke() throws Exception {
    Contract c = Contract.fromDslFile(rootPath + "simple_root_contract.yml");
    c.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
    PrivateKey goodKey = c.getKeysToSignWith().iterator().next();
    c.setOwnerKeys(new KeyRecord(goodKey.getPublicKey()));
    c.seal();

    Contract revokeContract = c.createRevocation(goodKey);

    revokeContract.check();
    assertTrue(revokeContract.isOk());
//        tc.traceErrors();
  }

@Test
public void checkContractExpiresAtResentFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(rootPath + "simple_root_contract.yml");
  futureContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.getDefinition().setExpiresAt(futureContract.getCreatedAt().plusMinutes(1));
  futureContract.seal();
  assertTrue(futureContract.check());
  System.out.println("Contract is valid: " + futureContract.isOk());
}

@Test
public void checkContractExpiresAtDistantFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(rootPath + "simple_root_contract.yml");
  futureContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.getDefinition().setExpiresAt(futureContract.getCreatedAt().plusYears(50));
  futureContract.seal();
  assertTrue(futureContract.check());
  System.out.println("Contract is valid: " + futureContract.isOk());
}

protected void sealCheckTrace(Contract c, boolean isOk) {
  c.seal();
  try {
    c.check();
  } catch (Quantiser.QuantiserException e) {
    e.printStackTrace();
  }
  c.traceErrors();
  if (isOk)
    assertTrue(c.isOk());
  else
    assertFalse(c.isOk());
}

protected static void sealCheckTrace(Contract c, boolean isOk) {
  c.seal();
  try {
    c.check();
  } catch (Quantiser.QuantiserException e) {
    e.printStackTrace();
  }
  c.traceErrors();
  if (isOk)
    assertTrue(c.isOk());
  else
    assertFalse(c.isOk());
}

@Test
public void checkRegisterContractExpiresAtReсentFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(ROOT_PATH + "simple_root_contract.yml");
  futureContract.addSignerKeyFromFile(ROOT_PATH+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.getDefinition().setExpiresAt(futureContract.getCreatedAt().plusMinutes(1));
  futureContract.seal();
  assertTrue(futureContract.check());
  System.out.println("Contract is valid: " + futureContract.isOk());
  registerAndCheckApproved(futureContract);
}

@Test
public void checkContractExpiresAtDistantFutureTime() throws Exception{
  Contract futureContract = Contract.fromDslFile(ROOT_PATH + "simple_root_contract.yml");
  futureContract.addSignerKeyFromFile(ROOT_PATH+"_xer0yfe2nn1xthc.private.unikey");
  futureContract.getDefinition().setExpiresAt(futureContract.getCreatedAt().plusYears(50));
  futureContract.seal();
  assertTrue(futureContract.check());
  System.out.println("Contract is valid: " + futureContract.isOk());
  registerAndCheckApproved(futureContract);
}

@Test
public void checkRegisterContractExpiresAtReсentPastTime() throws Exception{
  Contract oldContract = Contract.fromDslFile(ROOT_PATH + "simple_root_contract.yml");
  oldContract.addSignerKeyFromFile(ROOT_PATH+"_xer0yfe2nn1xthc.private.unikey");
  oldContract.getDefinition().setExpiresAt(oldContract.getCreatedAt().minusMinutes(1));
  oldContract.seal();
  oldContract.check();
  oldContract.traceErrors();
  System.out.println("Contract is valid: " + oldContract.isOk());
  assertFalse(oldContract.isOk());
}

@Test
public void checkContractExpiresAtResentPastTime() throws Exception{
  Contract oldContract = Contract.fromDslFile(rootPath + "simple_root_contract.yml");
  oldContract.addSignerKeyFromFile(rootPath+"_xer0yfe2nn1xthc.private.unikey");
  oldContract.getDefinition().setExpiresAt(oldContract.getCreatedAt().minusMinutes(1));
  oldContract.seal();
  oldContract.check();
  oldContract.traceErrors();
  System.out.println("Contract is valid: " + oldContract.isOk());
  assertFalse(oldContract.isOk());
}

@Test
public void goodNSmartContractFromDSL() throws Exception {
  Contract smartContract = NSmartContract.fromDslFile(rootPath + "NotaryNSmartDSLTemplate.yml");
  smartContract.addSignerKeyFromFile(rootPath + "_xer0yfe2nn1xthc.private.unikey");
  smartContract.seal();
  smartContract.check();
  smartContract.traceErrors();
  assertTrue(smartContract.isOk());
  assertEquals(NSmartContract.SmartContractType.N_SMART_CONTRACT.name(), smartContract.getDefinition().getExtendedType());
  assertEquals(NSmartContract.SmartContractType.N_SMART_CONTRACT.name(), smartContract.get("definition.extended_type"));
  assertTrue(smartContract instanceof NSmartContract);
  assertTrue(smartContract instanceof NContract);
}