package Ġcom . trading . contracts Ċ Ċ import Ġcom . trading . states . Trade State Ċ import Ġnet . cord a . core . identity . Party Ċ import Ġorg . junit . Test Ċ import Ġkotlin . test . assertEquals Ċ Ċ class ĠState Tests Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġhas Field Of Correct Type () Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġthe Ġfield Ġexist ? ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" sell Value ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" buy Value ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" sell Currency ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" buy Currency ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" trade Status ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" trade Init iator ") ĊĠĠĠĠĠĠĠ ĠTrade State :: class . java . getDeclared Field (" trade Receiver ") ĊĊĠĠĠĠĠĠĠ Ġ// ĠIs Ġthe Ġfield Ġof Ġthe Ġcorrect Ġtype ? ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" sell Value "). type , ĠInt :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" buy Value "). type , ĠInt :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" sell Currency "). type , ĠString () :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" buy Currency "). type , ĠString () :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" trade Status "). type , ĠString () :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" trade Init iator "). type , ĠParty :: class . java ) ĊĠĠĠĠĠĠĠ ĠassertEquals ( Trade State :: class . java . getDeclared Field (" trade Receiver "). type , ĠParty :: class . java ) ĊĠĠĠ Ġ} Ċ }