- 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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ConstructorSignaturetoBean()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
-
-
-
-
Constructor Detail
-
ConstructorSignatureModel
public ConstructorSignatureModel(ConstructorSignature constructor)
Builds the model from the signature of a constructor.- Parameters:
constructor- the signature to copy
-
ConstructorSignatureModel
public ConstructorSignatureModel()
-
-
Method Detail
-
toBean
public ConstructorSignature toBean()
Yields the constructor signature corresponding to this model.- Returns:
- the constructor signature
-
-