package Ġcom . h ml r . states Ċ Ċ import Ġcom . h ml r . model . Custom Party Ċ import Ġcom . h ml r . model . Request Iss u ance Status Ċ import Ġcom . h ml r . Abstract Contracts States TestUtils Ċ import Ġnet . cord a . core . contracts . Linear State Ċ import Ġnet . cord a . core . contracts . Unique Identifier Ċ import Ġnet . cord a . core . identity . Party Ċ import Ġorg . junit . Test Ċ import Ġkotlin . test . assertEquals Ċ import Ġkotlin . test . assertNot Equals Ċ Ċ class ĠRequest Iss u ance State Tests Ġ: ĠAbstract Contracts States TestUtils () Ġ{ ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 1 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠTitle ID ĠField ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġtitle ID Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" title ID ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġtitle ID Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" title ID "). type , ĠString :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠ Ġ* ĠTest Ġ 2 . ĊĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠTitle Issuer ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġtitle Issuer Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" title Issuer ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġtitle Issuer Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" title Issuer "). type , ĠParty :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 3 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠCon vey ancer ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġcon vey ancer Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" seller Convey ancer ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġcon vey ancer Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" seller Convey ancer "). type , ĠParty :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠ Ġ* ĠTest Ġ 4 . ĊĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠS eller ĠOf ĠCorrect ĠType ` Ġ(){ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġsell er Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ Ġval Ġsell er Ġ= ĠRequest Iss u ance State :: class . java . getDeclared Field (" seller ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġsell er Ġfield Ġof Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( seller . type , ĠCustom Party :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 5 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` is ĠRequest Iss u ance State ĠOf ĠCorrect ĠType ` Ġ(){ ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġit Ġa Ġlinear Ġstate ? ĊĠĠĠĠĠĠĠ Ġassert ( Linear State :: class . java . isAssignableFrom ( Request Iss u ance State :: class . java )) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 6 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` is ĠTitle Issuer ĠA ĠPart icipant ` Ġ(){ ĊĠĠĠĠĠĠĠ Ġassert Not Equals ( request Iss u ance State . participants . indexOf ( AL ICE . party ), Ġ- 1 ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 7 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` is ĠCon vey ancer ĠA ĠPart icipant ` (){ ĊĠĠĠĠĠĠĠ Ġassert Not Equals ( request Iss u ance State . participants . indexOf ( BO B . party ), Ġ- 1 ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 8 . ĊĠĠĠĠ Ġ* ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠLinear Id ĠField ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġlinear Id Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" linear Id ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġlinear Id Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" linear Id "). type , ĠUnique Identifier :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 9 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has ĠStatus ĠField ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġreference Number Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" status ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġreference Number Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" status "). type , ĠRequest Iss u ance Status :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠTest Ġ 1 0 . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` has Ġre venue And Custom ĠOf ĠCorrect ĠType `() Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġre venue And Custom Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠRequest Iss u ance State :: class . java . getDeclared Field (" re venue And Custom ") ĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġre venue And Custom Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Request Iss u ance State :: class . java . getDeclared Field (" re venue And Custom "). type , ĠParty :: class . java ) ĊĠĠĠ Ġ} Ċ }