Module io.hotmoka.network

Package io.hotmoka.network.signatures

Class CodeSignatureModel

java.lang.Object

io.hotmoka.network.signatures.SignatureModel

io.hotmoka.network.signatures.CodeSignatureModel

Direct Known Subclasses:

ConstructorSignatureModel, MethodSignatureModel

public abstract class CodeSignatureModel
extends SignatureModel

The model of the signature of a method or constructor.

Field Summary

Fields

Modifier and Type	Field	Description
List<String>	formals	The formal arguments of the method or constructor.

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

definingClass

Constructor Summary

Constructors

Modifier	Constructor	Description
	CodeSignatureModel()
protected	CodeSignatureModel(CodeSignature signature)	Builds the model of the signature of a method or constructor.

Method Summary

Modifier and Type	Method	Description
protected final StorageType[]	getFormalsAsTypes()	Yields the storage types of the formal arguments of this method or constructor.

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

formals

public List<String> formals

The formal arguments of the method or constructor.

Constructor Details

CodeSignatureModel

protected CodeSignatureModel(CodeSignature signature)

Builds the model of the signature of a method or constructor.

Parameters:

signature - the original signature to copy

CodeSignatureModel

public CodeSignatureModel()

Method Details

getFormalsAsTypes

protected final StorageType[] getFormalsAsTypes()

Yields the storage types of the formal arguments of this method or constructor.

Returns:

the storage types