public final class ContractConverter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ContractConverter.ContractConversionException |
static class |
ContractConverter.ContractInheritedException |
Modifier and Type | Method and Description |
---|---|
static PsiAnnotation |
convertContract(PsiMethod method,
java.lang.String [] oldParameterNames,
JavaParameterInfo [] newParameters) |
public static PsiAnnotation convertContract(PsiMethod method, java.lang.String [] oldParameterNames, JavaParameterInfo [] newParameters) throws ContractConverter.ContractConversionException