public final class ProofInitServiceUtil extends Object
POExtension
listed at META-INF/services/de.uka.ilkd.key.proof.init.POExtension
DefaultProfileResolver
listed at META-INF/services/de.uka.ilkd.key.proof.init.DefaultProfileResolver
Modifier and Type | Field and Description |
---|---|
private static ImmutableList<POExtension> |
poExtensions
The available
POExtension s. |
private static Map<String,DefaultProfileResolver> |
resolver
All available
DefaultProfileResolver . |
Modifier | Constructor and Description |
---|---|
private |
ProofInitServiceUtil()
Forbid instances.
|
Modifier and Type | Method and Description |
---|---|
private static Map<String,DefaultProfileResolver> |
createDefaultProfileResolver()
Creates all available
DefaultProfileResolver . |
private static ImmutableList<POExtension> |
createOperationPOExtension()
Creates the
POExtension s. |
static Profile |
getDefaultProfile(String profileName)
Returns the
Profile for the given name. |
static DefaultProfileResolver |
getDefaultProfileResolver(String profileName)
Returns the
DefaultProfileResolver for the given profile name. |
static ImmutableList<POExtension> |
getOperationPOExtension(ProofOblInput po)
Returns the
POExtension which supports the given ProofOblInput . |
private static final ImmutableList<POExtension> poExtensions
POExtension
s.private static final Map<String,DefaultProfileResolver> resolver
DefaultProfileResolver
.public static ImmutableList<POExtension> getOperationPOExtension(ProofOblInput po)
POExtension
which supports the given ProofOblInput
.po
- The ProofOblInput
for which POExtension
are requested.POExtension
s.private static ImmutableList<POExtension> createOperationPOExtension()
POExtension
s.POExtension
s.public static DefaultProfileResolver getDefaultProfileResolver(String profileName)
DefaultProfileResolver
for the given profile name.profileName
- The name of the profile.DefaultProfileResolver
or null
if not available.private static Map<String,DefaultProfileResolver> createDefaultProfileResolver()
DefaultProfileResolver
.DefaultProfileResolver
.