protected SubroutineSilvernode(SyntaxNode originalNode,
IdentifierSilvernode identifier,
List <ParameterSilvernode> parameters,
string returnValueName,
TypeSilvernode returnType,
List <ContractSilvernode> verificationConditions,
BlockSilvernode block) : base(originalNode)
{
this.Identifier = identifier;
this.Parameters = parameters;
this.ReturnValueName = returnValueName;
this.ReturnType = returnType;
this.VerificationConditions = verificationConditions;
this.Block = block;
}
public FunctionSilvernode(SyntaxNode methodDeclarationSyntax,
IdentifierSilvernode identifierSilvernode,
List <ParameterSilvernode> parameters,
string returnName,
TypeSilvernode returnType,
List <ContractSilvernode> verificationConditions,
BlockSilvernode block)
: base(methodDeclarationSyntax,
identifierSilvernode,
parameters,
returnName,
returnType,
verificationConditions,
block)
{
}