public interface SpecificationContainer
Modifier and Type | Method and Description |
---|---|
java.lang.String |
field(FieldDeclaration fd,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the field, represented as a String.
|
java.lang.String |
field(java.lang.String inPackage,
java.lang.String inClass,
java.lang.String name,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the field, represented as a String.
|
java.util.Set<java.lang.String> |
flows(java.lang.String domain)
Return the domains from which the given domain flows
|
java.lang.String |
parameter(MethodDeclaration md,
int index,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the method parameter, represented as a
String.
|
java.lang.String |
parameter(java.lang.String inPackage,
java.lang.String inClass,
java.lang.String methodName,
java.lang.String[] paramTypes,
int index,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the method parameter, represented as a String.
|
java.lang.String |
returnValue(MethodDeclaration md,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the method return, represented as a String.
|
java.lang.String |
returnValue(java.lang.String inPackage,
java.lang.String inClass,
java.lang.String methodName,
java.lang.String[] paramTypes,
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
Return the security level of the method return, represented as a String.
|
java.lang.String field(FieldDeclaration fd, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.lang.String field(java.lang.String inPackage, java.lang.String inClass, java.lang.String name, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.lang.String parameter(MethodDeclaration md, int index, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.lang.String parameter(java.lang.String inPackage, java.lang.String inClass, java.lang.String methodName, java.lang.String[] paramTypes, int index, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.lang.String returnValue(MethodDeclaration md, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.lang.String returnValue(java.lang.String inPackage, java.lang.String inClass, java.lang.String methodName, java.lang.String[] paramTypes, de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type)
java.util.Set<java.lang.String> flows(java.lang.String domain)
Copyright © 2003-2019 The KeY-Project.