public class DefaultSpecificationContainer extends Object implements SpecificationContainer
SpecificationContainer.| Modifier and Type | Field and Description |
|---|---|
private Map<SpecificationEntity.Field,String> |
field2domain |
private Set<Map.Entry<String,String>> |
flow |
private Map<SpecificationEntity.Parameter,String> |
param2domain |
private Map<SpecificationEntity.ReturnValue,String> |
return2domain |
| Constructor and Description |
|---|
DefaultSpecificationContainer(Map<SpecificationEntity,String> domainAssignments,
Set<Map.Entry<String,String>> flow2) |
| Modifier and Type | Method and Description |
|---|---|
private String[] |
extractParamTypes(MethodDeclaration md) |
String |
field(FieldDeclaration fd,
SpecificationEntity.Type type)
Return the security level of the field, represented as a String.
|
String |
field(String inPackage,
String inClass,
String name,
SpecificationEntity.Type type)
Return the security level of the field, represented as a String.
|
Set<String> |
flows(String domain)
Return the domains from which the given domain flows
|
String |
parameter(MethodDeclaration md,
int index,
SpecificationEntity.Type type)
Return the security level of the method parameter, represented as a
String.
|
String |
parameter(String inPackage,
String inClass,
String methodName,
String[] paramTypes,
int index,
SpecificationEntity.Type type)
Return the security level of the method parameter, represented as a String.
|
String |
returnValue(MethodDeclaration md,
SpecificationEntity.Type type)
Return the security level of the method return, represented as a String.
|
String |
returnValue(String inPackage,
String inClass,
String methodName,
String[] paramTypes,
SpecificationEntity.Type type)
Return the security level of the method return, represented as a String.
|
String |
toString() |
private final Map<SpecificationEntity.Field,String> field2domain
private final Map<SpecificationEntity.Parameter,String> param2domain
private final Map<SpecificationEntity.ReturnValue,String> return2domain
private String[] extractParamTypes(MethodDeclaration md)
public String field(FieldDeclaration fd, SpecificationEntity.Type type)
SpecificationContainerfield in interface SpecificationContainerpublic String field(String inPackage, String inClass, String name, SpecificationEntity.Type type)
SpecificationContainerfield in interface SpecificationContainerpublic String parameter(MethodDeclaration md, int index, SpecificationEntity.Type type)
SpecificationContainerparameter in interface SpecificationContainerpublic String parameter(String inPackage, String inClass, String methodName, String[] paramTypes, int index, SpecificationEntity.Type type)
SpecificationContainerparameter in interface SpecificationContainerpublic String returnValue(MethodDeclaration md, SpecificationEntity.Type type)
SpecificationContainerreturnValue in interface SpecificationContainerpublic String returnValue(String inPackage, String inClass, String methodName, String[] paramTypes, SpecificationEntity.Type type)
SpecificationContainerreturnValue in interface SpecificationContainerpublic Set<String> flows(String domain)
SpecificationContainerflows in interface SpecificationContainer