XDR: ContractSpecMethod methods<>.
ContractSpecMethod methods<>
XDR: ContractExceptionType throws<>.
ContractExceptionType throws<>
XDR:
ContractSpecMethod methods<>.