Package | Description |
---|---|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.symbolic_execution.profile |
Modifier and Type | Class and Description |
---|---|
class |
JavaProfileDefaultProfileResolver
A
DefaultProfileResolver which returns AbstractProfile.getDefaultProfile() . |
class |
JavaProfileWithPermissionsDefaultProfileResolver
A
DefaultProfileResolver which returns JavaProfile.defaultInstancePermissions . |
Modifier and Type | Method and Description |
---|---|
static DefaultProfileResolver |
ProofInitServiceUtil.getDefaultProfileResolver(java.lang.String profileName)
Returns the
DefaultProfileResolver for the given profile name. |
Modifier and Type | Class and Description |
---|---|
class |
SymbolicExecutionJavaProfileDefaultProfileResolver
A
DefaultProfileResolver which returns SymbolicExecutionJavaProfile.getDefaultInstance() . |
Copyright © 2003-2019 The KeY-Project.