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)
SpecificationContainer
field
in interface SpecificationContainer
public String field(String inPackage, String inClass, String name, SpecificationEntity.Type type)
SpecificationContainer
field
in interface SpecificationContainer
public String parameter(MethodDeclaration md, int index, SpecificationEntity.Type type)
SpecificationContainer
parameter
in interface SpecificationContainer
public String parameter(String inPackage, String inClass, String methodName, String[] paramTypes, int index, SpecificationEntity.Type type)
SpecificationContainer
parameter
in interface SpecificationContainer
public String returnValue(MethodDeclaration md, SpecificationEntity.Type type)
SpecificationContainer
returnValue
in interface SpecificationContainer
public String returnValue(String inPackage, String inClass, String methodName, String[] paramTypes, SpecificationEntity.Type type)
SpecificationContainer
returnValue
in interface SpecificationContainer
public Set<String> flows(String domain)
SpecificationContainer
flows
in interface SpecificationContainer