Module io.hotmoka.network

Package io.hotmoka.network.signatures

Class MethodSignatureModel

java.lang.Object

io.hotmoka.network.signatures.SignatureModel

io.hotmoka.network.signatures.CodeSignatureModel

io.hotmoka.network.signatures.MethodSignatureModel

public class MethodSignatureModel
extends CodeSignatureModel

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

Field Summary

Fields

Modifier and Type	Field	Description
String	methodName	The name of the method.
String	returnType	The return type of the method, if any.

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
MethodSignatureModel()
MethodSignatureModel(MethodSignature method)	Builds the model of the signature of a method.

Method Summary

Modifier and Type	Method	Description
MethodSignature	toBean()	Yields the method 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

Field Details

methodName

public String methodName

The name of the method.

returnType

public String returnType

The return type of the method, if any.

Constructor Details

MethodSignatureModel

public MethodSignatureModel(MethodSignature method)

Builds the model of the signature of a method.

Parameters:

method - the method original signature to copy

MethodSignatureModel

public MethodSignatureModel()

Method Details

toBean

public MethodSignature toBean()

Yields the method signature corresponding to this model.

Returns:

the method signature