public class SymbolicExecutionJavaProfileDefaultProfileResolver extends java.lang.Object implements DefaultProfileResolver
DefaultProfileResolver
which returns SymbolicExecutionJavaProfile.getDefaultInstance()
.Constructor and Description |
---|
SymbolicExecutionJavaProfileDefaultProfileResolver() |
Modifier and Type | Method and Description |
---|---|
Profile |
getDefaultProfile()
Returns the default
Profile instance. |
java.lang.String |
getProfileName()
Returns the profile name.
|
public SymbolicExecutionJavaProfileDefaultProfileResolver()
public java.lang.String getProfileName()
getProfileName
in interface DefaultProfileResolver
public Profile getDefaultProfile()
Profile
instance.getDefaultProfile
in interface DefaultProfileResolver
Profile
instance.