public interface Method
| Modifier and Type | Method and Description |
|---|---|
void |
addContract(Contract contract) |
Program |
getBody() |
Collection<Contract> |
getContractsForExport() |
MethodExecutor |
getMethodExecutor() |
String |
getName() |
String |
getSignature() |
boolean |
isRecursive() |
void |
setBody(Program body) |
void |
setMethodExecution(MethodExecutor methodExecution) |
void |
setName(String name) |
void |
setRecursive(boolean isRecursive) |
String getSignature()
String getName()
void setName(String name)
void setBody(Program body)
Program getBody()
boolean isRecursive()
void setRecursive(boolean isRecursive)
void addContract(Contract contract)
Collection<Contract> getContractsForExport()
void setMethodExecution(MethodExecutor methodExecution)
MethodExecutor getMethodExecutor()
Copyright © 2019. All rights reserved.