Module io.hotmoka.network

Package io.hotmoka.network.signatures

Class ConstructorSignatureModel

java.lang.Object

io.hotmoka.network.signatures.SignatureModel

io.hotmoka.network.signatures.CodeSignatureModel

io.hotmoka.network.signatures.ConstructorSignatureModel

public final class ConstructorSignatureModel
extends CodeSignatureModel

The model of the signature of a constructor of a class.

Field Summary

Fields inherited from class io.hotmoka.network.signatures.CodeSignatureModel

formals

Fields inherited from class io.hotmoka.network.signatures.SignatureModel

definingClass

Constructor Summary

Constructors

Constructor	Description
ConstructorSignatureModel()
ConstructorSignatureModel(ConstructorSignature constructor)	Builds the model from the signature of a constructor.

Method Summary

Modifier and Type	Method	Description
ConstructorSignature	toBean()	Yields the constructor signature corresponding to this model.

Methods inherited from class io.hotmoka.network.signatures.CodeSignatureModel

getFormalsAsTypes

Methods inherited from class io.hotmoka.network.signatures.SignatureModel

nameOf, typeWithName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConstructorSignatureModel

public ConstructorSignatureModel(ConstructorSignature constructor)

Builds the model from the signature of a constructor.

Parameters:

constructor - the signature to copy

ConstructorSignatureModel

public ConstructorSignatureModel()

Method Details

toBean

public ConstructorSignature toBean()

Yields the constructor signature corresponding to this model.

Returns:

the constructor signature